68c019aChange export qualifier keywordsEdwin Brady11 years ago a14e4edSimplify export rules.Edwin Brady11 years ago 9b2ca04Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffiEdwin Brady11 years ago 4d0a065Change "class/instance" keywordsEdwin Brady11 years ago 4eff833Changed IOExcept to IOExcept' (with an FFI param) to work with the new FFI.Aaron Craelius11 years ago 80d88b1Turn IOException into a record to avoid the let-binding patmatch.Leif Warner11 years ago 076c2d6Simplify some expressions in IOExcept.Leif Warner11 years ago 53f4651Tidy up name warnings in PreludeEdwin Brady11 years ago 44bdf1dChanged (<$>) to (<*>)Tenor Biel12 years ago a338273Remove needless Prelude importsEdwin Brady13 years ago 40924dcMoved libraries around, removed 'effects' flagEdwin Brady13 years ago