Commit 8c23b54f authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari

Rules: Show the binder type in the unbound template binder error

Reviewers: austin

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D4013
parent 3ec579d5
......@@ -583,7 +583,7 @@ matchN (in_scope, id_unf) rule_name tmpl_vars tmpl_es target_es
= env
unbound var = pprPanic "Template variable unbound in rewrite rule" $
vcat [ text "Variable:" <+> ppr var
vcat [ text "Variable:" <+> ppr var <+> dcolon <+> ppr (varType var)
, text "Rule" <+> pprRuleName rule_name
, text "Rule bndrs:" <+> ppr tmpl_vars
, text "LHS args:" <+> ppr tmpl_es
......
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