summaryrefslogtreecommitdiff
path: root/test/pending/neg/scopes.check
Commit message (Collapse)AuthorAgeFilesLines
* The next batch of tests put up a little more st...Paul Phillips2010-10-021-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 Washburn2008-08-051-0/+30
|
* moved from pendingmichelou2006-12-131-22/+0
|
* (no commit message)michelou2006-12-131-4/+7
|
* added test for already defined valuesmichelou2006-12-121-0/+19