git.iko.soy/Idris-dev
on 93522bc help sign in
history ofidris.cabal
all commits
14ee023Skeleton of stub-generating LLVM codegenBenjamin Saunders 8981c61Merge pull request #366 from LeifW/fix_missing_pom.xmlEdwin Brady 8bb6d3aAdd missing pom.xml files to extra-source-files to fix cabal sdist.Leif Warner efa5738Add missing idris sources for javascript to extra-source-files to fix cabal sdistBenjamin Saunders e8c2badType class resolution fix (disables Decidable.Decidable) Instances should not be resolved when there is no information available. Previously, resolution just guessed at an instance in this case, though this was never intended behaviour!Edwin Brady 9dea448javascript: added javascript lib packageraichoo e0783efinitial ideslaveHannes Mehnert 0a4f002Productivity check fix Guardedness check didn't actually check it was under a constructor!Edwin Brady 4ed62ccFix missing files in idris.cabalEdwin Brady 2fc3c3aFix idris.cabal and base.ipkg to include Data.Vect.*Edwin Brady 43d915dMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 5a81f99Implement dynamic linking on WindowsNiklas Larsson b68a1a7Flag to disable effectsJan Bessai 90f661bMake dynamic library extension platform-dependentDavid Christiansen 9875894Merged upstream changesDavid Christiansen c9d32afChange NoJava flag to Java, and make no java back end the defaultEdwin Brady a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai 89a055eMerge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai 3262127Dynamically load C libraries in REPLDavid Christiansen f5e4128Start of FFI infrastructureDavid Christiansen 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert 1b46872Added compile flag support to deactivate creation of the java backendJan Bessai 43056d6Backend support for JavaJan Bessai 109f2d7Update version number to 0.9.7Edwin Brady 0b5a5b3Added effects package and associated testsEdwin Brady dc52276Add Decidable directory to idris.cabalEdwin Brady 095301fAdd missing modules to idris.cabalEdwin Brady b2f2be4javascript: extracted common runtimeraichoo c020e50javascript: split javascript and node targetraichoo 3fdf1a0javascript: move runtime into own js fileraichoo 48ffaaeUpdate cabal, increment version numberEdwin Brady 6f23ad0Add version requirement for parsecEdwin Brady e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth fd5cddbMore platform agnostic nowChetan T fab5d73Adding support for Windows MingW32chetant bbe9dc1Minor fixes for inlining and integer literalsEdwin Brady f855d0fFix a few missing module referencesBenjamin Saunders 0b3b0b5Display useful information on :doc (It's ugly though...)Edwin Brady 2a536ecmoved morphisms to lib/Dataraichoo b641ec8Correct cabal fileEdwin Brady 2541a16No need to store original patternsEdwin Brady 9b9d316Add lower bound for HaskelineEdwin Brady a41fe5bUse strict StateTJason Dagit 991ee91Merge branch 'lib' of https://github.com/raichoo/Idris-devEdwin Brady 5c9a88auppercase modulenamesraichoo bf8685eSeparate "productive" and "total" in totality checker Productive can call Total, but not vice versa. This is still a temporary solution - don't rely on anything yet!Edwin Brady 72d4d96Starting unused argument analysisEdwin Brady f26b42fDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the qualified version of the name)Edwin Brady bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady