summaryrefslogtreecommitdiff
path: root/test/pending/pos/bug112606B.scala
Commit message (Collapse)AuthorAgeFilesLines
* The next batch of tests put up a little more st...Paul Phillips2010-10-021-11/+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.
* Files related to bug reportsSean McDirmid2006-11-261-0/+11