git.iko.soy/Idris-dev
on ef93607 help sign in
history ofsrc/Main.hs
all commits
2aa64bdCorrect documentation for --cpuBenjamin Saunders 4a39cd4Update usage with --codegen and add a couple of other flags.Niklas Larsson db18c51Add scriptsDavid Christiansen e24baaadocument ideslave optionHannes Mehnert cf9d50fRemove dynamically loaded RTS due to 32/64-bit issues on OS XDavid Christiansen 27e3c69Use just-built dynamic RTS during library typecheckDavid Christiansen 228ffdbquiet mode: for editorsraichoo c020e50javascript: split javascript and node targetraichoo 0970f01Disentangle Haskeline from the internals IdrisDavid Christiansen e49ab72Reorder the monad transformers in the Idris monad to allow completionDavid Christiansen a6ed7c3javascript: got rid of --javascript use --targetraichoo 59be497javascript backendraichoo 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp dd5001fmake TT aware of Set -> Typeraichoo e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth 5d4c45fWhitespace fixDaniel Waterworth 1d0c6aaFixing compilation in Mingw32Chetan T fab5d73Adding support for Windows MingW32chetant f50f006Expand backend control options and infrastructureBenjamin Saunders 74cd49eMinor tutorial updatesEdwin Brady a41fe5bUse strict StateTJason Dagit 4ff3b25Added --dumpc flagEdwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 2832517Move main setup code to Idris.REPLEdwin Brady 7580119Added --libdir optionEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady 168278eHook up new output; deal with exact callsEdwin Brady 109b291Different approach to bytecodeEdwin Brady 38a9365More towards the new compilerEdwin Brady ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady e1c7b0fAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.Edwin Brady 2316dc9-i option added (thanks to Dirk Ullrich)Edwin Brady 535d77bAdd --ibcsubdir option (thanks to Dirk Ullrich)Edwin Brady a3c6231:addproof knows about .lidr filesEdwin Brady 1112fe4Coverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking can be disable with --nocoverageEdwin Brady 7f74f91Fix error handling again in replEdwin Brady 49e426aSwitch from readline to haskelineMathnerd314 c783299Add --help and --version optionsEdwin Brady e2d0099File handling in preludeEdwin Brady dea8d48Added support for literate programming with bird tracks (use .lidr extension)Edwin Brady b645699Don't write .ibc on error; add new testEdwin Brady 3b5e50cAdded universe constraint checker and --typeintype command line optionEdwin Brady d496a9c:e now reloads the edited fileEdwin Brady d676ca6Added -o option, and :exec and :t at the REPLEdwin Brady 5528447Not really mini any more...Edwin Brady 22546bc:r and :e at the REPL.Edwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady