Mercurial > urweb

comparison src/cloconv.sml @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 198172560b73
children 144d082b47ae
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
188 fun ccDecl ((d, loc), D) = 188 fun ccDecl ((d, loc), D) =
189 case d of 189 case d of
190 L.DVal (x, n, t, e) => 190 L.DVal (x, n, t, e) =>
191 let 191 let
192 val t = ccTyp t 192 val t = ccTyp t
193 val (e, D) = ccExp E.basis (e, D) 193 val (e, D) = ccExp E.empty (e, D)
194 in 194 in
195 Ds.exp D (x, n, t, e) 195 Ds.exp D (x, n, t, e)
196 end 196 end
197 197
198 fun cloconv ds = 198 fun cloconv ds =