git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Core/Execute.hs
all commits
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