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