Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | The next batch of tests put up a little more st... | Paul Phillips | 2010-10-02 | 1 | -30/+0 |
| | | | | | | | | | | | | | | The next batch of tests put up a little more struggle, but only a little. See test/pending/pos/unappgadteval.scala (the changes for which were in the previous commit) for an example of a test which might be on to something. Any idea what it would take to get it working? // the key lines case i @ Suc() => { (y: Int) => y + 1 } // a = Int => Int case f @ Lam[b,c](x, e) => { (y: b) => eval(e, env.extend(x, y)) } // a = b=>c No review. | ||||
* | Moving currently problematic tests to pending. | Geoffrey Washburn | 2008-08-05 | 1 | -0/+30 |
| | |||||
* | moved from pending | michelou | 2006-12-13 | 1 | -22/+0 |
| | |||||
* | (no commit message) | michelou | 2006-12-13 | 1 | -4/+7 |
| | |||||
* | added test for already defined values | michelou | 2006-12-12 | 1 | -0/+19 |