Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
888 | _ => (ds, cmap, conmap, st, trans)) 888 | _ => (ds, cmap, conmap, st, trans))
889 ([], SM.empty, SM.empty, st, NONE) sgis 889 ([], SM.empty, SM.empty, st, NONE) sgis
890 890
891 val st = St.bindStr st m n (St.ffi m cmap conmap) 891 val st = St.bindStr st m n (St.ffi m cmap conmap)
892 in 892 in
893 (rev ds, St.basisIs (st, n)) 893 (rev ds, if m = "Basis" then St.basisIs (st, n) else st)
894 end 894 end
895 | _ => raise Fail "Non-const signature for FFI structure") 895 | _ => raise Fail "Non-const signature for FFI structure")
896 896
897 | L.DExport (en, sgn, str) => 897 | L.DExport (en, sgn, str) =>
898 (case #1 sgn of 898 (case #1 sgn of