annotate tests/ffi.ur @ 782:a44daa674810

Make Effectize more precise
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 May 2009 10:23:16 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@48 1 extern structure Lib : sig
adamc@48 2 type t
adamc@49 3 type u
adamc@48 4 val x : t
adamc@50 5 val y : u
adamc@50 6 val f0 : {} -> u
adamc@49 7 val f1 : t -> t
adamc@49 8 val f2 : t -> u -> t
adamc@48 9 end
adamc@48 10
adamc@48 11 type t' = Lib.t
adamc@48 12 val x' : t' = Lib.x
adamc@50 13 val f0' = Lib.f0
adamc@49 14 val f1' = Lib.f1
adamc@49 15 val f2' = Lib.f2
adamc@48 16
adamc@48 17 structure Lib' = Lib
adamc@48 18
adamc@48 19 type t'' = Lib'.t
adamc@48 20 val x'' : t'' = Lib'.x
adamc@50 21
adamc@50 22 val main = f2' (f1' x') (f0' {})