git.iko.soy/Idris-dev
on b894841 help sign in
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 ef3aed2Fix FLOATOP properlyEdwin Brady 973e014Fix floating point arithmetic code generationEdwin Brady e2587d5Small GC fix, and not for message passingEdwin Brady 3b27284Basic concurrency now working (But with an almighty hack that I don't understand... calling usleep after creating a thread appears necessary otherwise a bus error occurs seemingly non-deterministically)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2303235Merge pull request #50 from raichoo/masterEdwin Brady 758ce70added vim syntax highlighter to tool-supportraichoo 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 2533b8dAdd missing fileEdwin Brady 34e8788Added Util.System for compatibility (thanks to Dirk Ullrich)Edwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady