Remove Type* on type of (.)
We should leave this sort of thing until uniqueness types are more
mature and we've experimented more outside the Prelude.
Fixes #1777
commitc943361c3551b9288c36a42775ece8ae3ca75138
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 9 Dec 2014, 13:54 (12 years ago)
parent713776c
libs/prelude/Prelude/Basics.idr+1−1
@@ -30,7 +30,7 @@ snd (x, y) = y
3030infixl 9 .
3131
3232||| Function composition
33−(.) : {a, b, c : Type*} -> (b -> c) -> (a -> b) -> a -> c
33+(.) : (b -> c) -> (a -> b) -> a -> c
3434(.) f g x = f (g x)
3535
3636||| Takes in the first two arguments in reverse order.