diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:17:34 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:17:34 -0400 |
commit | d60f854fc35ce30fb698f3d8e87b88938001fdaf (patch) | |
tree | 993aecf3c64b1e472749ccc4cc3d9ffa6dd2ed3e /src/cjrize.sml | |
parent | f3ddf9922b90bdd45ca5b1c33c72ff316d5440eb (diff) |
FFI through cloconv
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r-- | src/cjrize.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml index 48d1dae3..2647ad24 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -93,12 +93,15 @@ fun cifyTyp ((t, loc), sm) = ((L'.TRecord si, loc), sm) end | L.TNamed n => ((L'.TNamed n, loc), sm) + | L.TFfi _ => raise Fail "Cjrize TFfi" fun cifyExp ((e, loc), sm) = case e of L.EPrim p => ((L'.EPrim p, loc), sm) | L.ERel n => ((L'.ERel n, loc), sm) | L.ENamed n => ((L'.ENamed n, loc), sm) + | L.EFfi _ => raise Fail "Cjrize EFfi" + | L.EFfiApp _ => raise Fail "Cjrize EFfiApp" | L.ECode n => ((L'.ECode n, loc), sm) | L.EApp (e1, e2) => let |