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