From 817ee33c2e7b1cba86835c78880e479dfc19e2b8 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 6 Dec 2005 15:59:43 +0000 Subject: [PATCH] Transfer: fixed syntax error in prelude definition of partition. --- transfer/lib/prelude.tr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/transfer/lib/prelude.tr b/transfer/lib/prelude.tr index 4c54fa249..fe2d1b296 100644 --- a/transfer/lib/prelude.tr +++ b/transfer/lib/prelude.tr @@ -176,7 +176,7 @@ concat A = foldr (List A) (List A) (append A) (Nil A) partition : (A : Type) -> (A -> Bool) -> List A -> Pair (List A) (List A) partition _ _ [] = ([],[]) partition A p (x::xs) = - let r = partition A p xs + let r : Pair (List A) (List A) = partition A p xs in if p x then (x :: fst r, snd r) else (fst r, x :: snd r)