Ur/Web: tests/datatype.ur annotate

location literal _LOC_

author	Gabriel Riba Faura <griba2001@gmail.com>
date	Wed, 03 Jun 2015 08:34:23 +0200
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