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