Changes between Version 7 and Version 8 of ExistentialQuantification


Ignore:
Timestamp:
Dec 6, 2005 12:05:28 AM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v7 v8  
    8484data T = forall a. C { f1 :: a, f2 :: Int } 
    8585}}} 
     86 * The Omega language based on Haskell has an 'exists' keyword to denote an existential type. 
    8687 
     88  
    8789== Pros == 
    8890 * offered by GHC, Hugs and Nhc98 for years, HBC even longer.