Changes between Version 8 and Version 9 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
Apr 23, 2007 9:30:48 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v8 v9  
    11[[wiki:DataParallel/ClosureConversion Up]] 
    2 == Closure conversion without a conversion class == 
     2== Closure conversion without indexed types == 
    33 
    4 The following scheme - if Roman doesn't find any problems with it (he is notorious for that) - should be simpler than what we had in mind so far for mixing converted and unconverted code. 
     4The following scheme - if Roman doesn't find any problems with it (he is notorious for that) - should be simpler (as in relying on fewer other mechanisms) than what we had in mind so far for mixing converted and unconverted code.  In particular, the scheme gracefully handles any declarations that themselves cannot be converted, but occur in a converted module. 
    55 
    66=== Type declarations === 
     
    9797Generally, we need a story about treating coercions during conversion. 
    9898 
    99 '''PARTIALLY DONE:''' Did the case of newtypes.  Other coercions may still be a problem, esp from unsafe coercions. 
     99'''PARTIALLY DONE:''' Did the case of newtypes.  Other coercions may still be a problem, esp from unsafe coercions, but we probably just don't want to convert any declarations containing them (at least for the moment). 
    100100 
    101101==== Function type constructor ====