Changes between Version 37 and Version 38 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 1, 2007 1:55:28 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v37 v38  
    9797==== Converting data constructors ==== 
    9898 
    99 We also convert data constructors by converting their argument types.  In particular, the signature of the wrapper is converted.  However, in contrast to other functions, we only convert the argument and result types; the arrows tying them together are left intact.  For example, if the original wrapper has the type signature 
     99We convert data constructors by converting their argument types and their representation `DataCon` gets a new filed `dcCC :: StatusCC DataCon`.  In particular, the signature of the worker is converted.  However, in contrast to other functions, we only convert the argument and result types; the arrows tying them together are left intact.  For example, if the original wrapper has the type signature 
    100100{{{ 
    101101MkT :: (Int -> Int) -> Int 
     
    171171  } 
    172172dNumInt_CC :: Num_CC Int  -- Int \equiv Int_CC 
    173 dNumInt_CC = Num_CC $: fr?? isoInt primAddInt $: fr?? isoInt primNegateInt 
    174 !!!TODO 
     173dNumInt_CC = Num_CC (to (isoArr isoInt (isoArr isoInt isoInt)) primAddInt) (to (isoArr isoInt isoInt) primNegateInt) 
    175174}}} 
    176175