Mercurial > urweb

comparison src/urweb.grm @ 794:dc3fc3f3b834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improving/reordering Unpoly and Especialize; pathmaps
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 08:13:54 -0400
parents 9021d44ba6b2
children e2780d2f4afc
comparison
equal deleted inserted replaced
793:3e5d1c6ae30c 794:dc3fc3f3b834
931 931
932 | eexp PLUSPLUS eexp (EConcat (eexp1, eexp2), s (eexp1left, eexp2right)) 932 | eexp PLUSPLUS eexp (EConcat (eexp1, eexp2), s (eexp1left, eexp2right))
933 933
934 | eexp CARET eexp (native_op ("strcat", eexp1, eexp2, s (eexp1left, eexp2right))) 934 | eexp CARET eexp (native_op ("strcat", eexp1, eexp2, s (eexp1left, eexp2right)))
935 935
936 | eterm DCOLON eexp (let 936 | eapps DCOLON eexp (let
937 val loc = s (etermleft, eexpright) 937 val loc = s (eappsleft, eexpright)
938 in 938 in
939 (EApp ((EVar (["Basis"], "Cons", Infer), loc), 939 (EApp ((EVar (["Basis"], "Cons", Infer), loc),
940 (ERecord [((CName "1", loc), 940 (ERecord [((CName "1", loc),
941 eterm), 941 eapps),
942 ((CName "2", loc), 942 ((CName "2", loc),
943 eexp)], loc)), loc) 943 eexp)], loc)), loc)
944 end) 944 end)
945 945
946 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps) 946 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps)