Changes between Version 8 and Version 9 of TypeFunctions


Ignore:
Timestamp:
Jul 28, 2006 7:49:17 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v8 v9  
    6262 * We do ''not'' update the data declarations within class declarations (field `tcdATs` within `ClassDecl`), as the `Class.Class` structure produced by the type checker only contains the `Id`s of a classes associated types. 
    6363 * We check that we have -fglasgow-exts. 
     64 
     65 
     66== Possible Extensions == 
     67 
     68 * Toplevel ''data'' types with type patterns can probably be type checked just like GADTs.  However, they would also be a form of open data types, unless we restrict their values to be scrutinised in class instances with matching type restrictions.