summaryrefslogtreecommitdiff
path: root/test/files/neg/bug415.check
Commit message (Expand)AuthorAgeFilesLines
* added colonBurak Emir2007-01-071-1/+1
* updated tests.Martin Odersky2006-12-011-8/+4
* fixed bugs 54, 415Martin Odersky2006-10-301-4/+8
* simplified printing of refinement types -- no m...Martin Odersky2006-09-221-1/+2
* fixed several old bugsMartin Odersky2006-03-311-0/+4