Mercurial > urweb
comparison 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 |
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 |