Build failure with idris 0.12.1

ziman / lightyear

Parser combinators for Idris

Other

238 stars 43 forks source link

Build failure with idris 0.12.1 #41

Closed justjoheinz closed 8 years ago

justjoheinz commented 8 years ago

~/Projects/idris/lightyear (master)$ make install
idris --build lightyear.ipkg
Type checking ./Lightyear/StringFile.idr
./Lightyear/StringFile.idr:22:12:When checking type of Lightyear.StringFile.Lightyear.readFile:
Can't disambiguate since no name has a suitable type: 
        Effects.DepEff.Eff, Effects.SimpleEff.Eff, Effects.TransEff.Eff
make: *** [build] Error 1

I do not know the effects system yet, otherwise I would send a PR.

jfdm commented 8 years ago

Ah, I forgot there was an effectful file function here. I have a fix upstream. However, this fix will change the API slightly due to upstream changes. @ziman can rule on whether to accept the change or not.