diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-09-26 14:32:02 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-26 15:39:18 -0400 |
| commit | 8c23b54f0e51b7fb028e46a52d4329235d2013ca (patch) | |
| tree | ca546ad9a3f2a6390cfc52cfb0713a74d2e3bf2d /compiler/specialise | |
| parent | 3ec579d5d13dd00af58380a34daa2d57f0b9aa9e (diff) | |
| download | haskell-8c23b54f0e51b7fb028e46a52d4329235d2013ca.tar.gz | |
Rules: Show the binder type in the unbound template binder error
Reviewers: austin
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D4013
Diffstat (limited to 'compiler/specialise')
| -rw-r--r-- | compiler/specialise/Rules.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/specialise/Rules.hs b/compiler/specialise/Rules.hs index ec19740d0f..edcab88f56 100644 --- a/compiler/specialise/Rules.hs +++ b/compiler/specialise/Rules.hs @@ -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 |