search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix visibility of imported things #18

Closed cnd closed 9 years ago

cnd commented 9 years ago

Related to this idris change : https://github.com/idris-lang/Idris-dev/commit/7b5f4aa392985c6a7d7fdd5268cebe4adee954b8

Without that change test will fail with:

No such variable Control.Monad.Identity.Identity instance of Prelude.Monad.Monad

or Control.Monad.Identity should be imported in test too

cnd commented 9 years ago

was not reviewed in time, outdated