git.iko.soy/Idris-dev
on master help sign in
history of09f2abd..master
compare
8327dc9Trace unused arguments in the right place...Edwin Brady 28ecd81Erase unused arguments when compilingEdwin Brady b2f8c4cMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1865526Merge pull request #58 from raichoo/masterEdwin Brady f395de7simple arrowsraichoo 11dd660refactored vim indentationraichoo 49259a5Type class fix Chase parent class dependencies last (after looking for a directly defined instance)Edwin Brady fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady 6f54612Fix unification error that led to some trivial things not checkingEdwin Brady 3c641aeAdded --dumpdefuns flagEdwin Brady 9469ba8Show implicits on incomplete term errorEdwin Brady b894841Improve some error messagesEdwin Brady 5a6299bUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)Edwin Brady 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady 76442a7Better rendering of case trees in debug infoEdwin Brady 72d4d96Starting unused argument analysisEdwin Brady 6d7c9bcCall graph changeEdwin Brady 835b438Merge pull request #55 from raichoo/masterEdwin Brady 7cb5a60fix parsing for with-clauseraichoo 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin Brady 09857e4Created papers directoryEdwin Brady 0679225Tweak match compilation (right to left, rather than l to r) Now matches on values before indices, to give a chance of erasing indices.Edwin Brady 20d5a61Fix checking of argument lengthsEdwin 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 4ff3b25Added --dumpc flagEdwin Brady bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady a7adbdbFix cyclic universe checking bugEdwin Brady 783d45fNew datatype for defunctionalised programs ...so that we can't make something ill formed by accidentEdwin Brady bfa8cc2Added test file for test014Edwin Brady 611dd97Improve speed of type checking by spotting unification failure quickerEdwin Brady b74161fMinor parser fixes; added binary sampleEdwin Brady dde7fc3Report error for missing type declarationEdwin Brady 0de6d2dFix resource language, add extra test for itEdwin Brady 7b4fb2aConstructors don't need completely independent tagsEdwin Brady e88a135Merge pull request #52 from raichoo/masterEdwin Brady 4b1109esatisfy hlintraichoo 0306e49removed parsec compatibility layerraichoo 734a4daInstall object files from packagesEdwin Brady 4cec951Tweak Makefile (install checks too)Edwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 2832517Move main setup code to Idris.REPLEdwin Brady 7580119Added --libdir optionEdwin Brady 314246bMake getArgs work with new backendEdwin Brady 16027ddFix with parsing bugEdwin Brady 71a81d4Merge pull request #51 from raichoo/masterEdwin Brady ee056caadded vim READMEraichoo da7c06aadded vim indent fileraichoo 9fa4d58added vim ftpluginraichoo e7468a7added vim ftdetectraichoo 23ab26fSpeed improvements when code contains type errors Identify "unrecoverable" unification failures so that type checking doesn't continue to search all the alternative overloadings and orderings.Edwin Brady