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