git.iko.soy/Idris-dev
on 8063cfd help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady 72d4d96Starting unused argument analysisEdwin Brady 6d7c9bcCall graph changeEdwin Brady 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin 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 dde7fc3Report error for missing type declarationEdwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 7580119Added --libdir optionEdwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady ef1d7baMerge pull request #48 from raichoo/masterEdwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady b642db5Almost working new back endEdwin Brady 7f2d76cenhanced proof handelingraichoo b8815e2added proof listraichoo 7c75851Test file for new VM, hook up parserEdwin Brady 848a597Lift syntax tree, main monad and pretty printing out of AbsSyntaxEdwin Brady