Mercurial > urweb
diff src/corify.sml @ 764:7f653298dd66
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")