Changes between Version 19 and Version 20 of ExistentialQuantification


Ignore:
Timestamp:
Sep 18, 2006 12:26:05 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v19 v20  
    109109}}} 
    110110   GHC does not allow such matching. 
     111   More generally, GHC does not allow matching of existentially quantified constructors inside irrefutable patterns (of which `let` pattern bindings are a special case). 
     112   It is said that the translation to GHC's intermediate language is problematic. 
    111113 
    112114 * None of the implementations can derive instances for existentially quantified types, but this could be relaxed, e.g