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