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