Ur/Web: tests/datatype.ur annotate

Check realloc's return code to prevent segfault on out of memory condition (Part 3)

author	Sergey Mironov <grrwlf@gmail.com>
date	Tue, 02 Sep 2014 17:37:22 +0000
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