Ur/Web: tests/datatype.ur annotate

Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual

author	Adam Chlipala <adam@chlipala.net>
date	Thu, 06 Jan 2011 08:55:53 -0500
parents	f387d12193ba
children

rev	line source
adamc@156	1 datatype t = A \| B
adamc@156	2
adamc@156	3 val a = A
adamc@156	4 val b = B
adamc@156	5
adamc@156	6 datatype foo = C of t
adamc@156	7
adamc@156	8 val c = C a
adamc@156	9
adamc@156	10 datatype list = Nil \| Cons of {Head : int, Tail : list}
adamc@156	11
adamc@156	12 val nil = Nil
adamc@156	13 val l1 = Cons {Head = 0, Tail = nil}
adamc@312	14
adamc@312	15 datatype term = App of term * term \| Abs of term -> term
adamc@312	16

Mercurial > urweb