Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/cloconv.sml	Sun Jun 22 11:04:10 2008 -0400
+++ b/src/cloconv.sml	Sun Jun 22 14:23:05 2008 -0400
@@ -190,7 +190,7 @@
         L.DVal (x, n, t, e) =>
         let
             val t = ccTyp t
-            val (e, D) = ccExp E.basis (e, D)
+            val (e, D) = ccExp E.empty (e, D)
         in
             Ds.exp D (x, n, t, e)
         end