Changes between Version 19 and Version 20 of ExistentialQuantification


Ignore:
Timestamp:
Sep 18, 2006 12:26:05 PM (9 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