annotate tests/ffi.ur @ 2007:d3a0f2b8af28

<thead>, <tbody>, <tfoot>
author Adam Chlipala <adam@chlipala.net>
date Wed, 30 Apr 2014 13:05:54 -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' {})