Commits on Oct 7, 2012
  1. @edwinb

    Deal 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)
    edwinb committed Oct 7, 2012
  2. @edwinb

    Added --dumpc flag

    edwinb committed Oct 7, 2012
  3. @edwinb
Commits on Oct 6, 2012
  1. @edwinb
Commits on Oct 5, 2012
  1. New datatype for defunctionalised programs

    ...so that we can't make something ill formed by accident
    Edwin Brady committed Oct 5, 2012
Commits on Oct 2, 2012
  1. Added test file for test014

    Edwin Brady committed Oct 2, 2012
Commits on Oct 1, 2012
  1. Minor parser fixes; added binary sample

    Edwin Brady committed Oct 2, 2012
Commits on Sep 29, 2012
  1. Report error for missing type declaration

    Edwin Brady committed Sep 29, 2012
  2. Fix resource language, add extra test for it

    Edwin Brady committed Sep 29, 2012
Commits on Sep 27, 2012
  1. Constructors don't need completely independent tags

    Edwin Brady committed Sep 27, 2012
Commits on Sep 26, 2012
  1. @edwinb

    Merge pull request #52 from raichoo/master

    initial parser cleanup
    edwinb committed Sep 26, 2012
  2. @raichoo

    satisfy hlint

    raichoo committed Sep 25, 2012
  3. @raichoo
Commits on Sep 25, 2012
  1. Install object files from packages

    Edwin Brady committed Sep 25, 2012
  2. Tweak Makefile (install checks too)

    Edwin Brady committed Sep 25, 2012
  3. Added simple library packaging system

    Now used for the prelude (see lib/base.ipkg)
    Edwin Brady committed Sep 25, 2012
  4. Move main setup code to Idris.REPL

    Edwin Brady committed Sep 25, 2012
Commits on Sep 24, 2012
  1. Added --libdir option

    Edwin Brady committed Sep 24, 2012
  2. Make getArgs work with new backend

    Edwin Brady committed Sep 24, 2012
Commits on Sep 23, 2012
  1. Fix with parsing bug

    Edwin Brady committed Sep 23, 2012
  2. @edwinb

    Merge pull request #51 from raichoo/master

    completed vim tool support
    edwinb committed Sep 23, 2012
  3. @raichoo

    added vim README

    raichoo committed Sep 23, 2012
  4. @raichoo

    added vim indent file

    raichoo committed Sep 23, 2012
  5. @raichoo

    added vim ftplugin

    raichoo committed Sep 23, 2012
  6. @raichoo

    added vim ftdetect

    raichoo committed Sep 23, 2012
  7. Speed 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 committed Sep 23, 2012
  8. Fix FLOATOP properly

    Edwin Brady committed Sep 23, 2012
  9. Fix floating point arithmetic code generation

    Edwin Brady committed Sep 23, 2012
  10. Small GC fix, and not for message passing

    Edwin Brady committed Sep 23, 2012
Commits on Sep 22, 2012
  1. Basic 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 committed Sep 22, 2012
  2. Added fork (but not working properly yet)

    Edwin Brady committed Sep 22, 2012
  3. @edwinb

    Merge pull request #50 from raichoo/master

    vim syntax highlighter
    edwinb committed Sep 22, 2012
Commits on Sep 21, 2012
  1. @raichoo
  2. Set up for adding new compiler back ends more easily

    Edwin Brady committed Sep 21, 2012