search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fixed visiblity. #19

Closed jfdm closed 9 years ago

jfdm commented 9 years ago

Commit #7b5f of Idris introduces new import and export rules. This commit updates Lightyear to be compliant with upstream idris changes.

The changes made to lightyear assume that to use lighteyar you must use the following import statements.

import public Control.Monad.Identity

import public Lightyear.Core
import public Lightyear.Combinators
import public Lightyear.Strings

Library designers can then hide their use of Lightyear from their consumers.

ziman commented 9 years ago

Thanks!

cnd commented 9 years ago

if Lightyear.Strings will work w/o Control.Monad.Identity