Changes between Version 1 and Version 2 of Commentary/Compiler/DesugaringInstances


Ignore:
Timestamp:
Mar 5, 2009 11:25:05 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/DesugaringInstances

    v1 v2  
    284284My current difficulty is that I see no way to get all the good things 
    285285at once. 
     286 
     287PS: see also the comments at the start of `compiler/typecheck/TcInstDcls.lhs`, which cover some of the same ground.