Skip to content
  • Simon Peyton Jones's avatar
    Fix ApplicativeDo constraint scoping · 484f8d35
    Simon Peyton Jones authored
    This patch fixes Trac #13242, by a bit of fancy footwork
    with the LIE variable in which the WantedConstraints are
    collected.
    
    I think it can be simplified further, using a 'map'.
    484f8d35