Mercurial > urweb

comparison src/urweb.grm @ 910:8e540df3294d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents 9f0ea203a1ca
children fbc3a0eef45a
comparison
equal deleted inserted replaced
909:1d3f60e74ec7 910:8e540df3294d
1085 in 1085 in
1086 foldl (fn (ident, e) => 1086 foldl (fn (ident, e) =>
1087 (EField (e, ident), loc)) 1087 (EField (e, ident), loc))
1088 (EVar (#1 path, #2 path, Infer), s (pathleft, pathright)) idents 1088 (EVar (#1 path, #2 path, Infer), s (pathleft, pathright)) idents
1089 end) 1089 end)
1090 | LPAREN eexp RPAREN DOT idents (let
1091 val loc = s (LPARENleft, identsright)
1092 in
1093 foldl (fn (ident, e) =>
1094 (EField (e, ident), loc))
1095 eexp idents
1096 end)
1090 | AT path DOT idents (let 1097 | AT path DOT idents (let
1091 val loc = s (ATleft, identsright) 1098 val loc = s (ATleft, identsright)
1092 in 1099 in
1093 foldl (fn (ident, e) => 1100 foldl (fn (ident, e) =>
1094 (EField (e, ident), loc)) 1101 (EField (e, ident), loc))