Changes between Version 133 and Version 134 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 8, 2007 11:06:34 PM (9 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):