git.iko.soy/Idris-dev
on 3dfa841 help sign in
Idris-dev/test/test037/expected
18 lines 373 B history raw
1In file ErrorReflection.idr line 78 column 5
2 When elaborating right hand side of Main.bad :
3 DSL type error: (t'(504) => t'(504)) doesn't match ()
5Original error:
7 ErrorReflection.idr:78:5:When elaborating right hand side of bad:
8 Can't unify
9 Tm [] (Main.TFun t' t')
10 with
11 Tm [] Main.TUnit
13 Specifically:
14 Can't unify
15 Main.TFun t' t'
16 with
17 Main.TUnit