Mercurial > urweb

comparison tests/ffi.lac @ 50:d37518b67bd2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better FFI function handling
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 10:06:50 -0400
parents 874e877d2c51
children
comparison
equal deleted inserted replaced
49:874e877d2c51 50:d37518b67bd2
1 extern structure Lib : sig 1 extern structure Lib : sig
2 type t 2 type t
3 type u 3 type u
4 val x : t 4 val x : t
5 val y : u
6 val f0 : {} -> u
5 val f1 : t -> t 7 val f1 : t -> t
6 val f2 : t -> u -> t 8 val f2 : t -> u -> t
7 end 9 end
8 10
9 type t' = Lib.t 11 type t' = Lib.t
10 val x' : t' = Lib.x 12 val x' : t' = Lib.x
13 val f0' = Lib.f0
11 val f1' = Lib.f1 14 val f1' = Lib.f1
12 val f2' = Lib.f2 15 val f2' = Lib.f2
13 16
14 structure Lib' = Lib 17 structure Lib' = Lib
15 18
16 type t'' = Lib'.t 19 type t'' = Lib'.t
17 val x'' : t'' = Lib'.x 20 val x'' : t'' = Lib'.x
21
22 val main = f2' (f1' x') (f0' {})