comparison tests/recBad.lac @ 242:cc193f680193

Shorthand for multi-binding exp declaration
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 14:05:47 -0400
parents fc6f04889bf2
children
comparison
equal deleted inserted replaced
241:052126db06e7 242:cc193f680193
1 datatype list a = Nil | Cons of a * list a 1 datatype list a = Nil | Cons of a * list a
2 2
3 val rec append : t ::: Type -> list t -> list t -> list t = fn t ::: Type => fn ls1 => fn ls2 => 3 fun append (t ::: Type) (ls1 : list t) (ls2 : list t) : list t =
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)*)