Make it compile with a GHC 6.x. The layout rule seems to be a mystery
even for one of the "fathers" of Haskell... :-}
| otherwise = tcMatchTys
; case refiner ex_tvs old_subst pat_tys ctxt_tys of
Failed msg -> failWithTc (inaccessibleAlt msg)
- Succeeded new_subst -> do
- { traceTc (text "refineTypes:match" <+> ppr con <+> ppr new_subst)
+ Succeeded new_subst -> do {
+ traceTc (text "refineTypes:match" <+> ppr con <+> ppr new_subst)
; setTypeRefinement new_subst thing_inside } }
where