view tests/datatypeP2.ur @ 1132:d4cd54a4ea06

First attempt to switch to Automake, to get shared libraries built in OSX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 09:56:08 -0500
parents 71bafe66dbe1
children
line wrap: on
line source
datatype sum a b = Left of a | Right of b

val l : sum int string = Left 5
val r : sum int string = Right "Hi"

val show = fn x : sum int string => case x of Left _ => "Left _" | Right s => s

val page = fn x => <html><body>
        {cdata (show x)}
</body></html>

val main : unit -> page = fn () => <html><body>
        <li><a link={page l}>Left</a></li>
        <li><a link={page r}>Right</a></li>
</body></html>