Mercurial > urweb

comparison tests/ffi.lac @ 49:874e877d2c51

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Detecting FFI functions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 10:00:25 -0400
parents 0a5c312de09a
children d37518b67bd2
comparison
equal deleted inserted replaced
48:0a5c312de09a 49:874e877d2c51
1 extern structure Lib : sig 1 extern structure Lib : sig
2 type t 2 type t
3 type u
3 val x : t 4 val x : t
5 val f1 : t -> t
6 val f2 : t -> u -> t
4 end 7 end
5 8
6 type t' = Lib.t 9 type t' = Lib.t
7 val x' : t' = Lib.x 10 val x' : t' = Lib.x
11 val f1' = Lib.f1
12 val f2' = Lib.f2
8 13
9 structure Lib' = Lib 14 structure Lib' = Lib
10 15
11 type t'' = Lib'.t 16 type t'' = Lib'.t
12 val x'' : t'' = Lib'.x 17 val x'' : t'' = Lib'.x