Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/tests/ffi.lac	Sun Jun 22 09:27:29 2008 -0400
+++ b/tests/ffi.lac	Sun Jun 22 10:00:25 2008 -0400
@@ -1,10 +1,15 @@
 extern structure Lib : sig
         type t
+        type u
         val x : t
+        val f1 : t -> t
+        val f2 : t -> u -> t
 end
 
 type t' = Lib.t
 val x' : t' = Lib.x
+val f1' = Lib.f1
+val f2' = Lib.f2
 
 structure Lib' = Lib