idris-0.9.18: test/quasiquote006/expected
quasiquote006.idr:9:3:
When elaborating right hand side of b:
Can't disambiguate name: ForeignEnv.Nil,
Prelude.List.Nil
quasiquote006.idr:12:3:
When elaborating right hand side of c:
No such variable alsdkjflkj
quasiquote006.idr:15:3:
When elaborating right hand side of d:
Can't disambiguate name: ForeignEnv.::,
Prelude.List.::,
Prelude.Stream.::
quasiquote006.idr:17:3:Main.d already defined