Changes between Version 20 and Version 21 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 4:00:27 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v20 v21  
    33These notes describe the new intermediate language for GHC.  The 
    44intermediate language is based on System F with algebraic datatypes 
    5 and explicit type coercions (hereafter FC) (see the [http:// paper]).  This note mostly focuses 
     5and explicit type coercions (hereafter FC) (see the [http://research.microsoft.com/%7Esimonpj/papers/ext%2Df/fc-popl.pdf paper]).  This note mostly focuses 
    66on the type system and also discuss how some source-level features are 
    77represented in the intermediate language.