git.iko.soy/Idris-dev
on dd09721 help sign in
Idris-dev/test/reg034/expected
24 lines 874 B history raw
1reg034.idr:6:5:When elaborating left hand side of bar:
2When elaborating an application of main.bar:
3 Can't unify
4 x = x
5 with
6 length xs = length ys
7
8 Specifically:
9 Can't unify
10 length ys
11 with
12 length xs
13reg034.idr:9:5:When elaborating left hand side of foo:
14When elaborating an application of main.foo:
15 Can't unify
16 x = x
17 with
18 f x = f y
20 Specifically:
21 Can't unify
22 f y
23 with
24 f x