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.