diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-06 15:59:43 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-06 15:59:43 +0000 |
| commit | cec34b7924b14d2a26585832b4e56201aae7dc0e (patch) | |
| tree | b69c9d06dc3a07363063e269f3d96f7bc353907f | |
| parent | 5be879dd543d61f871f76586251fe0aad91c0bcc (diff) | |
Transfer: fixed syntax error in prelude definition of partition.
| -rw-r--r-- | transfer/lib/prelude.tr | 2 |
1 files changed, 1 insertions, 1 deletions
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) |