Integers of fixed width should use unsigned comparisons
Build LLVM rts at the right stage and clean up a namespace
Invert namespace cleanup for better compatibility
Bump llvm-general
Merge pull request #419 from Ralith/fix-llvm-fixed-width-compares

Integers of fixed width should use unsigned comparisons
Merge pull request #421 from Melvar/master

Add Functor, Applicative and Monad instances for (Vect n)
Fix the LLVM flag

Apparently Cabal normalizes the flags to lower case, and the
lookup for "LLVM" does nothing. Commit
2972b75a1896fc8d0db1e4d442f6aa5b2e1caf8e isn't wrong, but the problem
is that it ever gets to the Nothing case. The flag should always
be there.
Merge pull request #422 from melted/llvm

Fix the LLVM flag
Add an XML file generated in the build to the ignore file
Merge pull request #423 from melted/gitignore

Add an XML file generated in the build to the ignore file
Version number incremenet for imminent release
Switch Vect arguments in implementation paper
Fix Vect arguments in samples/
Update CHANGELOG
Unification 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 #409
Add import Prelude.Functor in Prelude/Vect.idr

This is imported transitively through Prelude.List, but really should be
explicit.
Simplify Prelude.Vect.range
Better 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 #342
Merge pull request #424 from Melvar/correct-vect-instances

Add import Prelude.Functor in Prelude/Vect.idr
Merge pull request #425 from Melvar/simplify-range

Simplify Prelude.Vect.range