Mercurial > urweb
view tests/datatypeMod.ur @ 2174:ce312cad5ecd
Use correct OpenSSL thread safety macros on OS X (closes #209)
Create an Autoconf test to determine if pthread_t is a pointer or scalar
type, and use the appropriate CRYPTO_THREADID_set macro based on the
result.
author | Benjamin Barenblat <bbaren at mit.edu> |
---|---|
date | Sun, 20 Sep 2015 17:46:07 -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>