idris-0.9.20: test/quasiquote006/expected
quasiquote006.idr:9:3:
When checking right hand side of b with expected type
TTName
Can't disambiguate name: ForeignEnv.Nil,
Prelude.List.Nil
quasiquote006.idr:12:3:
When checking right hand side of c with expected type
TTName
No such variable alsdkjflkj
quasiquote006.idr:15:3:
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