forked from M-Labs/artiq
1
0
Fork 0

Shorten the unification error message when too redundant.

This commit is contained in:
whitequark 2015-05-29 10:01:22 +03:00
parent abbc87e981
commit 56d1a9bc57
1 changed files with 14 additions and 7 deletions

View File

@ -129,6 +129,13 @@ class Inferencer(algorithm.Transformer):
"expression of type {typeb}",
{"typeb": types.TypePrinter().name(typeb)},
locb)
if e.typea.find() == typea.find() and e.typeb.find() == typeb.find():
diag = diagnostic.Diagnostic('fatal',
"cannot unify {typea} with {typeb}",
{"typea": types.TypePrinter().name(typea),
"typeb": types.TypePrinter().name(typeb)},
loca, [locb], notes=[note1, note2])
else: # give more detail
diag = diagnostic.Diagnostic('fatal',
"cannot unify {typea} with {typeb}: {fraga} is incompatible with {fragb}",
{"typea": types.TypePrinter().name(typea),