Ur/Web: tests/datatype.ur annotate

fix small memory leaks

author	Marc Weber <marco-oweber@gmx.de>
date	Sun, 05 Dec 2010 18:47:54 +0100
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