Changes between Version 133 and Version 134 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 8, 2007 11:06:34 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v133 v134  
    5252== Desugaring == 
    5353 
    54 Todo (low-level): 
    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`). 
     54Todo (low-level): None. 
    5655 
    5756Todo (high-level):