git.iko.soy/Idris-dev
on 307efbb help sign in
Idris-dev/test/test037/expected
17 lines 506 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 [] (TFun t' t')
10 with
11 Tm [] TUnit
13 Specifically:
14 Can't unify
15 TFun t' t'
16 with
17 TUnit