diff options
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 3dc351b7..2da34725 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -3926,6 +3926,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = val ct = queryOf () val ct = (L'.CApp (ct, (L'.CRecord ((L'.KRecord (L'.KType, loc), loc), []), loc)), loc) + val ct = (L'.CApp (ct, (L'.CRecord ((L'.KRecord (L'.KType, loc), loc), []), loc)), loc) val ct = (L'.CApp (ct, ts), loc) val ct = (L'.CApp (ct, fs), loc) in |