Changes between Initial Version and Version 2 of Ticket #2761


Ignore:
Timestamp:
Nov 10, 2008 6:20:28 PM (7 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2761

    • Property Difficulty changed from to Unknown
  • Ticket #2761 – Description

    initial v2  
    11This causes a type error:
    2 
     2{{{
    33    foo :: forall b. (b -> String, Int)
    44    foo = (const "hi", 0)
     
    66    bar :: (forall b. b -> String, Int)
    77    bar = foo
    8 
     8}}}
    99This should compile fine since the types are equivalent.