diff options
| author | Emilio Jesus Gallego Arias | 2019-03-20 02:21:14 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-20 02:21:14 +0100 |
| commit | e5a2f0452cf9523bc86e71ae6d2ac30883a28be6 (patch) | |
| tree | 91492ff7e20a3ad53c42257e04e0a0f44909ed42 /test-suite/output/Error_msg_diffs.out | |
| parent | 9681f4bd4e184e3d748c4539667460537b55429f (diff) | |
| parent | ef2fce93057484b015c85713ad83f53f88762271 (diff) | |
Merge PR #8669: Show diffs in some error messages
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Ack-by: gares
Ack-by: jfehrle
Diffstat (limited to 'test-suite/output/Error_msg_diffs.out')
| -rw-r--r-- | test-suite/output/Error_msg_diffs.out | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test-suite/output/Error_msg_diffs.out b/test-suite/output/Error_msg_diffs.out new file mode 100644 index 0000000000..3e337e892d --- /dev/null +++ b/test-suite/output/Error_msg_diffs.out @@ -0,0 +1,12 @@ +File "stdin", line 32, characters 0-12: +[37;41;1mError:[0m +In environment +T : [33;1mType[0m +p : T[37m ->[0m bool +a : T +t1, t2 : btree T +IH1 : count p (rev_tree t1)[37m =[0m count p t1 +IH2 : count p (rev_tree t2)[37m =[0m count p t2 +Unable to unify "[48;2;91;0;0m([1mif[22m p a [1mthen[22m 1 [1melse[22m 0)[37m +[39m (count p [48;2;170;0;0;4mt1[48;2;91;0;0;24m[37m +[39m count p [48;2;170;0;0;4mt2[48;2;91;0;0;24m)[0m" with + "[48;2;0;91;0m([1mif[22m p a [1mthen[22m 1 [1melse[22m 0)[37m +[39m (count p [48;2;0;141;0;4mt2[48;2;0;91;0;24m[37m +[39m count p [48;2;0;141;0;4mt1[48;2;0;91;0;24m)[0m". + |