Ur/Web: tests/datatype.ur annotate

Reduce: add reduction in some spots previously missed, associated with 'case' return types

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 25 Nov 2015 18:48:17 -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