Changes between Initial Version and Version 1 of Ticket #10600, comment 10


Ignore:
Timestamp:
Sep 24, 2015 6:45:32 PM (4 years ago)
Author:
ezyang
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10600, comment 10

    initial v1  
    88    The type of this binder is primitive: proxy#
    99    Binder's type: forall a_a3EW. Proxy# a_a3EW
     10
     11[snip]
     12
     13Rec {
     14proxy# [Occ=LoopBreaker] :: forall a_a3EW. Proxy# a_a3EW
     15[LclIdX, Str=DmdType]
     16proxy# = proxy#
     17end Rec }
    1018}}}
     19
     20If I recall correctly, this is just a fake module that we give Haddock so it can generate documentation for it. So... I guess we should not desugar it? We could force the desugarer not to run by turning off warnings, but it's awfully delicate.