summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-15 15:06:33 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-15 15:06:33 -0500
commitfc2329192b052f4fd7716106baa443f5b4d53fa8 (patch)
tree4cd8631c58d94609d63cc87b451b1432fdffe914 /src
parent5ec949e910342f6212c85c8df75283d091817408 (diff)
Fix type-checking of views to match change to sql_query type
Diffstat (limited to 'src')
-rw-r--r--src/elaborate.sml1
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