diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-03-25 15:44:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-25 15:44:24 -0400 |
| commit | 8956b5096cd268b6eb73040ede0688849084c5fe (patch) | |
| tree | dec271c0511b398d8701237909469ed5be9dca5b /src/elaborate.sml | |
| parent | 68135d19275831c9f63f7e141b5134c17c095b3f (diff) | |
Subquery expressions
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 78583bc8..1651f344 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -3680,6 +3680,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = val (env', n) = E.pushENamed env x cv val ct = queryOf () + 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 |