Mercurial > urweb

diff src/corify.sml @ 764:7f653298dd66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 8688e01ae469
children a28982de5645
line wrap: on
line diff
--- a/src/corify.sml	Thu Apr 30 16:25:27 2009 -0400
+++ b/src/corify.sml	Thu Apr 30 17:15:14 2009 -0400
@@ -890,7 +890,7 @@
 
                  val st = St.bindStr st m n (St.ffi m cmap conmap)
              in
-                 (rev ds, St.basisIs (st, n))
+                 (rev ds, if m = "Basis" then St.basisIs (st, n) else st)
              end
            | _ => raise Fail "Non-const signature for FFI structure")