diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:06:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:06:50 -0400 |
| commit | 8f7e31d24652037510c5eac81f56e711a5212246 (patch) | |
| tree | b49a43cb3509875ddcef8115771edc97d6b90cbb /tests/ffi.lac | |
| parent | 197464e083280200927182432789b7b0b92e8f8c (diff) | |
Better FFI function handling
Diffstat (limited to 'tests/ffi.lac')
| -rw-r--r-- | tests/ffi.lac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/ffi.lac b/tests/ffi.lac index 35a4ff63..79f7ab2e 100644 --- a/tests/ffi.lac +++ b/tests/ffi.lac @@ -2,12 +2,15 @@ extern structure Lib : sig type t type u val x : t + val y : u + val f0 : {} -> u val f1 : t -> t val f2 : t -> u -> t end type t' = Lib.t val x' : t' = Lib.x +val f0' = Lib.f0 val f1' = Lib.f1 val f2' = Lib.f2 @@ -15,3 +18,5 @@ structure Lib' = Lib type t'' = Lib'.t val x'' : t'' = Lib'.x + +val main = f2' (f1' x') (f0' {}) |