Changes between Initial Version and Version 1 of Ticket #7015, comment 15


Ignore:
Timestamp:
Aug 21, 2014 11:02:08 PM (5 years ago)
Author:
facundo.dominguez
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7015, comment 15

    initial v1  
    1313  \ (@ a_azE) -> GHC.Base.return @ GHC.Types.IO GHC.Base.$fMonadIO @ a_azE
    1414}}}
    15 Now, to do floating in the desugarer, it looks like evidence bindings need to be communicated to the place in the desugarer (I presume `dsExpr`) where the floating should be implemented. Would there be a preferred way to do it? I couldn't find precedents of similar needs in the ghc code.
     15Now, to do floating in the desugarer, it looks like evidence bindings need to be communicated to the place in the desugarer (I presume `dsExpr`) where the floating should be implemented. Would there be a preferred way to do it and is it sensible at all? I couldn't find precedents of similar needs in the ghc code.