Changes between Initial Version and Version 1 of Ticket #9223, comment 12


Ignore:
Timestamp:
Dec 15, 2014 8:34:07 AM (5 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9223, comment 12

    initial v1  
    1 @porges: Yes, the two types should be equivalent.  GHC HEAD (and 7.10) should be better in this regard.  Can you try your example with that?
     1@porges: Yes, the two types should be equivalent.  GHC HEAD (and 7.10) should be better in this regard (see #9211).  Can you try your example with that?
    22
    33@goldire: you may be right.  But even if you are, there's a balance between trying to make type inference as clever as possible and making it so unpredictable that no one knows whether it'll work or not.  But I'm open to suggetions.