Changes between Version 7 and Version 8 of ExistentialQuantification


Ignore:
Timestamp:
Dec 6, 2005 12:05:28 AM (10 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.