Simon Peyton Jones pushed to branch wip/T26349 at Glasgow Haskell Compiler / GHC

Commits:

1 changed file:

Changes:

  • compiler/GHC/Tc/Types/Evidence.hs
    ... ... @@ -362,9 +362,10 @@ collectHsWrapBinders wrap = go wrap []
    362 362
     
    
    363 363
     optHsWrapper :: HsWrapper -> HsWrapper
    
    364 364
     optHsWrapper wrap
    
    365
    -  = let wrap' = foldr (<.>) WpHole (norm wrap [])
    
    366
    -    in pprTrace "optHsWrapper" (vcat [ text "in:" <+> ppr wrap, text "out:" <+> ppr wrap' ]) $
    
    367
    -       wrap'
    
    365
    +  = foldr (<.>) WpHole (norm wrap [])
    
    366
    +    -- let wrap' = foldr (<.>) WpHole (norm wrap [])
    
    367
    +    -- in pprTrace "optHsWrapper" (vcat [ text "in:" <+> ppr wrap, text "out:" <+> ppr wrap' ]) $
    
    368
    +    --    wrap'
    
    368 369
       where
    
    369 370
         norm :: HsWrapper -> [HsWrapper] -> [HsWrapper]
    
    370 371
         -- norm w ws = w <.> (foldr <.> WpHole ws)