Changes between Version 132 and Version 133 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 8, 2007 9:19:49 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v132 v133  
    5353 
    5454Todo (low-level): 
    55  * In `DsCCall.unboxArg`, what if we use an application of an indexed synonym in a foreign signature?  It seems, as if we want to proceed similar as in the case of newtypes.  However, this requires the `FamInstEnv`s to be available at this point (i.e., in `DsM`). 
     55 * In `DsCCall.unboxArg` and `DsCCall.boxResult`, what if we use an application of an indexed synonym in a foreign signature?  It seems, as if we want to proceed similar as in the case of newtypes.  However, this requires the `FamInstEnv`s to be available at this point (i.e., in `DsM`). 
    5656 
    5757Todo (high-level):