Mercurial > urweb

annotate tests/datatype.ur @ 2278:b7615e0ac4b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in and clean up free path code.
author Ziv Scully <ziv@mit.edu>
date Tue, 10 Nov 2015 12:35:00 -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