Mercurial > urweb
view tests/type_class.ur @ 529:4df69124e9c5
Shorthands
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 27 Nov 2008 16:55:30 -0500 |
parents | 71bafe66dbe1 |
children | fab5998b840e |
line wrap: on
line source
class default t = t val string_default : default string = "Hi" val int_default : default int = 0 val default : t :: Type -> default t -> t = fn t :: Type => fn d : default t => d val hi = default [string] _ val zero = default [int] _ val frob : t :: Type -> default t -> t = fn t :: Type => fn _ : default t => default [t] _ val hi_again = frob [string] _ val zero_again = frob [int] _ val main : unit -> page = fn () => <html><body> {cdata hi_again} </body></html>