git.iko.soy/Idris-dev
on de2011f help sign in
history ofsrc/Idris/Core/Execute.hs
all commits
39e4eb0IO primitives tweak to support JSEdwin Brady f6df58cMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffiEdwin Brady 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady 60e4921Relax lower bound on mtlEric Mertens 10d5903Add emulation of getchar to executorDavid Raymond Christiansen 17fe233Add scoped implicit argument to PiEdwin Brady a4401f9Import ExceptT type and constructorBen Sherman 1728a65Disambiguate forM callbmsherman 684a578Completely replace ErrorT with ExceptTbmsherman 00f1cd5Use ExceptT instead of ErrorTbmsherman 6359d99Removed dead code and lifedt TODO/FIXME from Core/Execute.Jan de Muijnck-Hughes 0200b44Support uniqueness types when executing IO actions in REPLMort Yao e7bd1f5Uniquify binder names when leaving executorDavid Raymond Christiansen 7e7368dStore kind in Pi bindersEdwin Brady e30ff97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady b0e53f8Support the RTS function idris_time in executorDavid Raymond Christiansen b7316b7Better errors from executorDavid Raymond Christiansen 09e5383Require that arguments to case blocks be reducedDavid Raymond Christiansen 2aaff41Stop erasing binder types in executorDavid Raymond Christiansen 51a9b69Open files in binary modeDavid Raymond Christiansen 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 6250eb4Make executor emulate putcharDavid Raymond Christiansen 3ac21cbBetter error messages on emulated FFIDavid Raymond Christiansen cef4141Use real Idris errors in ExecutorDavid Raymond Christiansen b5f219eRemove the Lazy flag entirely.Matus Tejiscak 3d59246Normalise thunk contents when returning from executorDavid Raymond Christiansen 25c1352Support for typed laziness in executorDavid Raymond Christiansen 360bbdaStop getArgs from crashing executorDavid Raymond Christiansen be1784cBetter emulation of C in executor wrt file handlesDavid Raymond Christiansen 3dfa841Fix logic in ExecutorEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady e6c3f56Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 7604451Cache argument types for building case treesEdwin Brady b0e43f0Initial partial version of REPL error reflectionDavid Raymond Christiansen 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna