diff options
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' {}) |