git.iko.soy/Idris-dev
on d1663cc help sign in
history ofMakefile
all commits
37f0b57Add test_all target to run tests for all backendsDavid Christiansen 6b3457aName resolution should respect %hideEdwin Brady 03adfb0Test LLVM codegen on travis to reduce future breakageBenjamin Saunders ba73fa2Allow tests to be parallelizedJason Gross f7132dfAdd java tests to travis.ymlJan Bessai 9dea448javascript: added javascript lib packageraichoo faad05cInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use thisHannes Mehnert b0a82cfFix "make relib" to use dynamic rtsDavid Christiansen 27e3c69Use just-built dynamic RTS during library typecheckDavid Christiansen b1890e7Improved Makefile dependencies.Ertugrul Söylemez 1b46872Added compile flag support to deactivate creation of the java backendJan Bessai 0b5a5b3Added effects package and associated testsEdwin Brady c0bc353Build Haddock and Hoogle filesDavid Christiansen 3bfe418Refactor the makefile so that all the pertinent variables are in config.mkJason Dagit 5692e48Added "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.Edwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 13e17a4Fix allocation sizeEdwin Brady 38a9365More towards the new compilerEdwin Brady 6807cf4Unreachable case warningEdwin Brady 3b13341Better error reporting for unresolved type classesEdwin Brady 0f7b6d5Correct test004Edwin Brady dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady 663c464Added test directory and a single test...Edwin Brady 39b934cSugar for dependent pairsEdwin Brady bcdde4aMakefile addedEdwin Brady