Changes between Version 60 and Version 61 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 3, 2007 7:28:24 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v60 v61  
    11[[wiki:DataParallel/ClosureConversion Up]] 
    2 == Closure conversion without indexed types == 
     2== Closure conversion without classes == 
    33 
    44The following scheme approaches the problem of mixing converted and unconverted code from the point of view of GHC's Core representation, avoiding the use of classes as much as possible.  In particular, the scheme gracefully handles any declarations that themselves cannot be converted, but occur in a converted module.  The two essential ideas are that (1) we move between converted and unconverted values/code using a conversion isomorphism and (2) we treat unconverted declarations differently depending on whether or not they involve arrows; e.g., the definition of `Int` by way of unboxed values (which we cannot convert) doesn't prevent us from using `Int`s ''as is'' in converted code.