Mercurial > urweb
view tests/datatypeMod.ur @ 1445:6e6f1643c4e9
To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 28 Mar 2011 10:37:49 -0400 |
parents | 71bafe66dbe1 |
children |
line wrap: on
line source
structure M : sig datatype t = A | B end = struct datatype t = A | B end val ac = M.A datatype u = datatype M.t val ac : M.t = A val a2 : u = ac structure M2 = M structure M3 : sig datatype t = datatype M.t end = M2 structure M4 : sig datatype t = datatype M.t end = M val bc : M3.t = M4.B structure Ma : sig type t end = M structure Magain : sig datatype t = A | B end = M val page : M.t -> page = fn x => <html><body> Hi. </body></html> val main : unit -> page = fn () => <html><body> <a link={page a2}>Link</a> </body></html>