git.iko.soy/Idris-dev
on aa7262e help sign in
history ofidris.cabal
all commits
fab5d73Adding support for Windows MingW32chetant bbe9dc1Minor fixes for inlining and integer literalsEdwin Brady f855d0fFix a few missing module referencesBenjamin Saunders 0b3b0b5Display useful information on :doc (It's ugly though...)Edwin Brady 2a536ecmoved morphisms to lib/Dataraichoo b641ec8Correct cabal fileEdwin Brady 2541a16No need to store original patternsEdwin Brady 9b9d316Add lower bound for HaskelineEdwin Brady a41fe5bUse strict StateTJason Dagit 991ee91Merge branch 'lib' of https://github.com/raichoo/Idris-devEdwin Brady 5c9a88auppercase modulenamesraichoo bf8685eSeparate "productive" and "total" in totality checker Productive can call Total, but not vice versa. This is still a temporary solution - don't rely on anything yet!Edwin Brady 72d4d96Starting unused argument analysisEdwin 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 bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 34e8788Added Util.System for compatibility (thanks to Dirk Ullrich)Edwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady 79e6bf7Set up C generatorEdwin Brady b70780frename rts include fileEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady 9b1587bAdd IRTS/BytecodeEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady c30e6ceNo need to qualify unambiguous names on :pEdwin Brady 848a597Lift syntax tree, main monad and pretty printing out of AbsSyntaxEdwin Brady 59d07f7Quicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.Edwin Brady fa0ecdeStarted C generationEdwin Brady 11a8847Add PreC, for an imperative intermediate form that should be easy to generate code fromEdwin Brady 109b291Different approach to bytecodeEdwin Brady 38a9365More towards the new compilerEdwin Brady ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady e7906baAdded support/ directory so that library can use C support filesEdwin Brady 067f4faUtil.Pretty missingEdwin Brady 2ba8712Merge branches 'improved-pretty-printing' and 'master'Dominic Mulligan a94fd81Remove Eq constraint from NumEdwin Brady 8c64e9cGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!Dominic Mulligan f355c72Update dependencies and correct examplesEdwin Brady c666be8Added prim__bigIntToInt (needs latest EpiVM)Edwin Brady 09f2abdFix let overloading bug with do blocksEdwin Brady 5399670Some documentation updatesEdwin Brady 8baaa42Error message tinkerEdwin Brady dc3f0f9added dsl blocksEdwin Brady 3b13341Better error reporting for unresolved type classesEdwin Brady 6e699c7Add Transform module; make implicit args lazyEdwin Brady