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

Ignore:
Timestamp:
May 1, 2007 1:55:28 AM (9 years ago)
Comment:

--

Unmodified
Added
Removed
Modified
• ## DataParallel/ClosureConversion/ClassLess

 v37 ==== Converting data constructors ==== 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 We 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 {{{ MkT :: (Int -> Int) -> Int } dNumInt_CC :: Num_CC Int  -- Int \equiv Int_CC dNumInt_CC = Num_CC $: fr?? isoInt primAddInt$: fr?? isoInt primNegateInt !!!TODO dNumInt_CC = Num_CC (to (isoArr isoInt (isoArr isoInt isoInt)) primAddInt) (to (isoArr isoInt isoInt) primNegateInt) }}}