Changes between Version 9 and Version 10 of ExistentialQuantification


Ignore:
Timestamp:
Dec 6, 2005 12:12:20 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v9 v10  
    6565newtype T = forall a. C a 
    6666}}} 
    67    GHC and Nhc98 do not. 
     67   GHC and Nhc98 do not and jhc can not. 
    6868 
    6969 * Hugs and Nhc98 allow matching on an existentially quantified constructor in a pattern binding declaration, except at the top level.