Changes between Initial Version and Version 1 of Ticket #5719


Ignore:
Timestamp:
Dec 23, 2011 9:47:35 AM (2 years ago)
Author:
simonpj
Comment:

This is a bug. The main delicacy in the Constraint-kind stuff is that the tuple syntax (a,b) is used for both things of kind * and things of kind Constraint. Pedro and I went to some trouble to make this work nicely, but we forgot about the empty-tuple case, which was parsed as a HsTyVar by the parser, rather than as an HsTupleTy.

I'm validating a fix now.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5719 – Description

    initial v1  
    3333Foo.hs:13:16: 
    3434    Kind mis-match 
    35     Expected kind `* -> Constraint', but `!()' has kind `*' 
     35    Expected kind `* -> Constraint', but `()' has kind `*' 
    3636}}}