summaryrefslogtreecommitdiff
path: root/src/urweb.grm
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 14:38:14 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 14:38:14 -0400
commita783fe7797e3bff493e595e07ed53a43dc4754d2 (patch)
tree48c44ad97ea69969e20c00c13a9ae26ec6cf0ad2 /src/urweb.grm
parentdf8eea45a9ba38963b5bcc58b4e6439c055524e4 (diff)
Scratch that change....
Diffstat (limited to 'src/urweb.grm')
-rw-r--r--src/urweb.grm6
1 files changed, 1 insertions, 5 deletions
diff --git a/src/urweb.grm b/src/urweb.grm
index ef267b37..61e8d179 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -753,12 +753,8 @@ eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright))
val loc = s (LPARENleft, RPARENright)
val e = (EVar (["Basis"], "update"), loc)
- val e = (ECApp (e, (CRecord (map (fn (nm, _) =>
- (nm,
- (CWild (KType, loc), loc)))
- fsets), loc)), loc)
- val e = (EApp (e, texp), loc)
val e = (EApp (e, (ERecord fsets, loc)), loc)
+ val e = (EApp (e, texp), loc)
in
(EApp (e, sqlexp), loc)
end)