blob: 2645524a70220ccd17006f62b44a8cfab303682c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
File "stdin", line 32, characters 0-11:
[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".
|
