Mercurial > urweb

annotate tests/ffi.ur @ 2184:1ecef02f67c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -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' {})