Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

contravariant_spec

0 views
Skip to first unread message

Geoffrey Irving

unread,
Sep 6, 2009, 8:55:50 PM9/6/09
to Dylan Alex Simon, duck...@googlegroups.com
The issue was contravariant spec was that you switched precedences
around. The code was

_ = (+) :: a -> Int -> Int

That used to mean

_ = (+) :: (a -> Int -> Int)

but then it became

_ = ((+) :: a) -> Int -> Int

which is perfectly valid code. :)

Geoffrey

Reply all
Reply to author
Forward
0 new messages