git.iko.soy/Idris-dev
on master help sign in
history ofdb2fb0b..master
compare
545550fAdd Traversable and instance for ListMelvar Chen ac1c15bAdd traverse_ and sequence_ based on FoldableMelvar Chen d39f234Add instance Foldable MaybeMelvar Chen d4f173dAdd more folds and a Foldable instance for (Vect n)Melvar Chen 8c12b8cmake List use FoldableMelvar Chen c7fa2c7add FoldableMelvar Chen e940e39Add flags for gcc to treat signed ints in a predictable wayAndreas Bogk 3ad3bd6Merge pull request #429 from JasonGross/parallel-testsEdwin Brady 8a0e9d4Merge pull request #435 from JanBessai/SignedIntegerComparisonEdwin Brady 67739f0Merge pull request #434 from JanBessai/IndependentJavaRTSVersionEdwin Brady ff2b055Merge pull request #433 from Ralith/zext-inputs-are-unsignedEdwin Brady 8cbc717Merge pull request #432 from Ralith/cflagsEdwin Brady 0558972Fix parsing of indented blocks If there is no indentation, the block should be considered empty. This means empty parameters or using blocks are no longer allowed, which was always the intention, and empty data/instance/class declarations are allowed without needing an explicit {}. Fixes #437Edwin Brady e410ab3Fix missing cases in 'tldeclared' to allow class/instance in parameter blocks Fixes #436Edwin Brady db1e94fSome implementation paper adjustmentsEdwin Brady 5b5c19cPush java RTS version to the first one including signed comparisonsJan Bessai 77884e4Merge branch 'IndependentJavaRTSVersion' into SignedIntegerComparisonJan Bessai e9a1612Reactivate Java test, since new rts version is publishedJan Bessai e7d8583Set java-rts version to a fixed working one and update shade plugin version dependencyJan Bessai b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 506d367"it" now refers to the previous value at the REPLEdwin Brady a76627eRemove restriction on hole scopingEdwin Brady 7875005Change treatment of underscore in lambda Treat as unnamed variables, rather than as patternsEdwin Brady dbce277Treat Int as unsigned in C codegen when zero-extending to IntegerBenjamin Saunders d64094cMake .travis.yml repository-independentBenjamin Saunders 58bb8e0Take CFLAGS from environment in MakefilesBenjamin Saunders 55dbed5Update CONTRIBUTORS and CHANGELOGEdwin Brady f27d3bbUpdate CHANGELOGEdwin Brady f04aba8Remove overlapped case in CodegenCEdwin Brady ba73fa2Allow tests to be parallelizedJason Gross 91d3649Temporarily remove java tests from .travis.yml Because they don't work anyway. Will reinstate when the java build isn't version number dependent, somehow.Edwin Brady 96f4c54Add missing case for PEq to expandDo in DSL.hsEdwin Brady 86914e3Merge pull request #425 from Melvar/simplify-rangeEdwin Brady bf8cfc5Merge pull request #424 from Melvar/correct-vect-instancesEdwin Brady c710867Better unification errors when name is out of scope In particular, a unification problem which cannot be solved because it uses a variable not in scope where the metavariable is bound. Fixes #342Edwin Brady 8bc1c7fSimplify Prelude.Vect.rangeMelvar Chen ad040c1Add import Prelude.Functor in Prelude/Vect.idrMelvar Chen 02367f9Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #409Edwin Brady 1cfda6cUpdate CHANGELOGEdwin Brady d6f785eFix Vect arguments in samples/Edwin Brady 1862197Switch Vect arguments in implementation paperEdwin Brady 7a28778Version number incremenet for imminent releaseEdwin Brady b6bfd78Merge pull request #423 from melted/gitignoreEdwin Brady 7ea8543Add an XML file generated in the build to the ignore fileNiklas Larsson afe2903Merge pull request #422 from melted/llvmEdwin Brady 4dddfafFix the LLVM flagNiklas Larsson c663c21Merge pull request #421 from Melvar/masterEdwin Brady 700f7d7Merge pull request #419 from Ralith/fix-llvm-fixed-width-comparesEdwin Brady 3dcdaa7Bump llvm-generalBenjamin Saunders 1bc4ed3Invert namespace cleanup for better compatibilityBenjamin Saunders