git.iko.soy/Idris-dev
on ace080c help sign in
history ofsrc/Core/Execute.hs
all commits
3d38d42Fix applications of applications in executorDavid Christiansen 18fbb2fCode simplification for bindingsDavid Christiansen 4c1db81Laziness fix in case analysisDavid Christiansen cf75f6eFix laziness of 'lazy'David Christiansen 9792d64Code cleanup + primitivesDavid Christiansen d2cec77More and better primitivesDavid Christiansen f387ef0Code cleanupsDavid Christiansen ef18fedFix reading filesDavid Christiansen 173e357Better laziness behavior, still a bit off with IODavid Christiansen 790a7ecReplace term as intermediate representation with HOAS ExecVal.David Christiansen c568438Laziness and primitives improvementsDavid Christiansen 63263f7More primitivesDavid Christiansen 78fa258Added primitivesDavid Christiansen 02fa360Moved execution into custom monadDavid Christiansen db2fb0bGet laziness infoDavid Christiansen 1f5ff74Allow reading files in executorDavid Christiansen 62be419Add support for pointers to dynamic FFIDavid Christiansen 59456cdImprove FFI accuracy in executorDavid Christiansen 1757e2fRemove debug tracingDavid Christiansen 490c22aBasically working executor/interpreterDavid Christiansen 9af2d93Add type provider errors + test caseDavid Christiansen 29cbd12Minor cleanup and better comment and HaddockDavid Christiansen 918ce77Added getLine support to :xDavid Christiansen 879769aExecute type providers while typecheckingDavid Christiansen 6f7f300Call simple C functionsDavid Christiansen 054c04eFind foreign funcs in libsDavid Christiansen 3a80954%dynamic now works from IBC filesDavid Christiansen 3262127Dynamically load C libraries in REPLDavid Christiansen f5e4128Start of FFI infrastructureDavid Christiansen 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen ab89bf0Add basic infrastructure for IO support in the interpreterDavid Christiansen