google-code-export / omega

Automatically exported from code.google.com/p/omega
Other
2 stars 0 forks source link

":k (~>)" crashes #99

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
looks like the kind arrow is second class

:k (->)
and
:k (->) Int
and
:k (->) Int Int

all work

Original issue reported on code.google.com by ggr...@gmail.com on 26 Aug 2011 at 10:54

GoogleCodeExporter commented 9 years ago
Currently any invalid kind given to :k crashes Omega. Attached patch changes 
error to fail.

(~>) is level-polymorphic and can be used for types too, as in Int ~> Int. It 
seems that the only advantage of (->) is that it can be used as prefix (->). If 
this was changed, (->) would be redundant. I don't know if the explicit 
distinction between them was on purpose, but if it could be eliminated I'd be 
very happy.

Original comment by krz.gogo...@gmail.com on 30 Aug 2011 at 12:26

Attachments: