diff 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
line wrap: on
line diff
--- a/tests/recBad.lac	Thu Aug 28 13:57:12 2008 -0400
+++ b/tests/recBad.lac	Thu Aug 28 14:05:47 2008 -0400
@@ -1,6 +1,6 @@
 datatype list a = Nil | Cons of a * list a
 
-val rec append : t ::: Type -> list t -> list t -> list t = fn t ::: Type => fn ls1 => fn ls2 =>
+fun append (t ::: Type) (ls1 : list t) (ls2 : list t) : list t =
         case ls1 of
             Nil => ls2
           | Cons (h, t) => Cons (h, append t ls2)