Mercurial > urweb

comparison src/prepare.sml @ 316:04ebfe929a98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unpolyed a polymorphic function of two arguments
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 10:14:59 -0400
parents 52d4c60518d4
children aa89b73d83e4
comparison
equal deleted inserted replaced
315:e21d0dddda09 316:04ebfe929a98
72 let 72 let
73 val (es, sns) = ListUtil.foldlMap prepExp sns es 73 val (es, sns) = ListUtil.foldlMap prepExp sns es
74 in 74 in
75 ((EFfiApp (m, x, es), loc), sns) 75 ((EFfiApp (m, x, es), loc), sns)
76 end 76 end
77 | EApp (e1, e2) => 77 | EApp (e1, es) =>
78 let 78 let
79 val (e1, sns) = prepExp (e1, sns) 79 val (e1, sns) = prepExp (e1, sns)
80 val (e2, sns) = prepExp (e2, sns) 80 val (es, sns) = ListUtil.foldlMap prepExp sns es
81 in 81 in
82 ((EApp (e1, e2), loc), sns) 82 ((EApp (e1, es), loc), sns)
83 end 83 end
84 84
85 | ERecord (rn, xes) => 85 | ERecord (rn, xes) =>
86 let 86 let
87 val (xes, sns) = ListUtil.foldlMap (fn ((x, e), sns) => 87 val (xes, sns) = ListUtil.foldlMap (fn ((x, e), sns) =>