Changes between Version 248 and Version 249 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 2:53:38 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v248 v249  
    7575 0. Can we support
    7676{{{
    77 {-# LANGUAGE TypeFamilies, TypeOperators, GADTs #-}
     77{-# LANGUAGE TypeFamilies, TypeOperators, GADTs,  RankNTypes, FlexibleContexts #-}
    7878module Equality( (:=:), eq_elim, eq_refl ) where
    7979