Commit ba0e6b67 authored by Ian Lynagh's avatar Ian Lynagh

Errors talking about a left section should refer to the "first" argument

rather than the "second" argument. Fixes trac #3505.
parent 1be654d6
......@@ -261,7 +261,7 @@ tcExpr in_expr@(SectionL arg1 lop@(L loc op)) res_ty
<+> ptext (sLit "takes one argument")
tc_args arg2_ty' qtvs qtys [arg1_ty, arg2_ty]
= do { boxyUnify arg2_ty' (substTyWith qtvs qtys arg2_ty)
; arg1' <- tcArg lop 2 arg1 qtvs qtys arg1_ty
; arg1' <- tcArg lop 1 arg1 qtvs qtys arg1_ty
; qtys' <- mapM refineBox qtys -- c.f. tcArgs
; return (qtys', arg1') }
tc_args _ _ _ _ = panic "tcExpr SectionL"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment