packages feed

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