Ambiguous :: in Lightyear/String_.idr c2s

ziman / lightyear

Parser combinators for Idris

Other

238 stars 43 forks source link

Closed LeifW closed 10 years ago

LeifW commented 10 years ago

./Lightyear/String_.idr:37:5:When elaborating right hand side of c2s:
Can't disambiguate name: Prelude.List.::, Prelude.Stream.::, Prelude.Vect.::

It works if I change the [] to Prelude.List.Nil

Idris 0.9.10

ziman commented 10 years ago

It looks like the new version of Idris does not resolve the names completely. Fixed.

Thank you!