Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Correct substitution into theta types (after merge)

  • Loading branch information...
commit 8053aac536c96dabdc06e9f068852f5481474a29 1 parent 574022a
@mchakravarty mchakravarty authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  compiler/typecheck/TcUnify.lhs
View
2  compiler/typecheck/TcUnify.lhs
@@ -702,7 +702,7 @@ tc_sub1 mb_fun act_sty actual_ty exp_ib exp_sty expected_ty
; co_fn2 <- tc_sub mb_fun tau' tau' exp_ib exp_sty expected_ty
-- Deal with the dictionaries
- ; co_fn1 <- instCall InstSigOrigin inst_tys (substTy subst' theta)
+ ; co_fn1 <- instCall InstSigOrigin inst_tys (substTheta subst' theta)
; return (co_fn2 <.> co_fn1) }
-----------------------------------

0 comments on commit 8053aac

Please sign in to comment.
Something went wrong with that request. Please try again.