git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ JavaScript/Fix comparison ops in JS backend BCImp.hsAdd a Cabal library Bytecode.hsUse FDesc for foreign target CodegenC.hsEnsure that the backend output is UTF8 CodegenCommon.hsGenerate interface files for C->Idris calls CodegenJavaScript.hsFix comparison ops in JS backend Compiler.hsPass parameters to codegens with new cmdoption --cg-opt Defunctionalise.hsUse any instead of or/map and null/filter DumpBC.hsNew language-dependent FFI Exports.hsSupport IO in foreign exports Inliner.hsAdd a Cabal library Lang.hsDecorate lambda lifted names LangOpts.hsNew language-dependent FFI Simplified.hsUse FDesc for foreign target System.hsAdd feature to add compiler flags from environment with IDRIS_CFLAGS