idris-1.2.0: test/quasiquote006/expected
quasiquote006.idr:9:5-10:
|
9 | b = `{Nil}
| ~~~~~~
When checking right hand side of b with expected type
TTName
Can't disambiguate name: ForeignEnv.Nil,
Prelude.List.Nil
quasiquote006.idr:12:5-17:
|
12 | c = `{alsdkjflkj}
| ~~~~~~~~~~~~~
When checking right hand side of c with expected type
TTName
No such variable alsdkjflkj
quasiquote006.idr:15:5-11:
|
15 | d = `{(::)}
| ~~~~~~~
When checking right hand side of d with expected type
TTName
Can't disambiguate name: ForeignEnv.::,
Prelude.List.::,
Prelude.Stream.::
quasiquote006.idr:17:3:Main.d already defined