1931f0bBuild LLVM rts at the right stage and clean up a namespaceBenjamin Saunders13 years ago 1945adfIntegers of fixed width should use unsigned comparisonsBenjamin Saunders13 years ago 8a53e68Add Functor, Applicative and Monad instances for (Vect n)Melvar Chen13 years ago 61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady13 years ago 844837cGoing to leave the llvm-general constraint until it's obviously fixedEdwin Brady13 years ago 64cf6d2Merge branch 'Z' of https://github.com/raichoo/Idris-dev into raichoo-ZEdwin Brady13 years ago 2972b75Merge pull request #418 from melted/setup-fixEdwin Brady13 years ago 6f21e10Apparently llvm-general is fixed nowEdwin Brady13 years ago 9ae048eChange llvm-general dependency (latest version breaks build)Edwin Brady13 years ago 2e8904dMuch faster coverage checking by ignorng forced arguments No need to generate cases to check for them, because we already know their value is forced by another part of the same constructor!Edwin Brady13 years ago 83956b4Minor problem with previous coverage checker patch fixedEdwin Brady13 years ago b8bba09Speed improvement for coverage checking Lots of repeated work in checking repeated clauses chopped out (there's more of this to come)Edwin Brady13 years ago faf04f3rename fO into fZraichoo13 years ago 2311d55rename O into Zraichoo13 years ago fa80591Fix let scope leakage bugEdwin Brady13 years ago c330406rename Data.Z into Data.ZZ to avoid name collisionsraichoo13 years ago 6f88ecdAdd syntax for transformation rules %transform lhs ==> rhs Unbound names on the lhs are treated as patterns. Transformation behaviour not yet implemented.Edwin Brady13 years ago adf646eChange default specialisation behaviour to not unfold namesEdwin Brady13 years ago 5dbafdcVarious logging tweaks Just altering some levels to get more useful debugging out of case block elaboration and coverage checkingEdwin Brady13 years ago 2a1c9d8LLVM test should return True if no flag is presentNiklas Larsson13 years ago ad66486Add %specialise annotation for functions (Part 1 of partial evaluation) %specialise [n1 t1, n2 t2 ...] as an annotation before a function type means that the r.h.s. of all the clauses will be evaluated, but with the name n1 reduced at most t1 times, etc. The t1 part is optional, and means unlimited (which is the default for all names at the minute anyway)Edwin Brady13 years ago 10c9385Merge pull request #417 from Ralith/bigint-shiftsEdwin Brady13 years ago 229070cMerge pull request #415 from Ralith/fix-bigint-divisionEdwin Brady13 years ago 783ef7cMerge pull request #414 from startling/for-ghciEdwin Brady13 years ago dd51bf7StrRev primitive tooBenjamin Saunders13 years ago a4325c0Left and arithmetic right shifts on big integers under LLVM codegenBenjamin Saunders13 years ago c2efaddAPPLY needs a catch all case for type constructors Normally, they get erased, but in case they haven't at compile time this ensures they are at run-time. It's safe just to return an erased term since it can't be inspected. Fixes #416 (This may mean something is wrong in erasure, or it may simply be that something is sufficiently higher order that the unused argument checker doesn't feel it is safe to erase.)Edwin Brady13 years ago 6b5cb4cFix interpreter implementation of signed operations on IntegerBenjamin Saunders13 years ago f93c0c0Added .ghci specifying language extensions.startling13 years ago e09950adefault case for hostDynamicLibExt.startling13 years ago 7427990Merge pull request #404 from Ralith/llvm-fixesEdwin Brady13 years ago a6e3f09Special case for displaying Type : Type 1 ...because people get the wrong impression about universes otherwise!Edwin Brady13 years ago 1c1ad77Fix LLVM codegen integer interconversion and integer <-> character primitivesBenjamin Saunders13 years ago 0b25ad1Change default Num typeclass to integer Fixes #391Edwin Brady13 years ago 4bd5a5bSmall coverage checker fix Need to generate possible cases by looking at the patterns, not by looking at the function type alone. Of course, this is what it was trying to do, but there was a mistake... Fixes #397Edwin Brady13 years ago c0ff0e8Fix type class index propagation bug ...which lead to implicit arguments not being spotted. Fixes #402Edwin Brady13 years ago 1d3486fMerge pull request #400 from JanBessai/JavaRTSOnMavenCentralEdwin Brady13 years ago 3b15bf7Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago b543b29Allow names to be attached to provisional definitions lhs ?= {name} rhs -- generates a lemma called 'name' which makes the types of the lhs and rhs match. {name} is optional - a unique name is generated if it is absent.Edwin Brady13 years ago 89caf4fMerge pull request #401 from Ralith/vector-type-completionEdwin Brady13 years ago fcb66caMerge pull request #399 from raichoo/vimEdwin Brady13 years ago 9376b73vim: catch user errorsraichoo13 years ago c404489Add primitive vector types to REPL autocompletionBenjamin Saunders13 years ago 5d5c613Remove java rts from idris.cabalJan Bessai13 years ago c5d5884Remove Java RTS build in favor of the version hosted on Maven CentralJan Bessai13 years ago 67445f5vim: catch more errors with syntasticraichoo13 years ago ba42979vim: added syntastic supportraichoo13 years ago f7c7a81Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 0b5bd21Merge pull request #398 from hannesm/ideslave-proverEdwin Brady13 years ago e5b36d8Merge pull request #396 from melted/usageEdwin Brady13 years ago