Skip to content
Commits on Dec 1, 2009
  1. Unification/evaluation fixes

    Ignore-this: 3dda0d38e235f3c514d85ee67bf42c98
    
    darcs-hash:20091201195351-228f4-253f99d07686fc7c3537b6860b287325de9b63d9.gz
    eb committed Dec 1, 2009
Commits on Nov 28, 2009
  1. Only add names once in pattern bindings

    Ignore-this: b115c0b3e8c0ded86d9060c0121cd4c8
    Inference will make sure they really do have the same values/types
    
    darcs-hash:20091128133801-228f4-8039917b6df392dd7e97e24e645058de2cbd29cc.gz
    eb committed Nov 28, 2009
Commits on Nov 25, 2009
  1. Check that names which need to be inferred actually are

    Ignore-this: 2cdd4a5cbe364d3f1d714e0d0d2f1eb5
    
    darcs-hash:20091125135805-228f4-02703f6120dab6edb7079e76a503fba02f624134.gz
    eb committed Nov 25, 2009
Commits on Nov 20, 2009
  1. Evaluator improvements

    Ignore-this: 4828fa621c2441009d525ab0a59a9bea
    Guaranteed unique names when unloading binders, at the expense of them being
    ugly. Also added counter to allow functions to be expanded a maximum number
    of times (handy for partial evaluation).
    
    darcs-hash:20091120142909-228f4-92e24516c8abd3c167b4f9114600b717de3b684f.gz
    eb committed Nov 20, 2009
Commits on Sep 24, 2009
  1. Add eval_nf_limit (but not quite right yet)

    Ignore-this: 98dc4523962a7ef98b65c978756a61f0
    
    darcs-hash:20090924114203-228f4-6f826185bb8fe4a7ee132a1c3d4c29f7834888d2.gz
    eb committed Sep 24, 2009
Commits on Sep 22, 2009
  1. Added transform and eval_without

    Ignore-this: d7b55127d24ea70da48b86b4180c9e3c
    
    darcs-hash:20090922145137-228f4-9cd4a1d993e7e34b036e1eaff389bcf926cadf1f.gz
    eb committed Sep 22, 2009
Commits on Sep 6, 2009
  1. Record whether match defs are machine generated (e.g. by with)

    Ignore-this: dcdf79feefcfbfaf91286d24d8c9aa39
    
    darcs-hash:20090906153435-228f4-23576254ae194f09c0cd03e4de667b2fd1770695.gz
    eb committed Sep 6, 2009
Commits on Sep 2, 2009
  1. Make equality proof generation in with rule optional

    Ignore-this: a9639836cc96754b2fbad9a15c9893b2
    
    darcs-hash:20090902145525-228f4-1451f93137a0951e5c93e2d35bb7b0bb0393cd11.gz
    eb committed Sep 2, 2009
  2. Added equality proofs to with clauses

    Ignore-this: 97134950e5b4a506f38340895606ecd5
    
    darcs-hash:20090902112355-228f4-cd8f322df3bfcdce0a90f1a6eacf8dc3c7a40982.gz
    eb committed Sep 2, 2009
Commits on Aug 10, 2009
  1. Another unification fix

    Ignore-this: c15a15a00d9ed5618e4c44f2c4731272
    
    darcs-hash:20090810121841-228f4-2a1ab82df621fec172460f96bc85a338d3a24ffd.gz
    eb committed Aug 10, 2009
Commits on Jul 28, 2009
  1. Fixed checkAndBindWith like checkAndBindPair

    Ignore-this: b57ebce685510a08161ed97bb25ef46f
    
    darcs-hash:20090728013936-228f4-266f1b22ab51a976597d12e30ae33ca83aa16d9e.gz
    eb committed Jul 28, 2009
Commits on Jul 27, 2009
  1. Slightly more helpful error message in doConversion

    Ignore-this: 9c8cbca3678075f9e950584a6a8a3d78
    
    darcs-hash:20090727211620-228f4-492e24a05047d2e0a8128405d6398dad524da8ba.gz
    eb committed Jul 27, 2009
  2. Better resolving of implicit args on LHS

    Ignore-this: 6bb47354c10750a257a4e5e043720e5c
    
    darcs-hash:20090727211109-228f4-5f4c9020cc23dac40648984b32b4596fb67710bd.gz
    eb committed Jul 27, 2009
  3. Unification fiddle

    Ignore-this: 56418da3d6c18082c51405859dac7d70
    Unifying \x. A x with B reduces to unifying A with B
    
    darcs-hash:20090727175627-228f4-55270ac393c53a300e40802e83be80ff1a0b14a7.gz
    eb committed Jul 27, 2009
  4. Fixed evaluation under binders

    Ignore-this: 38101a08c6a6a83defea342679056aa3
    
    darcs-hash:20090727110432-228f4-06a5afa9857c4b60b90198c429de4b5d66743a8a.gz
    eb committed Jul 27, 2009
  5. Work on new evaluator

    Ignore-this: 7b7e3396c929b39f32f94d9ecaef9a65
    
    darcs-hash:20090727015601-228f4-680c21fc8b52b6262bd36d6d732fad9fff765fa1.gz
    eb committed Jul 27, 2009
  6. Induction normalises the target first

    Ignore-this: 63cf0f91daa0a1e85f1ac8bb44e78ba5
    
    darcs-hash:20090727011757-228f4-c84267185e0ab255630585930bf85534c43d5202.gz
    eb committed Jul 27, 2009
Commits on Jul 19, 2009
  1. Add NoSuchVar error, update version

    Ignore-this: 9e5967425d1f06ed689a2616a5d57345
    
    darcs-hash:20090719141245-228f4-7c544e9c27cf30e676bea6c4d559d36b7265d59f.gz
    eb committed Jul 19, 2009
Commits on Jul 16, 2009
  1. Added annotations for line numbers

    Ignore-this: bff7078430406638c770d5f5fc3aa49
    
    darcs-hash:20090716135417-228f4-5dd2fc54743b368249d0080ce7c229ed2800be09.gz
    eb committed Jul 16, 2009
Commits on Jul 15, 2009
  1. Changed internal errors from String to IError

    Ignore-this: 3559f070d67c06b258cde572c911e867
    
    darcs-hash:20090715153049-228f4-9aaabe19ec23aa60f1445fb18c5acd244944ccc9.gz
    eb committed Jul 15, 2009
  2. Changed interface - TTM instead of Monad m

    Ignore-this: 30f319d362597da8d0f1a03e55efae5d
    
    darcs-hash:20090715114435-228f4-43595a0b748de9abd104a3103aea373d9fa4d21a.gz
    eb committed Jul 15, 2009
Commits on Jul 11, 2009
  1. Disposed of a rogue 'trace'

    Ignore-this: 166dc2d1c2a5a119b965e4cf5001507e
    
    darcs-hash:20090711135431-228f4-83796d0536bae9d383485d97d5b8ce15a16f954e.gz
    eb committed Jul 11, 2009
  2. Change error message

    Ignore-this: 593cdb3530d4476f8af8b29737a4bd77
    
    darcs-hash:20090711135320-228f4-cd16cd3ecbfcce92b0f1416cf150c2fe9b251cf7.gz
    eb committed Jul 11, 2009
Commits on Jul 9, 2009
  1. Fixed some bugs with with

    Ignore-this: 43178c2913fc42904be3c7c232386cef
    
    darcs-hash:20090709150825-228f4-7bc905ca58b61d413eb20eb9695ee965a615fded.gz
    eb committed Jul 9, 2009
  2. First stab at the 'with' rule

    Ignore-this: cebc7f77c329e99f477924d6b0296912
    
    darcs-hash:20090709141657-228f4-37e6c3e9968bb1ccd93ac08f076b194af57d4b24.gz
    eb committed Jul 9, 2009
Commits on May 8, 2009
  1. Record pattern match totality

    darcs-hash:20090508092327-228f4-a8c751c08d3187e50a14cf3d9e19bbe047971efd.gz
    eb committed May 8, 2009
Commits on Mar 5, 2009
  1. Use 'Just' rather than 'just'

    darcs-hash:20090305165807-228f4-c8a1925586f490e4f69d2a057985915717a480fa.gz
    eb committed Mar 5, 2009
Commits on Feb 28, 2009
  1. Added getAllInductives

    darcs-hash:20090228195206-228f4-fb8ad57a6929a01659abe8eb4094ce9860f69513.gz
    eb committed Feb 28, 2009
Commits on Dec 18, 2008
  1. Remove some 'trace'

    darcs-hash:20081218233409-228f4-ed60eaa7f2a0ff0b2135a9037b3f1fd6f356a4d8.gz
    eb committed Dec 18, 2008
Commits on Dec 17, 2008
  1. Need to pToV when making metavariables

    or we get name clashes, and the typechecker gets confused when resolving names
    
    darcs-hash:20081217140825-228f4-2381e9de2db166d4b25a0c59180baaf8425005f2.gz
    eb committed Dec 17, 2008
Commits on Nov 2, 2008
  1. Fix name generation in new evaluator

    darcs-hash:20081102153706-228f4-0ea69419ac95e36f75a251d84233b4248d0e314e.gz
    eb committed Nov 2, 2008
Commits on Jul 9, 2008
  1. Release script finds docs in the right place

    darcs-hash:20080709124421-974a0-bf7bb25f44acc1862382aa8f9999cb13a4057ba6.gz
    eb committed Jul 9, 2008
  2. Fix haddock and release script errors

    darcs-hash:20080709123925-974a0-414eed3735f822627eecc7e7ca5ea58a19126ce7.gz
    eb committed Jul 9, 2008
  3. Update version

    darcs-hash:20080709122830-974a0-9c0f123d7d7fb22e7d7b7f12fed31ffa0e398184.gz
    eb committed Jul 9, 2008
  4. Fix expected type when checking binders - it's only legitimate for let

    Also some elaboriation of internal error messages.
    
    darcs-hash:20080709014007-228f4-30a733e18b523e96e589fc79c6a0cc3b845a40df.gz
    eb committed Jul 9, 2008
Something went wrong with that request. Please try again.