Permalink
Commits on Aug 23, 2011
  1. Fix refine bug

    Edwin Brady committed Aug 23, 2011
Commits on Aug 17, 2011
  1. Updated for GHC 7.2 (thanks to Sebastian Fischer)

    Edwin Brady committed Aug 17, 2011
Commits on Jul 7, 2011
  1. Fix unifier bug

    Edwin Brady committed Jul 7, 2011
Commits on May 25, 2011
  1. Linearity experiment

    Edwin Brady committed May 25, 2011
Commits on Apr 4, 2011
  1. Is there any more fail fail?

    Edwin Brady committed Apr 4, 2011
Commits on Mar 29, 2011
  1. Experimental forcing implementation

    Edwin Brady committed Mar 29, 2011
  2. More fail fail

    Edwin Brady committed Mar 29, 2011
Commits on Mar 28, 2011
  1. fail -> tacfail

    Edwin Brady committed Mar 28, 2011
Commits on Mar 7, 2011
Commits on Oct 17, 2010
Commits on Oct 16, 2010
  1. Added a match compiler (not yet used by the evaluator), deleted compi…

    …ler junk.
    Edwin Brady committed Oct 16, 2010
Commits on Sep 15, 2010
  1. Big speed improvements in evaluator. But really needs better substitu…

    …tion (NbE?)
    Edwin Brady committed Sep 15, 2010
  2. Switch evaluator for evalCtxt

    Edwin Brady committed Sep 15, 2010
Commits on Sep 6, 2010
  1. Another daft evaluator bug fixed

    Edwin Brady committed Sep 6, 2010
Commits on Aug 18, 2010
Commits on Jul 12, 2010
  1. Use new evaluator in type checker

    Edwin Brady committed Jul 12, 2010
Commits on Jun 30, 2010
  1. Tinkering with the evaluator (now much lazier)

    Edwin Brady committed Jun 30, 2010
Commits on May 13, 2010
  1. Separate TT more, lifting out Context and Evaluator

    Edwin Brady committed May 13, 2010
Commits on Apr 28, 2010
  1. Added SpecStatic option

    Ignore-this: c216ffd1754ede464d2c9c1fced0167
    
    darcs-hash:20100428110142-228f4-96b0c7d5193f78c80d25ae14d8b864c5f1ea0b39.gz
    eb committed Apr 28, 2010
Commits on Apr 16, 2010
  1. Correct nameType for constructors in patterns

    Ignore-this: 4a5ad8182107862a7bfab447948ab661
    
    darcs-hash:20100416205827-228f4-27d2dab9a71b4863d67efa80f731aa9c2d9c8d6d.gz
    eb committed Apr 16, 2010
Commits on Mar 23, 2010
  1. Some helpers for Idris

    Ignore-this: 73e53eeb853e51e4aeaa5a0aaf72c81e
    
    darcs-hash:20100323151200-228f4-348dee3d35ff46425e213f1b21c0af143b597ef3.gz
    eb committed Mar 23, 2010
Commits on Mar 10, 2010
  1. Remove rogue trace

    Ignore-this: ed25375970ccb61aff263fedbd497229
    
    darcs-hash:20100310121040-228f4-4bcc0b4b7f6292f70693e573849644eafeafc052.gz
    eb committed Mar 10, 2010
Commits on Feb 24, 2010
  1. Use cabal directory for prefix

    Ignore-this: e199b4a28cffd84641ea21471b18f55c
    
    darcs-hash:20100224143052-228f4-b044d8193b0308003fdf42515c765b2d8a21bcad.gz
    eb committed Feb 24, 2010
Commits on Feb 12, 2010
  1. Tinker with unification

    Ignore-this: 67d67602f23f4f98716b3a51b260bd1
    
    darcs-hash:20100212113838-228f4-fb5a49ec9be06837a9ec1c4ab4a465b356031183.gz
    eb committed Feb 12, 2010
Commits on Feb 11, 2010
  1. Fixed a unification bug and added eta to equality test on terms

    Ignore-this: 4eb72737b1f296457c8d7d9580eff42
    
    darcs-hash:20100211205059-228f4-3264f338ecd584dda495aebc8c395bbd4acefe3d.gz
    eb committed Feb 11, 2010
Commits on Feb 3, 2010
  1. Evaluate metavars

    Ignore-this: e4bd8a70cd79043eaaf043d0ab5dafc0
    
    darcs-hash:20100203191540-6ac22-d1e24b83b4b8258e9d0cdbf008b43d283f3a0c99.gz
    eb committed Feb 3, 2010
  2. Stared Overloading (not yet working...)

    Ignore-this: 4123a9094e5ec2299a7b210aa6f1f18f
    
    darcs-hash:20100203005015-228f4-683431db3e7b8ababcb3501313bfc9024c242094.gz
    eb committed Feb 3, 2010
Commits on Jan 19, 2010
  1. Added specialise option to pattern defs

    Ignore-this: c9a643ce1ca6b02f82f7b5bd367e6d9f
    
    darcs-hash:20100119142313-228f4-e62df8bf7a68dc44db3bb9b040cd82ed4eb99326.gz
    eb committed Jan 19, 2010
Commits on Dec 21, 2009
  1. Remove -fglasgow-exts

    Ignore-this: 116cbd57d6db320e1e6722da3f9451e6
    
    darcs-hash:20091221010416-228f4-8cc2817fd64e099986a8ae7ae7b78f971435fa49.gz
    eb committed Dec 21, 2009
  2. Update version number, for hackage uploade

    Ignore-this: 716382b571ea46a91db54de1a2a1c44d
    
    darcs-hash:20091221000005-228f4-79fe7c4ef10392d081236042caa642838d221502.gz
    eb committed Dec 21, 2009
Commits on Dec 19, 2009
  1. Record bound names in schemes

    Ignore-this: f9d77a794aab0be1addad47da5fce7c
    
    darcs-hash:20091219211504-228f4-a67a89852b7e2b392abcd9bd277acae14e505765.gz
    eb committed Dec 19, 2009
Commits on Dec 7, 2009
  1. Annotations in ViewTerm equality

    Ignore-this: 720315b2a11a2cef2d58264480a56b33
    
    darcs-hash:20091207124241-228f4-e0e80f23bae0364b26aa976e63aef71555d43b27.gz
    eb committed Dec 7, 2009
Commits on Dec 5, 2009
  1. Added some Data.Binary serialisation

    Ignore-this: adc172dedf31a663dba8b1c112461f5f
    
    darcs-hash:20091205182916-228f4-2ee4d78ecb870c21a4408cf09dddd796cc23cf71.gz
    eb committed Dec 5, 2009
Commits on Dec 2, 2009
  1. Tidy up names after evaluation

    Ignore-this: d0ef415ac79a3e169b2bdf85faa787d9
    
    darcs-hash:20091202000842-228f4-2f7b284244ab22deff601d008ac7376dd670e5cb.gz
    eb committed Dec 2, 2009
Commits on Dec 1, 2009
  1. Lifted values into Ivor.Values

    Ignore-this: 113e208abe741b2c41a0d755fd3f4081
    
    darcs-hash:20091201231205-228f4-4ddb4e70ed20d458ceb5907b6ed030462951a577.gz
    eb committed Dec 1, 2009