diff options
Diffstat (limited to 'tests/recBad.lac')
| -rw-r--r-- | tests/recBad.lac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/recBad.lac b/tests/recBad.lac index 8d844efb..11934ec0 100644 --- a/tests/recBad.lac +++ b/tests/recBad.lac @@ -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) |