Mercurial > urweb

diff src/cjrize.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children 6847741e1f5f
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/cjrize.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -225,11 +225,11 @@
             (SOME (L'.DFunRec vis, loc), NONE, sm)
         end        
 
-      | L.DExport (s, n, ts) =>
+      | L.DExport (ek, s, n, ts) =>
         let
             val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
         in
-            (NONE, SOME ("/" ^ s, n, ts), sm)
+            (NONE, SOME (ek, "/" ^ s, n, ts), sm)
         end
 
 fun cjrize ds =