Mercurial > urweb
annotate tests/open.ur @ 1836:276fa06428ba
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 11 Dec 2012 15:58:23 -0500 |
parents | 71bafe66dbe1 |
children |
rev | line source |
---|---|
adamc@61 | 1 structure S = struct |
adamc@61 | 2 type t = int |
adamc@61 | 3 val x = 0 |
adamc@61 | 4 |
adamc@61 | 5 structure S' : sig type u val y : t end = struct |
adamc@61 | 6 type u = t |
adamc@61 | 7 val y = x |
adamc@61 | 8 end |
adamc@61 | 9 |
adamc@61 | 10 signature Sig = sig |
adamc@61 | 11 type t |
adamc@61 | 12 val x : t |
adamc@61 | 13 end |
adamc@61 | 14 end |
adamc@61 | 15 |
adamc@61 | 16 open S.S' |
adamc@61 | 17 open S |
adamc@61 | 18 open S' |
adamc@61 | 19 |
adamc@61 | 20 structure S' : Sig = S |