Mercurial > urweb

comparison tests/recBad.lac @ 239:fc6f04889bf2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Shorthand for multi-binding con 'fn'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 13:29:57 -0400
parents 44a1663ad893
children cc193f680193
comparison
equal deleted inserted replaced
238:44a1663ad893 239:fc6f04889bf2
4 case ls1 of 4 case ls1 of
5 Nil => ls2 5 Nil => ls2
6 | Cons (h, t) => Cons (h, append t ls2) 6 | Cons (h, t) => Cons (h, append t ls2)
7 7
8 (*val rec ones : list int = Cons (1, ones)*) 8 (*val rec ones : list int = Cons (1, ones)*)
9 val rec ones : unit -> list int = fn () => Cons (1, ones ()) 9 val rec ones = fn () => Cons (1, ones ())