diff options
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/bug1106.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug1112.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug1224.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug1364.check | 5 | ||||
-rw-r--r-- | test/files/neg/bug1623.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug1838.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug1845.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug1909b.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug200.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug2144.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug2275a.check | 13 | ||||
-rw-r--r-- | test/files/neg/bug2275b.check | 10 | ||||
-rw-r--r-- | test/files/neg/bug2441.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug284.check | 8 | ||||
-rw-r--r-- | test/files/neg/bug3209.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug3240.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug343.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug3736.check | 16 | ||||
-rw-r--r-- | test/files/neg/bug3909.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug3913.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug4069.check | 16 | ||||
-rw-r--r-- | test/files/neg/bug4217.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug4419.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug464-neg.check | 16 | ||||
-rw-r--r-- | test/files/neg/bug473.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug500.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug510.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug521.check | 15 | ||||
-rw-r--r-- | test/files/neg/bug545.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug550.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug585.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug593.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug631.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug639.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug649.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug664.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug693.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug700.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug715.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug798.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug800.check | 13 | ||||
-rw-r--r-- | test/files/neg/bug845.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug882.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug908.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug935.check | 7 | ||||
-rw-r--r-- | test/files/neg/bug944.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug961.check | 4 | ||||
-rw-r--r-- | test/files/neg/t0418.check (renamed from test/files/neg/bug418.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t0418.scala (renamed from test/files/neg/bug0418.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1010.check (renamed from test/files/neg/bug1010.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1010.scala (renamed from test/files/neg/bug1010.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1011.check (renamed from test/files/neg/bug1011.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1011.scala (renamed from test/files/neg/bug1011.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1017.check (renamed from test/files/neg/bug1017.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1017.scala (renamed from test/files/neg/bug1017.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1038.check (renamed from test/files/neg/bug1038.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1038.scala (renamed from test/files/neg/bug1038.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1041.check (renamed from test/files/neg/bug1041.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1041.scala (renamed from test/files/neg/bug1041.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1106.check | 7 | ||||
-rw-r--r-- | test/files/neg/t1106.scala (renamed from test/files/neg/bug1106.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1112.check | 4 | ||||
-rw-r--r-- | test/files/neg/t1112.scala (renamed from test/files/neg/bug1112.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t112706A.check (renamed from test/files/neg/bug112706A.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t112706A.scala (renamed from test/files/neg/bug112706A.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1181.check (renamed from test/files/neg/bug1181.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1181.scala (renamed from test/files/neg/bug1181.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1183.check (renamed from test/files/neg/bug1183.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t1183.scala (renamed from test/files/neg/bug1183.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1224.check | 4 | ||||
-rw-r--r-- | test/files/neg/t1224.scala (renamed from test/files/neg/bug1224.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1241.check (renamed from test/files/neg/bug1241.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1241.scala (renamed from test/files/neg/bug1241.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1275.check (renamed from test/files/neg/bug1275.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1275.scala (renamed from test/files/neg/bug1275.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1286.check (renamed from test/files/neg/bug1286.check) | 0 | ||||
-rw-r--r-- | test/files/neg/t1286/a.scala (renamed from test/files/neg/bug1286/a.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1286/b.scala (renamed from test/files/neg/bug1286/b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1364.check | 5 | ||||
-rw-r--r-- | test/files/neg/t1364.scala (renamed from test/files/neg/bug1364.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1431.check (renamed from test/files/neg/bug1431.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1431.scala (renamed from test/files/neg/bug1431.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1432.check (renamed from test/files/neg/bug1432.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1432.scala (renamed from test/files/neg/bug1432.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1523.check (renamed from test/files/neg/bug1523.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1523.scala (renamed from test/files/neg/bug1523.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1548.check (renamed from test/files/neg/bug1548.check) | 0 | ||||
-rw-r--r-- | test/files/neg/t1548/J.java (renamed from test/files/neg/bug1548/J.java) | 0 | ||||
-rw-r--r-- | test/files/neg/t1548/S.scala (renamed from test/files/neg/bug1548/S.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1623.check | 4 | ||||
-rw-r--r-- | test/files/neg/t1623.scala (renamed from test/files/neg/bug1623.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1838.check | 7 | ||||
-rw-r--r-- | test/files/neg/t1838.scala (renamed from test/files/neg/bug1838.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1845.check | 4 | ||||
-rw-r--r-- | test/files/neg/t1845.scala (renamed from test/files/neg/bug1845.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1872.check (renamed from test/files/neg/bug1872.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1872.scala (renamed from test/files/neg/bug1872.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1878.check (renamed from test/files/neg/bug1878.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t1878.scala (renamed from test/files/neg/bug1878.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1909b.check | 4 | ||||
-rw-r--r-- | test/files/neg/t1909b.scala (renamed from test/files/neg/bug1909b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t1960.check (renamed from test/files/neg/bug1960.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t1960.scala (renamed from test/files/neg/bug1960.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t200.check | 4 | ||||
-rw-r--r-- | test/files/neg/t200.scala (renamed from test/files/neg/bug200.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2102.check (renamed from test/files/neg/bug2102.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t2102.scala (renamed from test/files/neg/bug2102.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2144.check | 4 | ||||
-rw-r--r-- | test/files/neg/t2144.scala (renamed from test/files/neg/bug2144.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2148.check (renamed from test/files/neg/bug2148.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t2148.scala (renamed from test/files/neg/bug2148.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2206.check (renamed from test/files/neg/bug2206.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t2206.scala (renamed from test/files/neg/bug2206.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2213.check (renamed from test/files/neg/bug2213.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t2213.scala (renamed from test/files/neg/bug2213.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2275a.check | 13 | ||||
-rw-r--r-- | test/files/neg/t2275a.scala (renamed from test/files/neg/bug2275a.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2275b.check | 10 | ||||
-rw-r--r-- | test/files/neg/t2275b.scala (renamed from test/files/neg/bug2275b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2388.check (renamed from test/files/neg/bug2388.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t2388.scala (renamed from test/files/neg/bug2388.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t2441.check | 4 | ||||
-rw-r--r-- | test/files/neg/t2441.scala (renamed from test/files/neg/bug2441.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t276.check (renamed from test/files/neg/bug276.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t276.scala (renamed from test/files/neg/bug276.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t278.check (renamed from test/files/neg/bug278.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t278.scala (renamed from test/files/neg/bug278.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t284.check | 8 | ||||
-rw-r--r-- | test/files/neg/t284.scala (renamed from test/files/neg/bug284.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3098.check (renamed from test/files/neg/bug3098.check) | 0 | ||||
-rw-r--r-- | test/files/neg/t3098.flags (renamed from test/files/neg/bug3098.flags) | 0 | ||||
-rw-r--r-- | test/files/neg/t3098/a.scala (renamed from test/files/neg/bug3098/a.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3098/b.scala (renamed from test/files/neg/bug3098/b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3209.check | 4 | ||||
-rw-r--r-- | test/files/neg/t3209.scala (renamed from test/files/neg/bug3209.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3240.check | 7 | ||||
-rw-r--r-- | test/files/neg/t3240.scala (renamed from test/files/neg/bug3240.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3392.check (renamed from test/files/neg/bug3392.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t3392.scala (renamed from test/files/neg/bug3392.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t343.check | 4 | ||||
-rw-r--r-- | test/files/neg/t343.scala (renamed from test/files/neg/bug343.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3631.check (renamed from test/files/neg/bug3631.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t3631.scala (renamed from test/files/neg/bug3631.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3683a.check (renamed from test/files/neg/bug3683a.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t3683a.flags (renamed from test/files/neg/bug3683a.flags) | 0 | ||||
-rw-r--r-- | test/files/neg/t3683a.scala (renamed from test/files/neg/bug3683a.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3683b.check (renamed from test/files/neg/bug3683b.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t3683b.scala (renamed from test/files/neg/bug3683b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3714-neg.check (renamed from test/files/neg/bug3714-neg.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t3714-neg.scala (renamed from test/files/neg/bug3714-neg.scala) | 2 | ||||
-rw-r--r-- | test/files/neg/t3736.check | 16 | ||||
-rw-r--r-- | test/files/neg/t3736.scala (renamed from test/files/neg/bug3736.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3909.check | 4 | ||||
-rw-r--r-- | test/files/neg/t3909.scala (renamed from test/files/neg/bug3909.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t391.check (renamed from test/files/neg/bug391.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t391.scala (renamed from test/files/neg/bug391.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t3913.check | 4 | ||||
-rw-r--r-- | test/files/neg/t3913.scala (renamed from test/files/neg/bug3913.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4069.check | 16 | ||||
-rw-r--r-- | test/files/neg/t4069.scala (renamed from test/files/neg/bug4069.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t409.check (renamed from test/files/neg/bug409.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t409.scala (renamed from test/files/neg/bug409.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t412.check (renamed from test/files/neg/bug412.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t412.scala (renamed from test/files/neg/bug412.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t414.check (renamed from test/files/neg/bug414.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t414.scala (renamed from test/files/neg/bug414.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4158.check (renamed from test/files/neg/bug4158.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t4158.scala (renamed from test/files/neg/bug4158.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4166.check (renamed from test/files/neg/bug4166.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4166.scala (renamed from test/files/neg/bug4166.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4174.check (renamed from test/files/neg/bug4174.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4174.scala (renamed from test/files/neg/bug4174.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t418.check (renamed from test/files/neg/bug0418.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t418.scala (renamed from test/files/neg/bug418.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4196.check (renamed from test/files/neg/bug4196.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4196.scala (renamed from test/files/neg/bug4196.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t421.check (renamed from test/files/neg/bug421.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t421.scala (renamed from test/files/neg/bug421.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4217.check | 4 | ||||
-rw-r--r-- | test/files/neg/t4217.scala (renamed from test/files/neg/bug4217.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4221.check (renamed from test/files/neg/bug4221.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4221.scala (renamed from test/files/neg/bug4221.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4302.check (renamed from test/files/neg/bug4302.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4302.flags (renamed from test/files/neg/bug4302.flags) | 0 | ||||
-rw-r--r-- | test/files/neg/t4302.scala (renamed from test/files/neg/bug4302.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4419.check | 4 | ||||
-rw-r--r-- | test/files/neg/t4419.scala (renamed from test/files/neg/bug4419.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t452.check (renamed from test/files/neg/bug452.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t452.scala (renamed from test/files/neg/bug452.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4537.check (renamed from test/files/neg/bug4537.check) | 0 | ||||
-rw-r--r-- | test/files/neg/t4537/a.scala (renamed from test/files/neg/bug4537/a.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4537/b.scala (renamed from test/files/neg/bug4537/b.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4537/c.scala (renamed from test/files/neg/bug4537/c.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4584.check (renamed from test/files/neg/bug4584.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4584.scala (renamed from test/files/neg/bug4584.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t464-neg.check | 16 | ||||
-rw-r--r-- | test/files/neg/t464-neg.scala (renamed from test/files/neg/bug464-neg.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4727.check (renamed from test/files/neg/bug4727.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4727.scala (renamed from test/files/neg/bug4727.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t473.check | 4 | ||||
-rw-r--r-- | test/files/neg/t473.scala (renamed from test/files/neg/bug473.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4851.check (renamed from test/files/neg/bug4851.check) | 0 | ||||
-rw-r--r-- | test/files/neg/t4851.flags (renamed from test/files/neg/bug4851.flags) | 0 | ||||
-rw-r--r-- | test/files/neg/t4851/J.java (renamed from test/files/neg/bug4851/J.java) | 0 | ||||
-rw-r--r-- | test/files/neg/t4851/J2.java (renamed from test/files/neg/bug4851/J2.java) | 0 | ||||
-rw-r--r-- | test/files/neg/t4851/S.scala (renamed from test/files/neg/bug4851/S.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4877.check (renamed from test/files/neg/bug4877.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t4877.flags (renamed from test/files/neg/bug4877.flags) | 0 | ||||
-rw-r--r-- | test/files/neg/t4877.scala (renamed from test/files/neg/bug4877.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4879.check (renamed from test/files/neg/bug4879.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t4879.scala (renamed from test/files/neg/bug4879.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t4882.check (renamed from test/files/neg/bug4882.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t4882.scala (renamed from test/files/neg/bug4882.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t500.check | 4 | ||||
-rw-r--r-- | test/files/neg/t500.scala (renamed from test/files/neg/bug500.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t501.check (renamed from test/files/neg/bug501.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t501.scala (renamed from test/files/neg/bug501.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t510.check | 4 | ||||
-rw-r--r-- | test/files/neg/t510.scala (renamed from test/files/neg/bug510.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t512.check (renamed from test/files/neg/bug512.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t512.scala (renamed from test/files/neg/bug512.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t515.check (renamed from test/files/neg/bug515.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t515.scala (renamed from test/files/neg/bug515.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t520.check (renamed from test/files/neg/bug520.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t520.scala (renamed from test/files/neg/bug520.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t521.check | 15 | ||||
-rw-r--r-- | test/files/neg/t521.scala (renamed from test/files/neg/bug521.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t545.check | 7 | ||||
-rw-r--r-- | test/files/neg/t545.scala (renamed from test/files/neg/bug545.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t550.check | 7 | ||||
-rw-r--r-- | test/files/neg/t550.scala (renamed from test/files/neg/bug550.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t556.check (renamed from test/files/neg/bug556.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t556.scala (renamed from test/files/neg/bug556.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t558.check (renamed from test/files/neg/bug558.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t558.scala (renamed from test/files/neg/bug558.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t562.check (renamed from test/files/neg/bug562.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t562.scala (renamed from test/files/neg/bug562.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t563.check (renamed from test/files/neg/bug563.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t563.scala (renamed from test/files/neg/bug563.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t565.check (renamed from test/files/neg/bug565.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t565.scala (renamed from test/files/neg/bug565.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t576.check (renamed from test/files/neg/bug576.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t576.scala (renamed from test/files/neg/bug576.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t585.check | 4 | ||||
-rw-r--r-- | test/files/neg/t585.scala (renamed from test/files/neg/bug585.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t588.check (renamed from test/files/neg/bug588.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t588.scala (renamed from test/files/neg/bug588.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t591.check (renamed from test/files/neg/bug591.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t591.scala (renamed from test/files/neg/bug591.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t593.check | 4 | ||||
-rw-r--r-- | test/files/neg/t593.scala (renamed from test/files/neg/bug593.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t608.check (renamed from test/files/neg/bug608.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t608.scala (renamed from test/files/neg/bug608.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t630.check (renamed from test/files/neg/bug630.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t630.scala (renamed from test/files/neg/bug630.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t631.check | 4 | ||||
-rw-r--r-- | test/files/neg/t631.scala (renamed from test/files/neg/bug631.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t633.check (renamed from test/files/neg/bug633.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t633.scala (renamed from test/files/neg/bug633.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t639.check | 4 | ||||
-rw-r--r-- | test/files/neg/t639.scala (renamed from test/files/neg/bug639.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t649.check | 4 | ||||
-rw-r--r-- | test/files/neg/t649.scala (renamed from test/files/neg/bug649.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t650.check (renamed from test/files/neg/bug650.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t650.scala (renamed from test/files/neg/bug650.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t663.check (renamed from test/files/neg/bug663.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t663.scala (renamed from test/files/neg/bug663.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t664.check | 7 | ||||
-rw-r--r-- | test/files/neg/t664.scala (renamed from test/files/neg/bug664.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t667.check (renamed from test/files/neg/bug667.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t667.scala (renamed from test/files/neg/bug667.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t668.check (renamed from test/files/neg/bug668.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t668.scala (renamed from test/files/neg/bug668.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t677.check (renamed from test/files/neg/bug677.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t677.scala (renamed from test/files/neg/bug677.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t691.check (renamed from test/files/neg/bug691.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t691.scala (renamed from test/files/neg/bug691.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t692.check (renamed from test/files/neg/bug692.check) | 14 | ||||
-rw-r--r-- | test/files/neg/t692.scala (renamed from test/files/neg/bug692.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t693.check | 4 | ||||
-rw-r--r-- | test/files/neg/t693.scala (renamed from test/files/neg/bug693.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t696.check (renamed from test/files/neg/bug696.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t696.scala (renamed from test/files/neg/bug696.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t700.check | 4 | ||||
-rw-r--r-- | test/files/neg/t700.scala (renamed from test/files/neg/bug700.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t708.check (renamed from test/files/neg/bug708.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t708.scala (renamed from test/files/neg/bug708.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t712.check (renamed from test/files/neg/bug712.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t712.scala (renamed from test/files/neg/bug712.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t715.check | 4 | ||||
-rw-r--r-- | test/files/neg/t715.scala (renamed from test/files/neg/bug715.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t729.check (renamed from test/files/neg/bug729.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t729.scala (renamed from test/files/neg/bug729.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t752.check (renamed from test/files/neg/bug752.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t752.scala (renamed from test/files/neg/bug752.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t765.check (renamed from test/files/neg/bug765.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t765.scala (renamed from test/files/neg/bug765.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t766.check (renamed from test/files/neg/bug766.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t766.scala (renamed from test/files/neg/bug766.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t779.check (renamed from test/files/neg/bug779.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t779.scala (renamed from test/files/neg/bug779.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t783.check (renamed from test/files/neg/bug783.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t783.scala (renamed from test/files/neg/bug783.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t798.check | 4 | ||||
-rw-r--r-- | test/files/neg/t798.scala (renamed from test/files/neg/bug798.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t800.check | 13 | ||||
-rw-r--r-- | test/files/neg/t800.scala (renamed from test/files/neg/bug800.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t835.check (renamed from test/files/neg/bug835.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t835.scala (renamed from test/files/neg/bug835.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t836.check (renamed from test/files/neg/bug836.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t836.scala (renamed from test/files/neg/bug836.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t845.check | 4 | ||||
-rw-r--r-- | test/files/neg/t845.scala (renamed from test/files/neg/bug845.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t846.check (renamed from test/files/neg/bug846.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t846.scala (renamed from test/files/neg/bug846.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t856.check (renamed from test/files/neg/bug856.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t856.scala (renamed from test/files/neg/bug856.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t875.check (renamed from test/files/neg/bug875.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t875.scala (renamed from test/files/neg/bug875.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t876.check (renamed from test/files/neg/bug876.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t876.scala (renamed from test/files/neg/bug876.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t877.check (renamed from test/files/neg/bug877.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t877.scala (renamed from test/files/neg/bug877.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t882.check | 4 | ||||
-rw-r--r-- | test/files/neg/t882.scala (renamed from test/files/neg/bug882.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t900.check (renamed from test/files/neg/bug900.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t900.scala (renamed from test/files/neg/bug900.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t908.check | 4 | ||||
-rw-r--r-- | test/files/neg/t908.scala (renamed from test/files/neg/bug908.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t909.check (renamed from test/files/neg/bug909.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t909.scala (renamed from test/files/neg/bug909.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t910.check (renamed from test/files/neg/bug910.check) | 2 | ||||
-rw-r--r-- | test/files/neg/t910.scala (renamed from test/files/neg/bug910.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t935.check | 7 | ||||
-rw-r--r-- | test/files/neg/t935.scala (renamed from test/files/neg/bug935.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t944.check | 4 | ||||
-rw-r--r-- | test/files/neg/t944.scala (renamed from test/files/neg/bug944.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t960.check (renamed from test/files/neg/bug960.check) | 4 | ||||
-rw-r--r-- | test/files/neg/t960.scala (renamed from test/files/neg/bug960.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t961.check | 4 | ||||
-rw-r--r-- | test/files/neg/t961.scala (renamed from test/files/neg/bug961.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t987.check (renamed from test/files/neg/bug987.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t987.scala (renamed from test/files/neg/bug987.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/t997.check (renamed from test/files/neg/bug997.check) | 8 | ||||
-rw-r--r-- | test/files/neg/t997.scala (renamed from test/files/neg/bug997.scala) | 0 | ||||
-rw-r--r-- | test/files/neg/tcpoly_override.scala | 2 |
346 files changed, 417 insertions, 417 deletions
diff --git a/test/files/neg/bug1106.check b/test/files/neg/bug1106.check deleted file mode 100644 index 3fa595abf1..0000000000 --- a/test/files/neg/bug1106.check +++ /dev/null @@ -1,7 +0,0 @@ -bug1106.scala:2: error: expected class or object definition -val p = new Par[String] -^ -bug1106.scala:5: error: expected class or object definition -new Foo[p.type](p) // crashes compiler -^ -two errors found diff --git a/test/files/neg/bug1112.check b/test/files/neg/bug1112.check deleted file mode 100644 index d94dba9448..0000000000 --- a/test/files/neg/bug1112.check +++ /dev/null @@ -1,4 +0,0 @@ -bug1112.scala:12: error: too many arguments for method call: (p: Int)(f: => () => Unit)Unit - call(0,() => System.out.println("here we are")) - ^ -one error found diff --git a/test/files/neg/bug1224.check b/test/files/neg/bug1224.check deleted file mode 100644 index 515f823e50..0000000000 --- a/test/files/neg/bug1224.check +++ /dev/null @@ -1,4 +0,0 @@ -bug1224.scala:4: error: illegal cyclic reference involving type T - type T >: C[T] <: C[C[T]] - ^ -one error found diff --git a/test/files/neg/bug1364.check b/test/files/neg/bug1364.check deleted file mode 100644 index bb5ca90699..0000000000 --- a/test/files/neg/bug1364.check +++ /dev/null @@ -1,5 +0,0 @@ -bug1364.scala:9: error: overriding type T in trait A with bounds >: Nothing <: AnyRef{type S[-U]}; - type T has incompatible type - type T = { type S[U] = U } - ^ -one error found diff --git a/test/files/neg/bug1623.check b/test/files/neg/bug1623.check deleted file mode 100644 index cfc2b533d4..0000000000 --- a/test/files/neg/bug1623.check +++ /dev/null @@ -1,4 +0,0 @@ -bug1623.scala:11: error: class BImpl cannot be instantiated because it does not conform to its self-type test.BImpl with test.A - val b = new BImpl - ^ -one error found diff --git a/test/files/neg/bug1838.check b/test/files/neg/bug1838.check deleted file mode 100644 index 0c08bfe283..0000000000 --- a/test/files/neg/bug1838.check +++ /dev/null @@ -1,7 +0,0 @@ -bug1838.scala:6: error: `sealed' modifier can be used only for classes - sealed val v = 0 - ^ -bug1838.scala:5: error: `sealed' modifier can be used only for classes - sealed def f = 0 - ^ -two errors found diff --git a/test/files/neg/bug1845.check b/test/files/neg/bug1845.check deleted file mode 100644 index 164f3f60c1..0000000000 --- a/test/files/neg/bug1845.check +++ /dev/null @@ -1,4 +0,0 @@ -bug1845.scala:9: error: illegal cyclic reference involving value <import> - val lexical = new StdLexical - ^ -one error found diff --git a/test/files/neg/bug1909b.check b/test/files/neg/bug1909b.check deleted file mode 100644 index e5de5fefe9..0000000000 --- a/test/files/neg/bug1909b.check +++ /dev/null @@ -1,4 +0,0 @@ -bug1909b.scala:4: error: this can be used only in a class, object, or template - def bar() = this.z + 5 - ^ -one error found diff --git a/test/files/neg/bug200.check b/test/files/neg/bug200.check deleted file mode 100644 index d3670060cd..0000000000 --- a/test/files/neg/bug200.check +++ /dev/null @@ -1,4 +0,0 @@ -bug200.scala:7: error: method foo is defined twice - def foo: Int; - ^ -one error found diff --git a/test/files/neg/bug2144.check b/test/files/neg/bug2144.check deleted file mode 100644 index 989bddc21e..0000000000 --- a/test/files/neg/bug2144.check +++ /dev/null @@ -1,4 +0,0 @@ -bug2144.scala:2: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement - def foo[A](a: A) = new { def bar(x: A): A = x } - ^ -one error found diff --git a/test/files/neg/bug2275a.check b/test/files/neg/bug2275a.check deleted file mode 100644 index 892a903948..0000000000 --- a/test/files/neg/bug2275a.check +++ /dev/null @@ -1,13 +0,0 @@ -bug2275a.scala:4: error: in XML literal: in XML content, please use '}}' to express '}' - }else{ - ^ -bug2275a.scala:3: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br> - <br> - ^ -bug2275a.scala:4: error: ';' expected but 'else' found. - }else{ - ^ -bug2275a.scala:7: error: '}' expected but eof found. -} - ^ -four errors found diff --git a/test/files/neg/bug2275b.check b/test/files/neg/bug2275b.check deleted file mode 100644 index 0db3eb8ff1..0000000000 --- a/test/files/neg/bug2275b.check +++ /dev/null @@ -1,10 +0,0 @@ -bug2275b.scala:2: error: in XML literal: in XML content, please use '}}' to express '}' - {<br>}xx - ^ -bug2275b.scala:2: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br> - {<br>}xx - ^ -bug2275b.scala:3: error: '}' expected but eof found. -} - ^ -three errors found diff --git a/test/files/neg/bug2441.check b/test/files/neg/bug2441.check deleted file mode 100644 index 2c82e6a9f8..0000000000 --- a/test/files/neg/bug2441.check +++ /dev/null @@ -1,4 +0,0 @@ -bug2441.scala:12: error: private class Y escapes its defining scope as part of type Some[B.Y] - override def f = Some(new B.Y) - ^ -one error found diff --git a/test/files/neg/bug284.check b/test/files/neg/bug284.check deleted file mode 100644 index 821727b96a..0000000000 --- a/test/files/neg/bug284.check +++ /dev/null @@ -1,8 +0,0 @@ -bug284.scala:2: warning: Detected apparent refinement of Unit; are you missing an '=' sign? - def f1(a: T): Unit { } - ^ -bug284.scala:5: error: Unmatched closing brace '}' ignored here - } - ^ -one warning found -one error found diff --git a/test/files/neg/bug3209.check b/test/files/neg/bug3209.check deleted file mode 100644 index fa50f4ce1d..0000000000 --- a/test/files/neg/bug3209.check +++ /dev/null @@ -1,4 +0,0 @@ -bug3209.scala:2: error: expected start of definition -package test -^ -one error found diff --git a/test/files/neg/bug3240.check b/test/files/neg/bug3240.check deleted file mode 100644 index 4f751d6f00..0000000000 --- a/test/files/neg/bug3240.check +++ /dev/null @@ -1,7 +0,0 @@ -bug3240.scala:3: error: only classes can have declared but undefined members - type t - ^ -bug3240.scala:5: error: type arguments [this.t] do not conform to method asInstanceOf's type parameter bounds [T0] - a.getOrElse(defVal).asInstanceOf[t] - ^ -two errors found diff --git a/test/files/neg/bug343.check b/test/files/neg/bug343.check deleted file mode 100644 index 9b6af98be3..0000000000 --- a/test/files/neg/bug343.check +++ /dev/null @@ -1,4 +0,0 @@ -bug343.scala:5: error: private class Foo escapes its defining scope as part of type C.this.Foo - def get:Foo = new Foo(); - ^ -one error found diff --git a/test/files/neg/bug3736.check b/test/files/neg/bug3736.check deleted file mode 100644 index cc222d1221..0000000000 --- a/test/files/neg/bug3736.check +++ /dev/null @@ -1,16 +0,0 @@ -bug3736.scala:4: error: super not allowed here: use this.isInstanceOf instead - def f2 = super.isInstanceOf[String] - ^ -bug3736.scala:5: error: super not allowed here: use this.asInstanceOf instead - def f3 = super.asInstanceOf[AnyRef] - ^ -bug3736.scala:6: error: super not allowed here: use this.== instead - def f4 = super.==(new AnyRef) - ^ -bug3736.scala:7: error: super not allowed here: use this.!= instead - def f5 = super.!=(new AnyRef) - ^ -bug3736.scala:8: error: super not allowed here: use this.## instead - def f6 = super.## - ^ -5 errors found diff --git a/test/files/neg/bug3909.check b/test/files/neg/bug3909.check deleted file mode 100644 index af79579d82..0000000000 --- a/test/files/neg/bug3909.check +++ /dev/null @@ -1,4 +0,0 @@ -bug3909.scala:1: error: in object DO, multiple overloaded alternatives of m1 define default arguments -object DO { - ^ -one error found diff --git a/test/files/neg/bug3913.check b/test/files/neg/bug3913.check deleted file mode 100644 index e6df31fb23..0000000000 --- a/test/files/neg/bug3913.check +++ /dev/null @@ -1,4 +0,0 @@ -bug3913.scala:2: error: super constructor cannot be passed a self reference unless parameter is declared by-name -object LimboStage extends Stage( Set( LimboStage )) - ^ -one error found diff --git a/test/files/neg/bug4069.check b/test/files/neg/bug4069.check deleted file mode 100644 index d3aa8f3992..0000000000 --- a/test/files/neg/bug4069.check +++ /dev/null @@ -1,16 +0,0 @@ -bug4069.scala:7: error: unexpected end of input: possible missing '}' in XML block - case 2 => - ^ -bug4069.scala:6: error: Missing closing brace `}' assumed here - </div> - ^ -bug4069.scala:9: error: in XML literal: in XML content, please use '}}' to express '}' - } - ^ -bug4069.scala:4: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <div> - <div> - ^ -bug4069.scala:10: error: '}' expected but eof found. -} -^ -5 errors found diff --git a/test/files/neg/bug4217.check b/test/files/neg/bug4217.check deleted file mode 100644 index 4de9201da8..0000000000 --- a/test/files/neg/bug4217.check +++ /dev/null @@ -1,4 +0,0 @@ -bug4217.scala:2: error: 'case' expected but '}' found. - 42 match { } - ^ -one error found diff --git a/test/files/neg/bug4419.check b/test/files/neg/bug4419.check deleted file mode 100644 index 488be9a591..0000000000 --- a/test/files/neg/bug4419.check +++ /dev/null @@ -1,4 +0,0 @@ -bug4419.scala:2: error: forward reference extends over definition of value b - { val b = a; val a = 1 } - ^ -one error found diff --git a/test/files/neg/bug464-neg.check b/test/files/neg/bug464-neg.check deleted file mode 100644 index 7921c5a4f8..0000000000 --- a/test/files/neg/bug464-neg.check +++ /dev/null @@ -1,16 +0,0 @@ -bug464-neg.scala:7: error: not found: value f1 - f1() - ^ -bug464-neg.scala:8: error: method f1 in class A cannot be accessed in A with ScalaObject - super.f1() - ^ -bug464-neg.scala:9: error: value f2 is not a member of B - def otherb(b2: B) = b2.f2() - ^ -bug464-neg.scala:10: error: method f3 in class A cannot be accessed in B - f3() - ^ -bug464-neg.scala:11: error: method f3 in class A cannot be accessed in A with ScalaObject - super.f3() - ^ -5 errors found diff --git a/test/files/neg/bug473.check b/test/files/neg/bug473.check deleted file mode 100644 index 7e3c4a4ed5..0000000000 --- a/test/files/neg/bug473.check +++ /dev/null @@ -1,4 +0,0 @@ -bug473.scala:3: error: super constructor cannot be passed a self reference unless parameter is declared by-name -case object Voop extends Foo(Voop) - ^ -one error found diff --git a/test/files/neg/bug500.check b/test/files/neg/bug500.check deleted file mode 100644 index ff4443caee..0000000000 --- a/test/files/neg/bug500.check +++ /dev/null @@ -1,4 +0,0 @@ -bug500.scala:3: error: lower bound X does not conform to upper bound Y - type T >: X <: Y; - ^ -one error found diff --git a/test/files/neg/bug510.check b/test/files/neg/bug510.check deleted file mode 100644 index 14b715ea68..0000000000 --- a/test/files/neg/bug510.check +++ /dev/null @@ -1,4 +0,0 @@ -bug510.scala:19: error: cyclic aliasing or subtyping involving type T - def g(t: e.T): Unit = { - ^ -one error found diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check deleted file mode 100644 index d8e92688dd..0000000000 --- a/test/files/neg/bug521.check +++ /dev/null @@ -1,15 +0,0 @@ -bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined -class PlainFile(val file : File) extends AbstractFile {} - ^ -bug521.scala:13: error: overriding value file in class PlainFile of type java.io.File; - value file needs `override' modifier -final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { - ^ -bug521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => String is not defined -final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { - ^ -bug521.scala:15: error: overriding value path in class VirtualFile of type String; - method path needs to be a stable, immutable value - override def path = ""; - ^ -four errors found diff --git a/test/files/neg/bug545.check b/test/files/neg/bug545.check deleted file mode 100644 index d184f90e85..0000000000 --- a/test/files/neg/bug545.check +++ /dev/null @@ -1,7 +0,0 @@ -bug545.scala:4: error: value blah is not a member of Test.Foo - val x = foo.blah match { - ^ -bug545.scala:5: error: recursive value x needs type - case List(x) => x - ^ -two errors found diff --git a/test/files/neg/bug550.check b/test/files/neg/bug550.check deleted file mode 100644 index e1650b7ab1..0000000000 --- a/test/files/neg/bug550.check +++ /dev/null @@ -1,7 +0,0 @@ -bug550.scala:6: error: type List takes type parameters - def sum[a](xs: List)(implicit m: Monoid[a]): a = - ^ -bug550.scala:8: error: could not find implicit value for parameter m: Monoid[a] - sum(List(1,2,3)) - ^ -two errors found diff --git a/test/files/neg/bug585.check b/test/files/neg/bug585.check deleted file mode 100644 index 4f4c5bf31d..0000000000 --- a/test/files/neg/bug585.check +++ /dev/null @@ -1,4 +0,0 @@ -bug585.scala:1: error: unclosed comment -/* -^ -one error found diff --git a/test/files/neg/bug593.check b/test/files/neg/bug593.check deleted file mode 100644 index f71affec5a..0000000000 --- a/test/files/neg/bug593.check +++ /dev/null @@ -1,4 +0,0 @@ -bug593.scala:1: error: traits or objects may not have parameters -trait Wrapper[T](x : T) { - ^ -one error found diff --git a/test/files/neg/bug631.check b/test/files/neg/bug631.check deleted file mode 100644 index 0650c701d9..0000000000 --- a/test/files/neg/bug631.check +++ /dev/null @@ -1,4 +0,0 @@ -bug631.scala:1: error: `implicit' modifier cannot be used for top-level objects -implicit object Test { - ^ -one error found diff --git a/test/files/neg/bug639.check b/test/files/neg/bug639.check deleted file mode 100644 index 30a93518a9..0000000000 --- a/test/files/neg/bug639.check +++ /dev/null @@ -1,4 +0,0 @@ -bug639.scala:3: error: not found: object a -import a._ - ^ -one error found diff --git a/test/files/neg/bug649.check b/test/files/neg/bug649.check deleted file mode 100644 index 2a1533d2dc..0000000000 --- a/test/files/neg/bug649.check +++ /dev/null @@ -1,4 +0,0 @@ -bug649.scala:3: error: overloaded method foo needs result type - def foo[A] = foo[A] - ^ -one error found diff --git a/test/files/neg/bug664.check b/test/files/neg/bug664.check deleted file mode 100644 index c29f9b6c7c..0000000000 --- a/test/files/neg/bug664.check +++ /dev/null @@ -1,7 +0,0 @@ -bug664.scala:4: error: type Foo is not a member of test.Test with ScalaObject - trait Foo extends super.Foo { - ^ -bug664.scala:5: error: type Bar is not a member of AnyRef with ScalaObject - trait Bar extends super.Bar; - ^ -two errors found diff --git a/test/files/neg/bug693.check b/test/files/neg/bug693.check deleted file mode 100644 index d341d025e2..0000000000 --- a/test/files/neg/bug693.check +++ /dev/null @@ -1,4 +0,0 @@ -bug693.scala:4: error: x is already defined as value x - val x : Int = 10; - ^ -one error found diff --git a/test/files/neg/bug700.check b/test/files/neg/bug700.check deleted file mode 100644 index 5c2854069c..0000000000 --- a/test/files/neg/bug700.check +++ /dev/null @@ -1,4 +0,0 @@ -bug700.scala:6: error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' - def foobar: Unit = super.foobar - ^ -one error found diff --git a/test/files/neg/bug715.check b/test/files/neg/bug715.check deleted file mode 100644 index 8ea1ddb0eb..0000000000 --- a/test/files/neg/bug715.check +++ /dev/null @@ -1,4 +0,0 @@ -bug715.scala:12: error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' - override def children = super.chilren; - ^ -one error found diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check deleted file mode 100644 index 5859e1e769..0000000000 --- a/test/files/neg/bug798.check +++ /dev/null @@ -1,4 +0,0 @@ -bug798.scala:2: error: cyclic aliasing or subtyping involving type Bracks -trait Test[Bracks <: Bracks] { - ^ -one error found diff --git a/test/files/neg/bug800.check b/test/files/neg/bug800.check deleted file mode 100644 index 00ca02070e..0000000000 --- a/test/files/neg/bug800.check +++ /dev/null @@ -1,13 +0,0 @@ -bug800.scala:4: error: qualification is already defined as value qualification - val qualification = false; - ^ -bug800.scala:8: error: method qualification is defined twice - val qualification = false; - ^ -bug800.scala:12: error: value qualification is defined twice - var qualification = false; - ^ -bug800.scala:16: error: method qualification is defined twice - var qualification = false; - ^ -four errors found diff --git a/test/files/neg/bug845.check b/test/files/neg/bug845.check deleted file mode 100644 index a5b92e2aee..0000000000 --- a/test/files/neg/bug845.check +++ /dev/null @@ -1,4 +0,0 @@ -bug845.scala:4: error: only classes can have declared but undefined members - type Bar; - ^ -one error found diff --git a/test/files/neg/bug882.check b/test/files/neg/bug882.check deleted file mode 100644 index 4e3e6d0860..0000000000 --- a/test/files/neg/bug882.check +++ /dev/null @@ -1,4 +0,0 @@ -bug882.scala:2: error: traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...' -trait SortedSet[A <% Ordered[A]] { - ^ -one error found diff --git a/test/files/neg/bug908.check b/test/files/neg/bug908.check deleted file mode 100644 index c73f1d7857..0000000000 --- a/test/files/neg/bug908.check +++ /dev/null @@ -1,4 +0,0 @@ -bug908.scala:8: error: not found: value makeA - this(makeA) - ^ -one error found diff --git a/test/files/neg/bug935.check b/test/files/neg/bug935.check deleted file mode 100644 index 6a4129eee3..0000000000 --- a/test/files/neg/bug935.check +++ /dev/null @@ -1,7 +0,0 @@ -bug935.scala:7: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String] - @E[B](new B) val b = "hi" - ^ -bug935.scala:13: error: type arguments [Test4.B] do not conform to class E's type parameter bounds [T <: String] - val b: String @E[B](new B) = "hi" - ^ -two errors found diff --git a/test/files/neg/bug944.check b/test/files/neg/bug944.check deleted file mode 100644 index d45b968e9e..0000000000 --- a/test/files/neg/bug944.check +++ /dev/null @@ -1,4 +0,0 @@ -bug944.scala:5: error: implementation restricts functions to 22 parameters - a23:Int) => 1 - ^ -one error found diff --git a/test/files/neg/bug961.check b/test/files/neg/bug961.check deleted file mode 100644 index 0231a3ea66..0000000000 --- a/test/files/neg/bug961.check +++ /dev/null @@ -1,4 +0,0 @@ -bug961.scala:11: error: object Temp.B does not take parameters - B() match { - ^ -one error found diff --git a/test/files/neg/bug418.check b/test/files/neg/t0418.check index e7580beaf4..4e9ad2f9ae 100644 --- a/test/files/neg/bug418.check +++ b/test/files/neg/t0418.check @@ -1,7 +1,7 @@ -bug418.scala:2: error: not found: value Foo12340771 +t0418.scala:2: error: not found: value Foo12340771 null match { case Foo12340771.Bar(x) => x } ^ -bug418.scala:2: error: not found: value x +t0418.scala:2: error: not found: value x null match { case Foo12340771.Bar(x) => x } ^ two errors found diff --git a/test/files/neg/bug0418.scala b/test/files/neg/t0418.scala index 67007010d4..67007010d4 100644 --- a/test/files/neg/bug0418.scala +++ b/test/files/neg/t0418.scala diff --git a/test/files/neg/bug1010.check b/test/files/neg/t1010.check index 3cf9738eaa..2cc8f9d986 100644 --- a/test/files/neg/bug1010.check +++ b/test/files/neg/t1010.check @@ -1,4 +1,4 @@ -bug1010.scala:14: error: type mismatch; +t1010.scala:14: error: type mismatch; found : MailBox#Message required: _3.in.Message where val _3: Actor unstable.send(msg) // in.Message becomes unstable.Message, but that's ok since Message is a concrete type member diff --git a/test/files/neg/bug1010.scala b/test/files/neg/t1010.scala index 7a1e6615e5..7a1e6615e5 100644 --- a/test/files/neg/bug1010.scala +++ b/test/files/neg/t1010.scala diff --git a/test/files/neg/bug1011.check b/test/files/neg/t1011.check index 7de677639a..d9c8123549 100644 --- a/test/files/neg/bug1011.check +++ b/test/files/neg/t1011.check @@ -1,4 +1,4 @@ -bug1011.scala:8: error: not found: value entity +t1011.scala:8: error: not found: value entity <dl><code>{Text(entity)}</code> ^ one error found diff --git a/test/files/neg/bug1011.scala b/test/files/neg/t1011.scala index 7dc3f49469..7dc3f49469 100644 --- a/test/files/neg/bug1011.scala +++ b/test/files/neg/t1011.scala diff --git a/test/files/neg/bug1017.check b/test/files/neg/t1017.check index ad88a10401..52101c7f6e 100644 --- a/test/files/neg/bug1017.check +++ b/test/files/neg/t1017.check @@ -1,4 +1,4 @@ -bug1017.scala:3: error: not found: value foo +t1017.scala:3: error: not found: value foo <x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x>{ foo }</x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x> ^ one error found diff --git a/test/files/neg/bug1017.scala b/test/files/neg/t1017.scala index e389f308c3..e389f308c3 100644 --- a/test/files/neg/bug1017.scala +++ b/test/files/neg/t1017.scala diff --git a/test/files/neg/bug1038.check b/test/files/neg/t1038.check index e09cbbc510..b191b89ad1 100644 --- a/test/files/neg/bug1038.check +++ b/test/files/neg/t1038.check @@ -1,4 +1,4 @@ -bug1038.scala:4: error: not enough arguments for constructor X: (x: Int)X. +t1038.scala:4: error: not enough arguments for constructor X: (x: Int)X. Unspecified value parameter x. val a = new X ^ diff --git a/test/files/neg/bug1038.scala b/test/files/neg/t1038.scala index 9fdcae207f..9fdcae207f 100644 --- a/test/files/neg/bug1038.scala +++ b/test/files/neg/t1038.scala diff --git a/test/files/neg/bug1041.check b/test/files/neg/t1041.check index c366364241..d82f3a8586 100644 --- a/test/files/neg/bug1041.check +++ b/test/files/neg/t1041.check @@ -1,4 +1,4 @@ -bug1041.scala:3: error: type mismatch; +t1041.scala:3: error: type mismatch; found : Int(1) required: List[Int] case 1 => 4 diff --git a/test/files/neg/bug1041.scala b/test/files/neg/t1041.scala index a5895c68a9..a5895c68a9 100644 --- a/test/files/neg/bug1041.scala +++ b/test/files/neg/t1041.scala diff --git a/test/files/neg/t1106.check b/test/files/neg/t1106.check new file mode 100644 index 0000000000..f81d0c6025 --- /dev/null +++ b/test/files/neg/t1106.check @@ -0,0 +1,7 @@ +t1106.scala:2: error: expected class or object definition +val p = new Par[String] +^ +t1106.scala:5: error: expected class or object definition +new Foo[p.type](p) // crashes compiler +^ +two errors found diff --git a/test/files/neg/bug1106.scala b/test/files/neg/t1106.scala index a218eee7a1..a218eee7a1 100644 --- a/test/files/neg/bug1106.scala +++ b/test/files/neg/t1106.scala diff --git a/test/files/neg/t1112.check b/test/files/neg/t1112.check new file mode 100644 index 0000000000..e69be3ef2c --- /dev/null +++ b/test/files/neg/t1112.check @@ -0,0 +1,4 @@ +t1112.scala:12: error: too many arguments for method call: (p: Int)(f: => () => Unit)Unit + call(0,() => System.out.println("here we are")) + ^ +one error found diff --git a/test/files/neg/bug1112.scala b/test/files/neg/t1112.scala index 1a88629faf..1a88629faf 100644 --- a/test/files/neg/bug1112.scala +++ b/test/files/neg/t1112.scala diff --git a/test/files/neg/bug112706A.check b/test/files/neg/t112706A.check index 8fb5bfc390..42584b9707 100644 --- a/test/files/neg/bug112706A.check +++ b/test/files/neg/t112706A.check @@ -1,4 +1,4 @@ -bug112706A.scala:5: error: constructor cannot be instantiated to expected type; +t112706A.scala:5: error: constructor cannot be instantiated to expected type; found : (T1, T2) required: java.lang.String case Tuple2(node,_) => diff --git a/test/files/neg/bug112706A.scala b/test/files/neg/t112706A.scala index 11304720bc..11304720bc 100644 --- a/test/files/neg/bug112706A.scala +++ b/test/files/neg/t112706A.scala diff --git a/test/files/neg/bug1181.check b/test/files/neg/t1181.check index a196a702ab..2d7205c61f 100644 --- a/test/files/neg/bug1181.check +++ b/test/files/neg/t1181.check @@ -1,4 +1,4 @@ -bug1181.scala:9: error: missing parameter type +t1181.scala:9: error: missing parameter type _ => buildMap(map.updated(keyList.head, valueList.head), keyList.tail, valueList.tail) ^ one error found diff --git a/test/files/neg/bug1181.scala b/test/files/neg/t1181.scala index 5e5fceacc8..5e5fceacc8 100644 --- a/test/files/neg/bug1181.scala +++ b/test/files/neg/t1181.scala diff --git a/test/files/neg/bug1183.check b/test/files/neg/t1183.check index 9e20592d08..c402829c70 100644 --- a/test/files/neg/bug1183.check +++ b/test/files/neg/t1183.check @@ -1,16 +1,16 @@ -bug1183.scala:6: error: name clash: class Foo defines object Baz +t1183.scala:6: error: name clash: class Foo defines object Baz and its companion object Foo also defines class Baz object Baz ^ -bug1183.scala:7: error: name clash: class Foo defines class Bam +t1183.scala:7: error: name clash: class Foo defines class Bam and its companion object Foo also defines object Bam class Bam ^ -bug1183.scala:8: error: name clash: class Foo defines object Bar +t1183.scala:8: error: name clash: class Foo defines object Bar and its companion object Foo also defines class Bar object Bar ^ -bug1183.scala:9: error: name clash: class Foo defines class Bar +t1183.scala:9: error: name clash: class Foo defines class Bar and its companion object Foo also defines class Bar case class Bar(i:Int) ^ diff --git a/test/files/neg/bug1183.scala b/test/files/neg/t1183.scala index 23868ab401..23868ab401 100644 --- a/test/files/neg/bug1183.scala +++ b/test/files/neg/t1183.scala diff --git a/test/files/neg/t1224.check b/test/files/neg/t1224.check new file mode 100644 index 0000000000..fb61275911 --- /dev/null +++ b/test/files/neg/t1224.check @@ -0,0 +1,4 @@ +t1224.scala:4: error: illegal cyclic reference involving type T + type T >: C[T] <: C[C[T]] + ^ +one error found diff --git a/test/files/neg/bug1224.scala b/test/files/neg/t1224.scala index 35e01fa379..35e01fa379 100644 --- a/test/files/neg/bug1224.scala +++ b/test/files/neg/t1224.scala diff --git a/test/files/neg/bug1241.check b/test/files/neg/t1241.check index 48c86cabb7..e1ccf4172f 100644 --- a/test/files/neg/bug1241.check +++ b/test/files/neg/t1241.check @@ -1,4 +1,4 @@ -bug1241.scala:5: error: class type required but AnyRef{def hello(): Unit} found +t1241.scala:5: error: class type required but AnyRef{def hello(): Unit} found val x4 = new T { def hello() { println("4") } } // error! ^ one error found diff --git a/test/files/neg/bug1241.scala b/test/files/neg/t1241.scala index e115917136..e115917136 100644 --- a/test/files/neg/bug1241.scala +++ b/test/files/neg/t1241.scala diff --git a/test/files/neg/bug1275.check b/test/files/neg/t1275.check index 6ee8365796..a930e25ab3 100644 --- a/test/files/neg/bug1275.check +++ b/test/files/neg/t1275.check @@ -1,4 +1,4 @@ -bug1275.scala:11: error: type mismatch; +t1275.scala:11: error: type mismatch; found : xs.MyType[a] required: s = xs f diff --git a/test/files/neg/bug1275.scala b/test/files/neg/t1275.scala index 1175b30763..1175b30763 100644 --- a/test/files/neg/bug1275.scala +++ b/test/files/neg/t1275.scala diff --git a/test/files/neg/bug1286.check b/test/files/neg/t1286.check index 734964e9cf..734964e9cf 100644 --- a/test/files/neg/bug1286.check +++ b/test/files/neg/t1286.check diff --git a/test/files/neg/bug1286/a.scala b/test/files/neg/t1286/a.scala index 85ffe3bb58..85ffe3bb58 100644 --- a/test/files/neg/bug1286/a.scala +++ b/test/files/neg/t1286/a.scala diff --git a/test/files/neg/bug1286/b.scala b/test/files/neg/t1286/b.scala index 48f3b440c2..48f3b440c2 100644 --- a/test/files/neg/bug1286/b.scala +++ b/test/files/neg/t1286/b.scala diff --git a/test/files/neg/t1364.check b/test/files/neg/t1364.check new file mode 100644 index 0000000000..78375333c2 --- /dev/null +++ b/test/files/neg/t1364.check @@ -0,0 +1,5 @@ +t1364.scala:9: error: overriding type T in trait A with bounds >: Nothing <: AnyRef{type S[-U]}; + type T has incompatible type + type T = { type S[U] = U } + ^ +one error found diff --git a/test/files/neg/bug1364.scala b/test/files/neg/t1364.scala index 6b02580fa5..6b02580fa5 100644 --- a/test/files/neg/bug1364.scala +++ b/test/files/neg/t1364.scala diff --git a/test/files/neg/bug1431.check b/test/files/neg/t1431.check index 0ae28eea9d..a17ba73243 100644 --- a/test/files/neg/bug1431.check +++ b/test/files/neg/t1431.check @@ -1,4 +1,4 @@ -bug1431.scala:8: error: class type required but X#Factory found +t1431.scala:8: error: class type required but X#Factory found def fun[X<:MyTrait with Singleton]() = new X#Factory().value ^ one error found diff --git a/test/files/neg/bug1431.scala b/test/files/neg/t1431.scala index aff1dbc014..aff1dbc014 100644 --- a/test/files/neg/bug1431.scala +++ b/test/files/neg/t1431.scala diff --git a/test/files/neg/bug1432.check b/test/files/neg/t1432.check index 90bba0bf13..180cb05e67 100644 --- a/test/files/neg/bug1432.check +++ b/test/files/neg/t1432.check @@ -1,4 +1,4 @@ -bug1432.scala:10: error: type mismatch; +t1432.scala:10: error: type mismatch; found : (Int, Bug_NoUnique.Wrap[Bug_NoUnique.Wrap[Unit]] => Double) required: (Int, Unit => Double) def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x) diff --git a/test/files/neg/bug1432.scala b/test/files/neg/t1432.scala index 638f36554f..638f36554f 100644 --- a/test/files/neg/bug1432.scala +++ b/test/files/neg/t1432.scala diff --git a/test/files/neg/bug1523.check b/test/files/neg/t1523.check index 96d052fa4c..d2489f2602 100644 --- a/test/files/neg/bug1523.check +++ b/test/files/neg/t1523.check @@ -1,4 +1,4 @@ -bug1523.scala:4: error: too many arguments for method bug: (x: Any)Any +t1523.scala:4: error: too many arguments for method bug: (x: Any)Any def go() = bug("a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a") ^ one error found diff --git a/test/files/neg/bug1523.scala b/test/files/neg/t1523.scala index 219fb0c060..219fb0c060 100644 --- a/test/files/neg/bug1523.scala +++ b/test/files/neg/t1523.scala diff --git a/test/files/neg/bug1548.check b/test/files/neg/t1548.check index 7f5a3f44e2..7f5a3f44e2 100644 --- a/test/files/neg/bug1548.check +++ b/test/files/neg/t1548.check diff --git a/test/files/neg/bug1548/J.java b/test/files/neg/t1548/J.java index 01dd56d348..01dd56d348 100644 --- a/test/files/neg/bug1548/J.java +++ b/test/files/neg/t1548/J.java diff --git a/test/files/neg/bug1548/S.scala b/test/files/neg/t1548/S.scala index 086b78029d..086b78029d 100644 --- a/test/files/neg/bug1548/S.scala +++ b/test/files/neg/t1548/S.scala diff --git a/test/files/neg/t1623.check b/test/files/neg/t1623.check new file mode 100644 index 0000000000..251039ad30 --- /dev/null +++ b/test/files/neg/t1623.check @@ -0,0 +1,4 @@ +t1623.scala:11: error: class BImpl cannot be instantiated because it does not conform to its self-type test.BImpl with test.A + val b = new BImpl + ^ +one error found diff --git a/test/files/neg/bug1623.scala b/test/files/neg/t1623.scala index f5189aa4ca..f5189aa4ca 100644 --- a/test/files/neg/bug1623.scala +++ b/test/files/neg/t1623.scala diff --git a/test/files/neg/t1838.check b/test/files/neg/t1838.check new file mode 100644 index 0000000000..a476158c7b --- /dev/null +++ b/test/files/neg/t1838.check @@ -0,0 +1,7 @@ +t1838.scala:6: error: `sealed' modifier can be used only for classes + sealed val v = 0 + ^ +t1838.scala:5: error: `sealed' modifier can be used only for classes + sealed def f = 0 + ^ +two errors found diff --git a/test/files/neg/bug1838.scala b/test/files/neg/t1838.scala index 36eeb4050a..36eeb4050a 100644 --- a/test/files/neg/bug1838.scala +++ b/test/files/neg/t1838.scala diff --git a/test/files/neg/t1845.check b/test/files/neg/t1845.check new file mode 100644 index 0000000000..7c0bddbc20 --- /dev/null +++ b/test/files/neg/t1845.check @@ -0,0 +1,4 @@ +t1845.scala:9: error: illegal cyclic reference involving value <import> + val lexical = new StdLexical + ^ +one error found diff --git a/test/files/neg/bug1845.scala b/test/files/neg/t1845.scala index dab448b7dd..dab448b7dd 100644 --- a/test/files/neg/bug1845.scala +++ b/test/files/neg/t1845.scala diff --git a/test/files/neg/bug1872.check b/test/files/neg/t1872.check index 9f1af33056..ef84ef79e0 100644 --- a/test/files/neg/bug1872.check +++ b/test/files/neg/t1872.check @@ -1,4 +1,4 @@ -bug1872.scala:3: error: isInstanceOf cannot test if value types are references. +t1872.scala:3: error: isInstanceOf cannot test if value types are references. def f(x: Int) = x.isInstanceOf[util.Random] ^ one error found diff --git a/test/files/neg/bug1872.scala b/test/files/neg/t1872.scala index 0ebee0b32d..0ebee0b32d 100644 --- a/test/files/neg/bug1872.scala +++ b/test/files/neg/t1872.scala diff --git a/test/files/neg/bug1878.check b/test/files/neg/t1878.check index f760781fa0..4b9cfebde1 100644 --- a/test/files/neg/bug1878.check +++ b/test/files/neg/t1878.check @@ -1,15 +1,15 @@ -bug1878.scala:3: error: _* may only come last +t1878.scala:3: error: _* may only come last val err1 = "" match { case Seq(f @ _*, ',') => f } ^ -bug1878.scala:3: error: scrutinee is incompatible with pattern type; +t1878.scala:3: error: scrutinee is incompatible with pattern type; found : Seq[A] required: java.lang.String val err1 = "" match { case Seq(f @ _*, ',') => f } ^ -bug1878.scala:9: error: _* may only come last +t1878.scala:9: error: _* may only come last val List(List(_*, arg2), _) = List(List(1,2,3), List(4,5,6)) ^ -bug1878.scala:13: error: _* may only come last +t1878.scala:13: error: _* may only come last case <p> { _* } </p> => ^ four errors found diff --git a/test/files/neg/bug1878.scala b/test/files/neg/t1878.scala index 683dcb6b41..683dcb6b41 100644 --- a/test/files/neg/bug1878.scala +++ b/test/files/neg/t1878.scala diff --git a/test/files/neg/t1909b.check b/test/files/neg/t1909b.check new file mode 100644 index 0000000000..9a683643ae --- /dev/null +++ b/test/files/neg/t1909b.check @@ -0,0 +1,4 @@ +t1909b.scala:4: error: this can be used only in a class, object, or template + def bar() = this.z + 5 + ^ +one error found diff --git a/test/files/neg/bug1909b.scala b/test/files/neg/t1909b.scala index 6aa7870478..6aa7870478 100644 --- a/test/files/neg/bug1909b.scala +++ b/test/files/neg/t1909b.scala diff --git a/test/files/neg/bug1960.check b/test/files/neg/t1960.check index 8e19f31ef5..dabf53f126 100644 --- a/test/files/neg/bug1960.check +++ b/test/files/neg/t1960.check @@ -1,4 +1,4 @@ -bug1960.scala:5: error: parameter 'p' requires field but conflicts with p in 'TBase' +t1960.scala:5: error: parameter 'p' requires field but conflicts with p in 'TBase' class Aclass (p: Int) extends TBase { def g() { f(p) } } ^ one error found diff --git a/test/files/neg/bug1960.scala b/test/files/neg/t1960.scala index 5311940b5a..5311940b5a 100644 --- a/test/files/neg/bug1960.scala +++ b/test/files/neg/t1960.scala diff --git a/test/files/neg/t200.check b/test/files/neg/t200.check new file mode 100644 index 0000000000..78701f8533 --- /dev/null +++ b/test/files/neg/t200.check @@ -0,0 +1,4 @@ +t200.scala:7: error: method foo is defined twice + def foo: Int; + ^ +one error found diff --git a/test/files/neg/bug200.scala b/test/files/neg/t200.scala index 692fe368e2..692fe368e2 100644 --- a/test/files/neg/bug200.scala +++ b/test/files/neg/t200.scala diff --git a/test/files/neg/bug2102.check b/test/files/neg/t2102.check index 7478fcfcea..b4f91a5319 100644 --- a/test/files/neg/bug2102.check +++ b/test/files/neg/t2102.check @@ -1,4 +1,4 @@ -bug2102.scala:2: error: type mismatch; +t2102.scala:2: error: type mismatch; found : java.util.Iterator[Int] required: scala.collection.Iterator[_] val x: Iterator[_] = new java.util.ArrayList[Int]().iterator diff --git a/test/files/neg/bug2102.scala b/test/files/neg/t2102.scala index 9c37039039..9c37039039 100644 --- a/test/files/neg/bug2102.scala +++ b/test/files/neg/t2102.scala diff --git a/test/files/neg/t2144.check b/test/files/neg/t2144.check new file mode 100644 index 0000000000..7239f4406e --- /dev/null +++ b/test/files/neg/t2144.check @@ -0,0 +1,4 @@ +t2144.scala:2: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement + def foo[A](a: A) = new { def bar(x: A): A = x } + ^ +one error found diff --git a/test/files/neg/bug2144.scala b/test/files/neg/t2144.scala index af9a5e166e..af9a5e166e 100644 --- a/test/files/neg/bug2144.scala +++ b/test/files/neg/t2144.scala diff --git a/test/files/neg/bug2148.check b/test/files/neg/t2148.check index 22be424c39..5113b48e51 100644 --- a/test/files/neg/bug2148.check +++ b/test/files/neg/t2148.check @@ -1,4 +1,4 @@ -bug2148.scala:9: error: type A is not a stable prefix +t2148.scala:9: error: type A is not a stable prefix val b = new A with A#A1 ^ one error found diff --git a/test/files/neg/bug2148.scala b/test/files/neg/t2148.scala index 25788be84a..25788be84a 100644 --- a/test/files/neg/bug2148.scala +++ b/test/files/neg/t2148.scala diff --git a/test/files/neg/bug2206.check b/test/files/neg/t2206.check index 3deb4d99ef..766f35d93a 100644 --- a/test/files/neg/bug2206.check +++ b/test/files/neg/t2206.check @@ -1,4 +1,4 @@ -bug2206.scala:10: error: value f is not a member of o.A +t2206.scala:10: error: value f is not a member of o.A Note: implicit method ax is not applicable here because it comes after the application point and it lacks an explicit result type a.f() ^ diff --git a/test/files/neg/bug2206.scala b/test/files/neg/t2206.scala index cd2ec225e9..cd2ec225e9 100644 --- a/test/files/neg/bug2206.scala +++ b/test/files/neg/t2206.scala diff --git a/test/files/neg/bug2213.check b/test/files/neg/t2213.check index b24f7dc554..f59503ee2a 100644 --- a/test/files/neg/bug2213.check +++ b/test/files/neg/t2213.check @@ -1,11 +1,11 @@ -bug2213.scala:9: error: class C needs to be abstract, since: +t2213.scala:9: error: class C needs to be abstract, since: value y in class A of type Int is not defined value x in class A of type Int is not defined method g in class A of type => Int is not defined method f in class A of type => Int is not defined class C extends A {} ^ -bug2213.scala:11: error: object creation impossible, since: +t2213.scala:11: error: object creation impossible, since: value y in class A of type Int is not defined value x in class A of type Int is not defined method g in class A of type => Int is not defined diff --git a/test/files/neg/bug2213.scala b/test/files/neg/t2213.scala index af1df3ccfe..af1df3ccfe 100644 --- a/test/files/neg/bug2213.scala +++ b/test/files/neg/t2213.scala diff --git a/test/files/neg/t2275a.check b/test/files/neg/t2275a.check new file mode 100644 index 0000000000..cd3c868e76 --- /dev/null +++ b/test/files/neg/t2275a.check @@ -0,0 +1,13 @@ +t2275a.scala:4: error: in XML literal: in XML content, please use '}}' to express '}' + }else{ + ^ +t2275a.scala:3: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br> + <br> + ^ +t2275a.scala:4: error: ';' expected but 'else' found. + }else{ + ^ +t2275a.scala:7: error: '}' expected but eof found. +} + ^ +four errors found diff --git a/test/files/neg/bug2275a.scala b/test/files/neg/t2275a.scala index 7f2b803daa..7f2b803daa 100644 --- a/test/files/neg/bug2275a.scala +++ b/test/files/neg/t2275a.scala diff --git a/test/files/neg/t2275b.check b/test/files/neg/t2275b.check new file mode 100644 index 0000000000..43e34cc4d3 --- /dev/null +++ b/test/files/neg/t2275b.check @@ -0,0 +1,10 @@ +t2275b.scala:2: error: in XML literal: in XML content, please use '}}' to express '}' + {<br>}xx + ^ +t2275b.scala:2: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br> + {<br>}xx + ^ +t2275b.scala:3: error: '}' expected but eof found. +} + ^ +three errors found diff --git a/test/files/neg/bug2275b.scala b/test/files/neg/t2275b.scala index 312cba8d6d..312cba8d6d 100644 --- a/test/files/neg/bug2275b.scala +++ b/test/files/neg/t2275b.scala diff --git a/test/files/neg/bug2388.check b/test/files/neg/t2388.check index f96cb594d1..3f97608a4d 100644 --- a/test/files/neg/bug2388.check +++ b/test/files/neg/t2388.check @@ -1,4 +1,4 @@ -bug2388.scala:2: error: recursive method search needs result type +t2388.scala:2: error: recursive method search needs result type val searchField = new AnyRef { search() } ^ one error found diff --git a/test/files/neg/bug2388.scala b/test/files/neg/t2388.scala index 3634f346f8..3634f346f8 100644 --- a/test/files/neg/bug2388.scala +++ b/test/files/neg/t2388.scala diff --git a/test/files/neg/t2441.check b/test/files/neg/t2441.check new file mode 100644 index 0000000000..6eaacd8fd1 --- /dev/null +++ b/test/files/neg/t2441.check @@ -0,0 +1,4 @@ +t2441.scala:12: error: private class Y escapes its defining scope as part of type Some[B.Y] + override def f = Some(new B.Y) + ^ +one error found diff --git a/test/files/neg/bug2441.scala b/test/files/neg/t2441.scala index 6784ebb333..6784ebb333 100644 --- a/test/files/neg/bug2441.scala +++ b/test/files/neg/t2441.scala diff --git a/test/files/neg/bug276.check b/test/files/neg/t276.check index edc4ec568f..7d37f5cfa1 100644 --- a/test/files/neg/bug276.check +++ b/test/files/neg/t276.check @@ -1,4 +1,4 @@ -bug276.scala:6: error: overriding type Bar in class Foo, which equals (Int, Int); +t276.scala:6: error: overriding type Bar in class Foo, which equals (Int, Int); class Bar cannot be used here - classes and objects can only override abstract types class Bar ^ diff --git a/test/files/neg/bug276.scala b/test/files/neg/t276.scala index dfc8b468df..dfc8b468df 100644 --- a/test/files/neg/bug276.scala +++ b/test/files/neg/t276.scala diff --git a/test/files/neg/bug278.check b/test/files/neg/t278.check index b1041b7895..ad1078f897 100644 --- a/test/files/neg/bug278.check +++ b/test/files/neg/t278.check @@ -1,10 +1,10 @@ -bug278.scala:5: error: overloaded method value a with alternatives: +t278.scala:5: error: overloaded method value a with alternatives: => C.this.A => Unit <and> => () => Unit does not take type parameters a[A] ^ -bug278.scala:4: error: method a is defined twice +t278.scala:4: error: method a is defined twice def a = (p:A) => () ^ two errors found diff --git a/test/files/neg/bug278.scala b/test/files/neg/t278.scala index 16ffe10595..16ffe10595 100644 --- a/test/files/neg/bug278.scala +++ b/test/files/neg/t278.scala diff --git a/test/files/neg/t284.check b/test/files/neg/t284.check new file mode 100644 index 0000000000..37801af1b5 --- /dev/null +++ b/test/files/neg/t284.check @@ -0,0 +1,8 @@ +t284.scala:2: warning: Detected apparent refinement of Unit; are you missing an '=' sign? + def f1(a: T): Unit { } + ^ +t284.scala:5: error: Unmatched closing brace '}' ignored here + } + ^ +one warning found +one error found diff --git a/test/files/neg/bug284.scala b/test/files/neg/t284.scala index a210130102..a210130102 100644 --- a/test/files/neg/bug284.scala +++ b/test/files/neg/t284.scala diff --git a/test/files/neg/bug3098.check b/test/files/neg/t3098.check index 403da281c8..403da281c8 100644 --- a/test/files/neg/bug3098.check +++ b/test/files/neg/t3098.check diff --git a/test/files/neg/bug3098.flags b/test/files/neg/t3098.flags index e8fb65d50c..e8fb65d50c 100644 --- a/test/files/neg/bug3098.flags +++ b/test/files/neg/t3098.flags diff --git a/test/files/neg/bug3098/a.scala b/test/files/neg/t3098/a.scala index 57a103c7a8..57a103c7a8 100644 --- a/test/files/neg/bug3098/a.scala +++ b/test/files/neg/t3098/a.scala diff --git a/test/files/neg/bug3098/b.scala b/test/files/neg/t3098/b.scala index 84a1f9f6f4..84a1f9f6f4 100644 --- a/test/files/neg/bug3098/b.scala +++ b/test/files/neg/t3098/b.scala diff --git a/test/files/neg/t3209.check b/test/files/neg/t3209.check new file mode 100644 index 0000000000..c5a6b1d95d --- /dev/null +++ b/test/files/neg/t3209.check @@ -0,0 +1,4 @@ +t3209.scala:2: error: expected start of definition +package test +^ +one error found diff --git a/test/files/neg/bug3209.scala b/test/files/neg/t3209.scala index d893726659..d893726659 100644 --- a/test/files/neg/bug3209.scala +++ b/test/files/neg/t3209.scala diff --git a/test/files/neg/t3240.check b/test/files/neg/t3240.check new file mode 100644 index 0000000000..7ebabd5fcd --- /dev/null +++ b/test/files/neg/t3240.check @@ -0,0 +1,7 @@ +t3240.scala:3: error: only classes can have declared but undefined members + type t + ^ +t3240.scala:5: error: type arguments [this.t] do not conform to method asInstanceOf's type parameter bounds [T0] + a.getOrElse(defVal).asInstanceOf[t] + ^ +two errors found diff --git a/test/files/neg/bug3240.scala b/test/files/neg/t3240.scala index cf197a406d..cf197a406d 100644 --- a/test/files/neg/bug3240.scala +++ b/test/files/neg/t3240.scala diff --git a/test/files/neg/bug3392.check b/test/files/neg/t3392.check index cbae73ad3a..842d63eec9 100644 --- a/test/files/neg/bug3392.check +++ b/test/files/neg/t3392.check @@ -1,4 +1,4 @@ -bug3392.scala:9: error: not found: value x +t3392.scala:9: error: not found: value x case x@A(x/*<-- refers to the pattern that includes this comment*/.Ex(42)) => ^ one error found diff --git a/test/files/neg/bug3392.scala b/test/files/neg/t3392.scala index 655c2e84a3..655c2e84a3 100644 --- a/test/files/neg/bug3392.scala +++ b/test/files/neg/t3392.scala diff --git a/test/files/neg/t343.check b/test/files/neg/t343.check new file mode 100644 index 0000000000..d310b7915f --- /dev/null +++ b/test/files/neg/t343.check @@ -0,0 +1,4 @@ +t343.scala:5: error: private class Foo escapes its defining scope as part of type C.this.Foo + def get:Foo = new Foo(); + ^ +one error found diff --git a/test/files/neg/bug343.scala b/test/files/neg/t343.scala index ed57d2eef7..ed57d2eef7 100644 --- a/test/files/neg/bug343.scala +++ b/test/files/neg/t343.scala diff --git a/test/files/neg/bug3631.check b/test/files/neg/t3631.check index 12d94aa4dc..6d8feca1ed 100644 --- a/test/files/neg/bug3631.check +++ b/test/files/neg/t3631.check @@ -1,4 +1,4 @@ -bug3631.scala:3: error: Implementation restriction: case classes cannot have more than 22 parameters. +t3631.scala:3: error: Implementation restriction: case classes cannot have more than 22 parameters. case class X23(x1: Int, x2: Int, x3: Int, x4: Int, x5: Int, x6: Int, x7: Int, x8: Int, x9: Int, x10: Int, x11: Int, x12: Int, x13: Int, x14: Int, x15: Int, x16: Int, x17: Int, x18: Int, x19: Int, x20: Int, x21: Int, x22: Int, x23: Int) { } ^ one error found diff --git a/test/files/neg/bug3631.scala b/test/files/neg/t3631.scala index bcf91619ee..bcf91619ee 100644 --- a/test/files/neg/bug3631.scala +++ b/test/files/neg/t3631.scala diff --git a/test/files/neg/bug3683a.check b/test/files/neg/t3683a.check index a1c5b9c56d..18e80dd5e8 100644 --- a/test/files/neg/bug3683a.check +++ b/test/files/neg/t3683a.check @@ -1,4 +1,4 @@ -bug3683a.scala:14: error: match is not exhaustive! +t3683a.scala:14: error: match is not exhaustive! missing combination XX w match { diff --git a/test/files/neg/bug3683a.flags b/test/files/neg/t3683a.flags index 85d8eb2ba2..85d8eb2ba2 100644 --- a/test/files/neg/bug3683a.flags +++ b/test/files/neg/t3683a.flags diff --git a/test/files/neg/bug3683a.scala b/test/files/neg/t3683a.scala index 6d1915213a..6d1915213a 100644 --- a/test/files/neg/bug3683a.scala +++ b/test/files/neg/t3683a.scala diff --git a/test/files/neg/bug3683b.check b/test/files/neg/t3683b.check index 2637f62630..6e3369241b 100644 --- a/test/files/neg/bug3683b.check +++ b/test/files/neg/t3683b.check @@ -1,4 +1,4 @@ -bug3683b.scala:15: error: constructor cannot be instantiated to expected type; +t3683b.scala:15: error: constructor cannot be instantiated to expected type; found : X required: W[Bar] Note: Foo >: Bar (and X <: W[Foo]), but trait W is invariant in type T. diff --git a/test/files/neg/bug3683b.scala b/test/files/neg/t3683b.scala index 646e418121..646e418121 100644 --- a/test/files/neg/bug3683b.scala +++ b/test/files/neg/t3683b.scala diff --git a/test/files/neg/bug3714-neg.check b/test/files/neg/t3714-neg.check index 48420514ec..2db0655502 100644 --- a/test/files/neg/bug3714-neg.check +++ b/test/files/neg/t3714-neg.check @@ -1,10 +1,10 @@ -bug3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl +t3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl Access to protected value break not permitted because enclosing object Test is not a subclass of class BreakImpl where target is defined case b: BreakImpl => b.break ^ -bug3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl +t3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl Access to protected value break not permitted because enclosing object Test is not a subclass of class BreakImpl where target is defined diff --git a/test/files/neg/bug3714-neg.scala b/test/files/neg/t3714-neg.scala index 19bdebbfa9..753b367ec0 100644 --- a/test/files/neg/bug3714-neg.scala +++ b/test/files/neg/t3714-neg.scala @@ -1,4 +1,4 @@ -// this is a slight negative twist on run/bug3714.scala. +// this is a slight negative twist on run/t3714.scala. trait Break { protected val break: Int; } diff --git a/test/files/neg/t3736.check b/test/files/neg/t3736.check new file mode 100644 index 0000000000..7a20f6c08b --- /dev/null +++ b/test/files/neg/t3736.check @@ -0,0 +1,16 @@ +t3736.scala:4: error: super not allowed here: use this.isInstanceOf instead + def f2 = super.isInstanceOf[String] + ^ +t3736.scala:5: error: super not allowed here: use this.asInstanceOf instead + def f3 = super.asInstanceOf[AnyRef] + ^ +t3736.scala:6: error: super not allowed here: use this.== instead + def f4 = super.==(new AnyRef) + ^ +t3736.scala:7: error: super not allowed here: use this.!= instead + def f5 = super.!=(new AnyRef) + ^ +t3736.scala:8: error: super not allowed here: use this.## instead + def f6 = super.## + ^ +5 errors found diff --git a/test/files/neg/bug3736.scala b/test/files/neg/t3736.scala index cf0920912a..cf0920912a 100644 --- a/test/files/neg/bug3736.scala +++ b/test/files/neg/t3736.scala diff --git a/test/files/neg/t3909.check b/test/files/neg/t3909.check new file mode 100644 index 0000000000..7da0195607 --- /dev/null +++ b/test/files/neg/t3909.check @@ -0,0 +1,4 @@ +t3909.scala:1: error: in object DO, multiple overloaded alternatives of m1 define default arguments +object DO { + ^ +one error found diff --git a/test/files/neg/bug3909.scala b/test/files/neg/t3909.scala index 758dc70fd4..758dc70fd4 100644 --- a/test/files/neg/bug3909.scala +++ b/test/files/neg/t3909.scala diff --git a/test/files/neg/bug391.check b/test/files/neg/t391.check index 18f36a5757..879d9af71f 100644 --- a/test/files/neg/bug391.check +++ b/test/files/neg/t391.check @@ -1,13 +1,13 @@ -bug391.scala:2: error: identifier expected but 'def' found. +t391.scala:2: error: identifier expected but 'def' found. def fun1(def x: Int): Int = x; // the "def x" is illegal ^ -bug391.scala:4: error: ':' expected but '}' found. +t391.scala:4: error: ':' expected but '}' found. } ^ -bug391.scala:6: error: identifier expected but 'def' found. +t391.scala:6: error: identifier expected but 'def' found. class E(def x: Int); // the "def x" is illegal ^ -bug391.scala:6: error: ':' expected but eof found. +t391.scala:6: error: ':' expected but eof found. class E(def x: Int); // the "def x" is illegal ^ four errors found diff --git a/test/files/neg/bug391.scala b/test/files/neg/t391.scala index 08c083baa5..08c083baa5 100644 --- a/test/files/neg/bug391.scala +++ b/test/files/neg/t391.scala diff --git a/test/files/neg/t3913.check b/test/files/neg/t3913.check new file mode 100644 index 0000000000..d85e5c5bea --- /dev/null +++ b/test/files/neg/t3913.check @@ -0,0 +1,4 @@ +t3913.scala:2: error: super constructor cannot be passed a self reference unless parameter is declared by-name +object LimboStage extends Stage( Set( LimboStage )) + ^ +one error found diff --git a/test/files/neg/bug3913.scala b/test/files/neg/t3913.scala index e0917ff3e3..e0917ff3e3 100644 --- a/test/files/neg/bug3913.scala +++ b/test/files/neg/t3913.scala diff --git a/test/files/neg/t4069.check b/test/files/neg/t4069.check new file mode 100644 index 0000000000..91bf882cec --- /dev/null +++ b/test/files/neg/t4069.check @@ -0,0 +1,16 @@ +t4069.scala:7: error: unexpected end of input: possible missing '}' in XML block + case 2 => + ^ +t4069.scala:6: error: Missing closing brace `}' assumed here + </div> + ^ +t4069.scala:9: error: in XML literal: in XML content, please use '}}' to express '}' + } + ^ +t4069.scala:4: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <div> + <div> + ^ +t4069.scala:10: error: '}' expected but eof found. +} +^ +5 errors found diff --git a/test/files/neg/bug4069.scala b/test/files/neg/t4069.scala index 80df6ec16d..80df6ec16d 100644 --- a/test/files/neg/bug4069.scala +++ b/test/files/neg/t4069.scala diff --git a/test/files/neg/bug409.check b/test/files/neg/t409.check index 25e5a41d16..433d64d25d 100644 --- a/test/files/neg/bug409.check +++ b/test/files/neg/t409.check @@ -1,4 +1,4 @@ -bug409.scala:6: error: traits or objects may not have parameters +t409.scala:6: error: traits or objects may not have parameters class Toto extends Expr with Case1(12); ^ one error found diff --git a/test/files/neg/bug409.scala b/test/files/neg/t409.scala index 5dac2fdaa4..5dac2fdaa4 100644 --- a/test/files/neg/bug409.scala +++ b/test/files/neg/t409.scala diff --git a/test/files/neg/bug412.check b/test/files/neg/t412.check index f25ad6fa7e..9cb467e854 100644 --- a/test/files/neg/bug412.check +++ b/test/files/neg/t412.check @@ -1,4 +1,4 @@ -bug412.scala:11: error: stable identifier required, but A.this.c found. +t412.scala:11: error: stable identifier required, but A.this.c found. Note that value c is not stable because its type, A.this.CX with A.this.C2, is volatile. def castA(x: c.T): T2 = x; ^ diff --git a/test/files/neg/bug412.scala b/test/files/neg/t412.scala index 54cd90da1c..54cd90da1c 100644 --- a/test/files/neg/bug412.scala +++ b/test/files/neg/t412.scala diff --git a/test/files/neg/bug414.check b/test/files/neg/t414.check index 91bb39caf2..a855497648 100644 --- a/test/files/neg/bug414.check +++ b/test/files/neg/t414.check @@ -1,10 +1,10 @@ -bug414.scala:5: error: pattern type is incompatible with expected type; +t414.scala:5: error: pattern type is incompatible with expected type; found : object Empty required: IntMap[a] Note: if you intended to match against the class, try `case _: Empty[_]` or `case Empty()` case Empty => ^ -bug414.scala:7: error: type mismatch; +t414.scala:7: error: type mismatch; found : Unit required: a case _ => diff --git a/test/files/neg/bug414.scala b/test/files/neg/t414.scala index 2bc83eedcb..2bc83eedcb 100644 --- a/test/files/neg/bug414.scala +++ b/test/files/neg/t414.scala diff --git a/test/files/neg/bug4158.check b/test/files/neg/t4158.check index 0d9873dc32..db61ff2ec4 100644 --- a/test/files/neg/bug4158.check +++ b/test/files/neg/t4158.check @@ -1,4 +1,4 @@ -bug4158.scala:3: error: type mismatch; +t4158.scala:3: error: type mismatch; found : Null(null) required: Int Note that implicit conversions are not applicable because they are ambiguous: @@ -7,7 +7,7 @@ Note that implicit conversions are not applicable because they are ambiguous: are possible conversion functions from Null(null) to Int var y = null: Int ^ -bug4158.scala:2: error: type mismatch; +t4158.scala:2: error: type mismatch; found : Null(null) required: Int Note that implicit conversions are not applicable because they are ambiguous: diff --git a/test/files/neg/bug4158.scala b/test/files/neg/t4158.scala index 07aa69a95c..07aa69a95c 100644 --- a/test/files/neg/bug4158.scala +++ b/test/files/neg/t4158.scala diff --git a/test/files/neg/bug4166.check b/test/files/neg/t4166.check index 938dad1488..24129c54ad 100644 --- a/test/files/neg/bug4166.check +++ b/test/files/neg/t4166.check @@ -1,4 +1,4 @@ -bug4166.scala:3: error: super constructor arguments cannot reference unconstructed `this` +t4166.scala:3: error: super constructor arguments cannot reference unconstructed `this` class Demo extends Base(new { Demo.this }) { ^ one error found diff --git a/test/files/neg/bug4166.scala b/test/files/neg/t4166.scala index c20796c43c..c20796c43c 100644 --- a/test/files/neg/bug4166.scala +++ b/test/files/neg/t4166.scala diff --git a/test/files/neg/bug4174.check b/test/files/neg/t4174.check index 4881c000ea..914fcff76e 100644 --- a/test/files/neg/bug4174.check +++ b/test/files/neg/t4174.check @@ -1,4 +1,4 @@ -bug4174.scala:7: error: method bar overrides nothing +t4174.scala:7: error: method bar overrides nothing foo(new C { override def bar = 1 }) ^ one error found diff --git a/test/files/neg/bug4174.scala b/test/files/neg/t4174.scala index b4a5ab29da..b4a5ab29da 100644 --- a/test/files/neg/bug4174.scala +++ b/test/files/neg/t4174.scala diff --git a/test/files/neg/bug0418.check b/test/files/neg/t418.check index 08bd24bf29..1489547823 100644 --- a/test/files/neg/bug0418.check +++ b/test/files/neg/t418.check @@ -1,7 +1,7 @@ -bug0418.scala:2: error: not found: value Foo12340771 +t418.scala:2: error: not found: value Foo12340771 null match { case Foo12340771.Bar(x) => x } ^ -bug0418.scala:2: error: not found: value x +t418.scala:2: error: not found: value x null match { case Foo12340771.Bar(x) => x } ^ two errors found diff --git a/test/files/neg/bug418.scala b/test/files/neg/t418.scala index 67007010d4..67007010d4 100644 --- a/test/files/neg/bug418.scala +++ b/test/files/neg/t418.scala diff --git a/test/files/neg/bug4196.check b/test/files/neg/t4196.check index 0905d2e6a7..a0586819e9 100644 --- a/test/files/neg/bug4196.check +++ b/test/files/neg/t4196.check @@ -1,4 +1,4 @@ -bug4196.scala:5: error: Some[String] does not take parameters +t4196.scala:5: error: Some[String] does not take parameters }.apply("first param") ("spurious param") ^ one error found diff --git a/test/files/neg/bug4196.scala b/test/files/neg/t4196.scala index 06e1f28d54..06e1f28d54 100644 --- a/test/files/neg/bug4196.scala +++ b/test/files/neg/t4196.scala diff --git a/test/files/neg/bug421.check b/test/files/neg/t421.check index 71daba2881..e81df52ab0 100644 --- a/test/files/neg/bug421.check +++ b/test/files/neg/t421.check @@ -1,4 +1,4 @@ -bug421.scala:5: error: star patterns must correspond with varargs parameters +t421.scala:5: error: star patterns must correspond with varargs parameters case Bar("foo",_*) => error("huh?"); ^ one error found diff --git a/test/files/neg/bug421.scala b/test/files/neg/t421.scala index 43f6c9dafd..43f6c9dafd 100644 --- a/test/files/neg/bug421.scala +++ b/test/files/neg/t421.scala diff --git a/test/files/neg/t4217.check b/test/files/neg/t4217.check new file mode 100644 index 0000000000..e8cd5fd69e --- /dev/null +++ b/test/files/neg/t4217.check @@ -0,0 +1,4 @@ +t4217.scala:2: error: 'case' expected but '}' found. + 42 match { } + ^ +one error found diff --git a/test/files/neg/bug4217.scala b/test/files/neg/t4217.scala index 0817df2cb7..0817df2cb7 100644 --- a/test/files/neg/bug4217.scala +++ b/test/files/neg/t4217.scala diff --git a/test/files/neg/bug4221.check b/test/files/neg/t4221.check index 471332e3c1..46c2d10a98 100644 --- a/test/files/neg/bug4221.check +++ b/test/files/neg/t4221.check @@ -1,4 +1,4 @@ -bug4221.scala:8: error: type mismatch; +t4221.scala:8: error: type mismatch; found : Unit required: Wrapper[S] def wrap[S <: Cl#Sub[S]](v: S): Wrapper[S] = { diff --git a/test/files/neg/bug4221.scala b/test/files/neg/t4221.scala index 0a8b8add18..0a8b8add18 100644 --- a/test/files/neg/bug4221.scala +++ b/test/files/neg/t4221.scala diff --git a/test/files/neg/bug4302.check b/test/files/neg/t4302.check index ca33748cfd..327425acb0 100644 --- a/test/files/neg/bug4302.check +++ b/test/files/neg/t4302.check @@ -1,4 +1,4 @@ -bug4302.scala:2: error: abstract type T in type T is unchecked since it is eliminated by erasure +t4302.scala:2: error: abstract type T in type T is unchecked since it is eliminated by erasure def hasMatch[T](x: AnyRef) = x.isInstanceOf[T] ^ one error found diff --git a/test/files/neg/bug4302.flags b/test/files/neg/t4302.flags index 779916d58f..779916d58f 100644 --- a/test/files/neg/bug4302.flags +++ b/test/files/neg/t4302.flags diff --git a/test/files/neg/bug4302.scala b/test/files/neg/t4302.scala index 53565f05c2..53565f05c2 100644 --- a/test/files/neg/bug4302.scala +++ b/test/files/neg/t4302.scala diff --git a/test/files/neg/t4419.check b/test/files/neg/t4419.check new file mode 100644 index 0000000000..8a5d95ca4e --- /dev/null +++ b/test/files/neg/t4419.check @@ -0,0 +1,4 @@ +t4419.scala:2: error: forward reference extends over definition of value b + { val b = a; val a = 1 } + ^ +one error found diff --git a/test/files/neg/bug4419.scala b/test/files/neg/t4419.scala index 38a34be489..38a34be489 100644 --- a/test/files/neg/bug4419.scala +++ b/test/files/neg/t4419.scala diff --git a/test/files/neg/bug452.check b/test/files/neg/t452.check index ac23ebc560..85197af21b 100644 --- a/test/files/neg/bug452.check +++ b/test/files/neg/t452.check @@ -1,4 +1,4 @@ -bug452.scala:3: error: type mismatch; +t452.scala:3: error: type mismatch; found : Test.type (with underlying type object Test) required: Test.Foo def this() = this(this); diff --git a/test/files/neg/bug452.scala b/test/files/neg/t452.scala index 855406d0c4..855406d0c4 100644 --- a/test/files/neg/bug452.scala +++ b/test/files/neg/t452.scala diff --git a/test/files/neg/bug4537.check b/test/files/neg/t4537.check index 931bcd0405..931bcd0405 100644 --- a/test/files/neg/bug4537.check +++ b/test/files/neg/t4537.check diff --git a/test/files/neg/bug4537/a.scala b/test/files/neg/t4537/a.scala index 65e183c5f8..65e183c5f8 100644 --- a/test/files/neg/bug4537/a.scala +++ b/test/files/neg/t4537/a.scala diff --git a/test/files/neg/bug4537/b.scala b/test/files/neg/t4537/b.scala index bb9dd4e15a..bb9dd4e15a 100644 --- a/test/files/neg/bug4537/b.scala +++ b/test/files/neg/t4537/b.scala diff --git a/test/files/neg/bug4537/c.scala b/test/files/neg/t4537/c.scala index 379599112d..379599112d 100644 --- a/test/files/neg/bug4537/c.scala +++ b/test/files/neg/t4537/c.scala diff --git a/test/files/neg/bug4584.check b/test/files/neg/t4584.check index 0008d9efa5..3380f02e85 100644 --- a/test/files/neg/bug4584.check +++ b/test/files/neg/t4584.check @@ -1,4 +1,4 @@ -bug4584.scala:1: error: incomplete unicode escape +t4584.scala:1: error: incomplete unicode escape class A { val \u2 ^ one error found diff --git a/test/files/neg/bug4584.scala b/test/files/neg/t4584.scala index b34aba91a2..b34aba91a2 100644 --- a/test/files/neg/bug4584.scala +++ b/test/files/neg/t4584.scala diff --git a/test/files/neg/t464-neg.check b/test/files/neg/t464-neg.check new file mode 100644 index 0000000000..aea1987b2e --- /dev/null +++ b/test/files/neg/t464-neg.check @@ -0,0 +1,16 @@ +t464-neg.scala:7: error: not found: value f1 + f1() + ^ +t464-neg.scala:8: error: method f1 in class A cannot be accessed in A with ScalaObject + super.f1() + ^ +t464-neg.scala:9: error: value f2 is not a member of B + def otherb(b2: B) = b2.f2() + ^ +t464-neg.scala:10: error: method f3 in class A cannot be accessed in B + f3() + ^ +t464-neg.scala:11: error: method f3 in class A cannot be accessed in A with ScalaObject + super.f3() + ^ +5 errors found diff --git a/test/files/neg/bug464-neg.scala b/test/files/neg/t464-neg.scala index 138fa8e869..138fa8e869 100644 --- a/test/files/neg/bug464-neg.scala +++ b/test/files/neg/t464-neg.scala diff --git a/test/files/neg/bug4727.check b/test/files/neg/t4727.check index cac35b1548..9fa0fa54d1 100644 --- a/test/files/neg/bug4727.check +++ b/test/files/neg/t4727.check @@ -1,4 +1,4 @@ -bug4727.scala:5: error: type mismatch; +t4727.scala:5: error: type mismatch; found : Null required: Int Note that implicit conversions are not applicable because they are ambiguous: diff --git a/test/files/neg/bug4727.scala b/test/files/neg/t4727.scala index 40c06713ca..40c06713ca 100644 --- a/test/files/neg/bug4727.scala +++ b/test/files/neg/t4727.scala diff --git a/test/files/neg/t473.check b/test/files/neg/t473.check new file mode 100644 index 0000000000..a14222c962 --- /dev/null +++ b/test/files/neg/t473.check @@ -0,0 +1,4 @@ +t473.scala:3: error: super constructor cannot be passed a self reference unless parameter is declared by-name +case object Voop extends Foo(Voop) + ^ +one error found diff --git a/test/files/neg/bug473.scala b/test/files/neg/t473.scala index c7631705ac..c7631705ac 100644 --- a/test/files/neg/bug473.scala +++ b/test/files/neg/t473.scala diff --git a/test/files/neg/bug4851.check b/test/files/neg/t4851.check index 8011350f23..8011350f23 100644 --- a/test/files/neg/bug4851.check +++ b/test/files/neg/t4851.check diff --git a/test/files/neg/bug4851.flags b/test/files/neg/t4851.flags index 0545cb8b84..0545cb8b84 100644 --- a/test/files/neg/bug4851.flags +++ b/test/files/neg/t4851.flags diff --git a/test/files/neg/bug4851/J.java b/test/files/neg/t4851/J.java index 9c35b8a16e..9c35b8a16e 100644 --- a/test/files/neg/bug4851/J.java +++ b/test/files/neg/t4851/J.java diff --git a/test/files/neg/bug4851/J2.java b/test/files/neg/t4851/J2.java index 82954d9489..82954d9489 100644 --- a/test/files/neg/bug4851/J2.java +++ b/test/files/neg/t4851/J2.java diff --git a/test/files/neg/bug4851/S.scala b/test/files/neg/t4851/S.scala index deb42980ab..deb42980ab 100644 --- a/test/files/neg/bug4851/S.scala +++ b/test/files/neg/t4851/S.scala diff --git a/test/files/neg/bug4877.check b/test/files/neg/t4877.check index 6970271c40..5a5561b070 100644 --- a/test/files/neg/bug4877.check +++ b/test/files/neg/t4877.check @@ -1,19 +1,19 @@ -bug4877.scala:4: error: type mismatch; +t4877.scala:4: error: type mismatch; found : java.lang.Object{def bar: Int} required: AnyRef{def bar: String} def foo: AnyRef { def bar: String } = new AnyRef { def bar = 42 } ^ -bug4877.scala:6: error: type mismatch; +t4877.scala:6: error: type mismatch; found : java.lang.Object{def bar(x: Int): java.lang.String} required: AnyRef{def bar(x: Int): Int} def foo3: AnyRef { def bar(x: Int): Int } = new AnyRef { def bar(x: Int) = "abc" } ^ -bug4877.scala:7: error: type mismatch; +t4877.scala:7: error: type mismatch; found : java.lang.Object with C{def bar(x: Int): Int} required: C{def bar(x: Int): Int; def quux(x: Int): Int} def foo4: C { def bar(x: Int): Int ; def quux(x: Int): Int } = new C { def bar(x: Int) = 5 } ^ -bug4877.scala:17: error: type mismatch; +t4877.scala:17: error: type mismatch; found : java.lang.Object{type Mom = String; def bar(x: Int): Int; def bippy(): List[Int]} required: B.this.Bippy (which expands to) AnyRef{type Mom; def bar(x: Int): this.Mom; def bippy(): List[this.Mom]} diff --git a/test/files/neg/bug4877.flags b/test/files/neg/t4877.flags index 7ccd56103a..7ccd56103a 100644 --- a/test/files/neg/bug4877.flags +++ b/test/files/neg/t4877.flags diff --git a/test/files/neg/bug4877.scala b/test/files/neg/t4877.scala index 5d97877518..5d97877518 100644 --- a/test/files/neg/bug4877.scala +++ b/test/files/neg/t4877.scala diff --git a/test/files/neg/bug4879.check b/test/files/neg/t4879.check index 6b9e452109..49f3c73cf7 100644 --- a/test/files/neg/bug4879.check +++ b/test/files/neg/t4879.check @@ -1,10 +1,10 @@ -bug4879.scala:6: error: pattern type is incompatible with expected type; +t4879.scala:6: error: pattern type is incompatible with expected type; found : object C required: C Note: if you intended to match against the class, try `case _: C` or `case C(_)` case C => true ^ -bug4879.scala:10: error: pattern type is incompatible with expected type; +t4879.scala:10: error: pattern type is incompatible with expected type; found : object D required: D[T,U,V] Note: if you intended to match against the class, try `case _: D[_,_,_]` or `case D(_,_,_)` diff --git a/test/files/neg/bug4879.scala b/test/files/neg/t4879.scala index 7d6561e9e0..7d6561e9e0 100644 --- a/test/files/neg/bug4879.scala +++ b/test/files/neg/t4879.scala diff --git a/test/files/neg/bug4882.check b/test/files/neg/t4882.check index 2987cabe7f..0aafc82770 100644 --- a/test/files/neg/bug4882.check +++ b/test/files/neg/t4882.check @@ -1,4 +1,4 @@ -bug4882.scala:2: error: `implicit' modifier not allowed for constructors +t4882.scala:2: error: `implicit' modifier not allowed for constructors implicit def this(a: String) = this(a.toInt) ^ one error found diff --git a/test/files/neg/bug4882.scala b/test/files/neg/t4882.scala index 4e58ef7879..4e58ef7879 100644 --- a/test/files/neg/bug4882.scala +++ b/test/files/neg/t4882.scala diff --git a/test/files/neg/t500.check b/test/files/neg/t500.check new file mode 100644 index 0000000000..b3f5c85978 --- /dev/null +++ b/test/files/neg/t500.check @@ -0,0 +1,4 @@ +t500.scala:3: error: lower bound X does not conform to upper bound Y + type T >: X <: Y; + ^ +one error found diff --git a/test/files/neg/bug500.scala b/test/files/neg/t500.scala index d843d71f07..d843d71f07 100644 --- a/test/files/neg/bug500.scala +++ b/test/files/neg/t500.scala diff --git a/test/files/neg/bug501.check b/test/files/neg/t501.check index 112e49aad5..3e3bf39075 100644 --- a/test/files/neg/bug501.check +++ b/test/files/neg/t501.check @@ -1,4 +1,4 @@ -bug501.scala:3: error: lower bound X does not conform to upper bound Y +t501.scala:3: error: lower bound X does not conform to upper bound Y abstract class I { type T >: X <: Y; } ^ one error found diff --git a/test/files/neg/bug501.scala b/test/files/neg/t501.scala index 437ab8f21e..437ab8f21e 100644 --- a/test/files/neg/bug501.scala +++ b/test/files/neg/t501.scala diff --git a/test/files/neg/t510.check b/test/files/neg/t510.check new file mode 100644 index 0000000000..355a6cdf07 --- /dev/null +++ b/test/files/neg/t510.check @@ -0,0 +1,4 @@ +t510.scala:19: error: cyclic aliasing or subtyping involving type T + def g(t: e.T): Unit = { + ^ +one error found diff --git a/test/files/neg/bug510.scala b/test/files/neg/t510.scala index a1cd2df009..a1cd2df009 100644 --- a/test/files/neg/bug510.scala +++ b/test/files/neg/t510.scala diff --git a/test/files/neg/bug512.check b/test/files/neg/t512.check index f3d0e18a79..814e65e405 100644 --- a/test/files/neg/bug512.check +++ b/test/files/neg/t512.check @@ -1,4 +1,4 @@ -bug512.scala:3: error: not found: value something +t512.scala:3: error: not found: value something val xxx = something || ^ one error found diff --git a/test/files/neg/bug512.scala b/test/files/neg/t512.scala index 0a0ccde75c..0a0ccde75c 100644 --- a/test/files/neg/bug512.scala +++ b/test/files/neg/t512.scala diff --git a/test/files/neg/bug515.check b/test/files/neg/t515.check index a38c8b62d8..351e99aa55 100644 --- a/test/files/neg/bug515.check +++ b/test/files/neg/t515.check @@ -1,4 +1,4 @@ -bug515.scala:7: error: type mismatch; +t515.scala:7: error: type mismatch; found : java.lang.String required: Test.Truc val parent: Truc = file.getMachin diff --git a/test/files/neg/bug515.scala b/test/files/neg/t515.scala index bb2376dcab..bb2376dcab 100644 --- a/test/files/neg/bug515.scala +++ b/test/files/neg/t515.scala diff --git a/test/files/neg/bug520.check b/test/files/neg/t520.check index 258f8112e3..0035f89a79 100644 --- a/test/files/neg/bug520.check +++ b/test/files/neg/t520.check @@ -1,4 +1,4 @@ -bug520.scala:8: error: overloaded method verifyKeyword needs result type +t520.scala:8: error: overloaded method verifyKeyword needs result type verifyKeyword("", source, pos); ^ one error found diff --git a/test/files/neg/bug520.scala b/test/files/neg/t520.scala index 076aca3122..076aca3122 100644 --- a/test/files/neg/bug520.scala +++ b/test/files/neg/t520.scala diff --git a/test/files/neg/t521.check b/test/files/neg/t521.check new file mode 100644 index 0000000000..a100195655 --- /dev/null +++ b/test/files/neg/t521.check @@ -0,0 +1,15 @@ +t521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined +class PlainFile(val file : File) extends AbstractFile {} + ^ +t521.scala:13: error: overriding value file in class PlainFile of type java.io.File; + value file needs `override' modifier +final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { + ^ +t521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => String is not defined +final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { + ^ +t521.scala:15: error: overriding value path in class VirtualFile of type String; + method path needs to be a stable, immutable value + override def path = ""; + ^ +four errors found diff --git a/test/files/neg/bug521.scala b/test/files/neg/t521.scala index c6afebc0be..c6afebc0be 100644 --- a/test/files/neg/bug521.scala +++ b/test/files/neg/t521.scala diff --git a/test/files/neg/t545.check b/test/files/neg/t545.check new file mode 100644 index 0000000000..8ebbf9bdf6 --- /dev/null +++ b/test/files/neg/t545.check @@ -0,0 +1,7 @@ +t545.scala:4: error: value blah is not a member of Test.Foo + val x = foo.blah match { + ^ +t545.scala:5: error: recursive value x needs type + case List(x) => x + ^ +two errors found diff --git a/test/files/neg/bug545.scala b/test/files/neg/t545.scala index f1f9909dcb..f1f9909dcb 100644 --- a/test/files/neg/bug545.scala +++ b/test/files/neg/t545.scala diff --git a/test/files/neg/t550.check b/test/files/neg/t550.check new file mode 100644 index 0000000000..da862e110e --- /dev/null +++ b/test/files/neg/t550.check @@ -0,0 +1,7 @@ +t550.scala:6: error: type List takes type parameters + def sum[a](xs: List)(implicit m: Monoid[a]): a = + ^ +t550.scala:8: error: could not find implicit value for parameter m: Monoid[a] + sum(List(1,2,3)) + ^ +two errors found diff --git a/test/files/neg/bug550.scala b/test/files/neg/t550.scala index 5212a2658d..5212a2658d 100644 --- a/test/files/neg/bug550.scala +++ b/test/files/neg/t550.scala diff --git a/test/files/neg/bug556.check b/test/files/neg/t556.check index 26aa2f1129..c278e13991 100644 --- a/test/files/neg/bug556.check +++ b/test/files/neg/t556.check @@ -1,4 +1,4 @@ -bug556.scala:3: error: wrong number of parameters; expected = 1 +t556.scala:3: error: wrong number of parameters; expected = 1 def g:Int = f((x,y)=>x) ^ one error found diff --git a/test/files/neg/bug556.scala b/test/files/neg/t556.scala index b0113258c9..b0113258c9 100644 --- a/test/files/neg/bug556.scala +++ b/test/files/neg/t556.scala diff --git a/test/files/neg/bug558.check b/test/files/neg/t558.check index 061f64f7bb..f33ddc451f 100644 --- a/test/files/neg/bug558.check +++ b/test/files/neg/t558.check @@ -1,4 +1,4 @@ -bug558.scala:13: error: value file is not a member of NewModel.this.RootURL +t558.scala:13: error: value file is not a member of NewModel.this.RootURL final val source = top.file; ^ one error found diff --git a/test/files/neg/bug558.scala b/test/files/neg/t558.scala index 58b030347c..58b030347c 100644 --- a/test/files/neg/bug558.scala +++ b/test/files/neg/t558.scala diff --git a/test/files/neg/bug562.check b/test/files/neg/t562.check index 638d758b8d..8c3823642a 100644 --- a/test/files/neg/bug562.check +++ b/test/files/neg/t562.check @@ -1,4 +1,4 @@ -bug562.scala:10: error: super may be not be used on value y +t562.scala:10: error: super may be not be used on value y override val y = super.y; ^ one error found diff --git a/test/files/neg/bug562.scala b/test/files/neg/t562.scala index c4a6e61742..c4a6e61742 100644 --- a/test/files/neg/bug562.scala +++ b/test/files/neg/t562.scala diff --git a/test/files/neg/bug563.check b/test/files/neg/t563.check index c592a56100..1431c85eb0 100644 --- a/test/files/neg/bug563.check +++ b/test/files/neg/t563.check @@ -1,4 +1,4 @@ -bug563.scala:6: error: missing parameter type +t563.scala:6: error: missing parameter type map(n,ptr => Option(ptr.get)); ^ one error found diff --git a/test/files/neg/bug563.scala b/test/files/neg/t563.scala index 204ad3cbdd..204ad3cbdd 100644 --- a/test/files/neg/bug563.scala +++ b/test/files/neg/t563.scala diff --git a/test/files/neg/bug565.check b/test/files/neg/t565.check index 47a1ebd169..136cc94b6f 100644 --- a/test/files/neg/bug565.check +++ b/test/files/neg/t565.check @@ -1,4 +1,4 @@ -bug565.scala:2: error: only classes can have declared but undefined members +t565.scala:2: error: only classes can have declared but undefined members (Note that variables need to be initialized to be defined) var s0: String ^ diff --git a/test/files/neg/bug565.scala b/test/files/neg/t565.scala index 9a4732fcc3..9a4732fcc3 100644 --- a/test/files/neg/bug565.scala +++ b/test/files/neg/t565.scala diff --git a/test/files/neg/bug576.check b/test/files/neg/t576.check index b496ccafd4..7105c92866 100644 --- a/test/files/neg/bug576.check +++ b/test/files/neg/t576.check @@ -1,4 +1,4 @@ -bug576.scala:14: error: overloaded method insert needs result type +t576.scala:14: error: overloaded method insert needs result type if (true) sibling.insert(node); ^ one error found diff --git a/test/files/neg/bug576.scala b/test/files/neg/t576.scala index fd83217a45..fd83217a45 100644 --- a/test/files/neg/bug576.scala +++ b/test/files/neg/t576.scala diff --git a/test/files/neg/t585.check b/test/files/neg/t585.check new file mode 100644 index 0000000000..d332ac5414 --- /dev/null +++ b/test/files/neg/t585.check @@ -0,0 +1,4 @@ +t585.scala:1: error: unclosed comment +/* +^ +one error found diff --git a/test/files/neg/bug585.scala b/test/files/neg/t585.scala index 0875e2cb0f..0875e2cb0f 100644 --- a/test/files/neg/bug585.scala +++ b/test/files/neg/t585.scala diff --git a/test/files/neg/bug588.check b/test/files/neg/t588.check index 8c01ac5b09..f8b5516fdc 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/t588.check @@ -1,10 +1,10 @@ -bug588.scala:3: error: double definition: +t588.scala:3: error: double definition: method visit:(f: Int => String)Boolean and method visit:(f: Int => Unit)Boolean at line 2 have same type after erasure: (f: Function1)Boolean def visit(f: Int => String): Boolean ^ -bug588.scala:10: error: double definition: +t588.scala:10: error: double definition: method f:(brac: Test.this.TypeB)Unit and method f:(node: Test.this.TypeA)Unit at line 9 have same type after erasure: (brac: Test#TraitA)Unit diff --git a/test/files/neg/bug588.scala b/test/files/neg/t588.scala index f30937377e..f30937377e 100644 --- a/test/files/neg/bug588.scala +++ b/test/files/neg/t588.scala diff --git a/test/files/neg/bug591.check b/test/files/neg/t591.check index 2c2e08da99..434c2dd002 100644 --- a/test/files/neg/bug591.check +++ b/test/files/neg/t591.check @@ -1,4 +1,4 @@ -bug591.scala:38: error: method input_= is defined twice +t591.scala:38: error: method input_= is defined twice def input_=(in : Input) = {} ^ one error found diff --git a/test/files/neg/bug591.scala b/test/files/neg/t591.scala index 0f0b02395c..0f0b02395c 100644 --- a/test/files/neg/bug591.scala +++ b/test/files/neg/t591.scala diff --git a/test/files/neg/t593.check b/test/files/neg/t593.check new file mode 100644 index 0000000000..c1aeab8ec4 --- /dev/null +++ b/test/files/neg/t593.check @@ -0,0 +1,4 @@ +t593.scala:1: error: traits or objects may not have parameters +trait Wrapper[T](x : T) { + ^ +one error found diff --git a/test/files/neg/bug593.scala b/test/files/neg/t593.scala index df7199a42a..df7199a42a 100644 --- a/test/files/neg/bug593.scala +++ b/test/files/neg/t593.scala diff --git a/test/files/neg/bug608.check b/test/files/neg/t608.check index a8e32e4c10..5c7f49d004 100644 --- a/test/files/neg/bug608.check +++ b/test/files/neg/t608.check @@ -1,4 +1,4 @@ -bug608.scala:16: error: type mismatch; +t608.scala:16: error: type mismatch; found : hs{type a = ha} required: hs{type s = hs; type a = ha} = g(f(x).bimap(id)) diff --git a/test/files/neg/bug608.scala b/test/files/neg/t608.scala index 34dc4c0352..34dc4c0352 100644 --- a/test/files/neg/bug608.scala +++ b/test/files/neg/t608.scala diff --git a/test/files/neg/bug630.check b/test/files/neg/t630.check index 739d214fe5..0814ef0c18 100644 --- a/test/files/neg/bug630.check +++ b/test/files/neg/t630.check @@ -1,4 +1,4 @@ -bug630.scala:20: error: overriding value foo in trait Bar of type Req2; +t630.scala:20: error: overriding value foo in trait Bar of type Req2; object foo has incompatible type object foo extends Req1 ^ diff --git a/test/files/neg/bug630.scala b/test/files/neg/t630.scala index 8a073963b0..8a073963b0 100644 --- a/test/files/neg/bug630.scala +++ b/test/files/neg/t630.scala diff --git a/test/files/neg/t631.check b/test/files/neg/t631.check new file mode 100644 index 0000000000..3759565e11 --- /dev/null +++ b/test/files/neg/t631.check @@ -0,0 +1,4 @@ +t631.scala:1: error: `implicit' modifier cannot be used for top-level objects +implicit object Test { + ^ +one error found diff --git a/test/files/neg/bug631.scala b/test/files/neg/t631.scala index 631db3eb10..631db3eb10 100644 --- a/test/files/neg/bug631.scala +++ b/test/files/neg/t631.scala diff --git a/test/files/neg/bug633.check b/test/files/neg/t633.check index 90f2f42c18..d69d3be70e 100644 --- a/test/files/neg/bug633.check +++ b/test/files/neg/t633.check @@ -1,4 +1,4 @@ -bug633.scala:3: error: not found: type ListBuffer +t633.scala:3: error: not found: type ListBuffer def t(a : ListBuffer[String]) = { ^ one error found diff --git a/test/files/neg/bug633.scala b/test/files/neg/t633.scala index fd4e560720..fd4e560720 100644 --- a/test/files/neg/bug633.scala +++ b/test/files/neg/t633.scala diff --git a/test/files/neg/t639.check b/test/files/neg/t639.check new file mode 100644 index 0000000000..3b53da0515 --- /dev/null +++ b/test/files/neg/t639.check @@ -0,0 +1,4 @@ +t639.scala:3: error: not found: object a +import a._ + ^ +one error found diff --git a/test/files/neg/bug639.scala b/test/files/neg/t639.scala index eaeed944a4..eaeed944a4 100644 --- a/test/files/neg/bug639.scala +++ b/test/files/neg/t639.scala diff --git a/test/files/neg/t649.check b/test/files/neg/t649.check new file mode 100644 index 0000000000..5a270d4751 --- /dev/null +++ b/test/files/neg/t649.check @@ -0,0 +1,4 @@ +t649.scala:3: error: overloaded method foo needs result type + def foo[A] = foo[A] + ^ +one error found diff --git a/test/files/neg/bug649.scala b/test/files/neg/t649.scala index 2519eb5cf3..2519eb5cf3 100644 --- a/test/files/neg/bug649.scala +++ b/test/files/neg/t649.scala diff --git a/test/files/neg/bug650.check b/test/files/neg/t650.check index 1120d68879..320ae66704 100644 --- a/test/files/neg/bug650.check +++ b/test/files/neg/t650.check @@ -1,4 +1,4 @@ -bug650.scala:4: error: missing type arguments +t650.scala:4: error: missing type arguments trait Test2 extends LinkedList; ^ one error found diff --git a/test/files/neg/bug650.scala b/test/files/neg/t650.scala index cdb4b3da47..cdb4b3da47 100644 --- a/test/files/neg/bug650.scala +++ b/test/files/neg/t650.scala diff --git a/test/files/neg/bug663.check b/test/files/neg/t663.check index 6ae7198f0d..a790a7d70a 100644 --- a/test/files/neg/bug663.check +++ b/test/files/neg/t663.check @@ -1,4 +1,4 @@ -bug663.scala:11: error: name clash between defined and inherited member: +t663.scala:11: error: name clash between defined and inherited member: method asMatch:(m: Test.this.Node)Any and method asMatch:(node: Test.this.Matchable)Any in trait MatchableImpl have same type after erasure: (m: test.Test#NodeImpl)java.lang.Object diff --git a/test/files/neg/bug663.scala b/test/files/neg/t663.scala index 797c4a300d..797c4a300d 100644 --- a/test/files/neg/bug663.scala +++ b/test/files/neg/t663.scala diff --git a/test/files/neg/t664.check b/test/files/neg/t664.check new file mode 100644 index 0000000000..43a6bea074 --- /dev/null +++ b/test/files/neg/t664.check @@ -0,0 +1,7 @@ +t664.scala:4: error: type Foo is not a member of test.Test with ScalaObject + trait Foo extends super.Foo { + ^ +t664.scala:5: error: type Bar is not a member of AnyRef with ScalaObject + trait Bar extends super.Bar; + ^ +two errors found diff --git a/test/files/neg/bug664.scala b/test/files/neg/t664.scala index f3b8d06053..f3b8d06053 100644 --- a/test/files/neg/bug664.scala +++ b/test/files/neg/t664.scala diff --git a/test/files/neg/bug667.check b/test/files/neg/t667.check index 704e3178ff..d4367bc87b 100644 --- a/test/files/neg/bug667.check +++ b/test/files/neg/t667.check @@ -1,4 +1,4 @@ -bug667.scala:8: error: class Ni inherits itself +t667.scala:8: error: class Ni inherits itself class Ni extends super.Ni with Ni; ^ one error found diff --git a/test/files/neg/bug667.scala b/test/files/neg/t667.scala index a79bc272e4..a79bc272e4 100644 --- a/test/files/neg/bug667.scala +++ b/test/files/neg/t667.scala diff --git a/test/files/neg/bug668.check b/test/files/neg/t668.check index 10be0c8d14..b057ca7936 100644 --- a/test/files/neg/bug668.check +++ b/test/files/neg/t668.check @@ -1,4 +1,4 @@ -bug668.scala:1: error: type Iterable takes type parameters +t668.scala:1: error: type Iterable takes type parameters class Test extends Iterable ^ one error found diff --git a/test/files/neg/bug668.scala b/test/files/neg/t668.scala index 3256037b1e..3256037b1e 100644 --- a/test/files/neg/bug668.scala +++ b/test/files/neg/t668.scala diff --git a/test/files/neg/bug677.check b/test/files/neg/t677.check index 5b0bb2705f..122830a98f 100644 --- a/test/files/neg/bug677.check +++ b/test/files/neg/t677.check @@ -1,4 +1,4 @@ -bug677.scala:2: error: type mismatch; +t677.scala:2: error: type mismatch; found : () => Int required: Nothing val zx: Nothing = {() => 4} diff --git a/test/files/neg/bug677.scala b/test/files/neg/t677.scala index c65ee9640f..c65ee9640f 100644 --- a/test/files/neg/bug677.scala +++ b/test/files/neg/t677.scala diff --git a/test/files/neg/bug691.check b/test/files/neg/t691.check index 47ac8c3888..77ff7b1d02 100644 --- a/test/files/neg/bug691.check +++ b/test/files/neg/t691.check @@ -1,4 +1,4 @@ -bug691.scala:27: error: ambiguous parent class qualifier +t691.scala:27: error: ambiguous parent class qualifier trait TiC extends super[Arrow].Ti2 with super[AssignArrow].Ti1; ^ one error found diff --git a/test/files/neg/bug691.scala b/test/files/neg/t691.scala index 233476f658..233476f658 100644 --- a/test/files/neg/bug691.scala +++ b/test/files/neg/t691.scala diff --git a/test/files/neg/bug692.check b/test/files/neg/t692.check index 9e96027899..12b7d40ba5 100644 --- a/test/files/neg/bug692.check +++ b/test/files/neg/t692.check @@ -1,24 +1,24 @@ -bug692.scala:3: error: not found: type T +t692.scala:3: error: not found: type T trait Type[T0] extends Type0[T]; ^ -bug692.scala:10: error: class Foo takes type parameters +t692.scala:10: error: class Foo takes type parameters case class FooType() extends ClassType[Foo,AnyRef](ObjectType()); ^ -bug692.scala:13: error: class Foo takes type parameters +t692.scala:13: error: class Foo takes type parameters case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType); ^ -bug692.scala:13: error: class Foo takes type parameters +t692.scala:13: error: class Foo takes type parameters case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType); ^ -bug692.scala:14: error: class Foo takes type parameters +t692.scala:14: error: class Foo takes type parameters implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = ^ -bug692.scala:15: error: type mismatch; +t692.scala:15: error: type mismatch; found : test3.this.BarType[T4] required: test3.this.RefType[test3.this.Bar[T4]] BarType(elem); ^ -bug692.scala:19: error: class Foo takes type parameters +t692.scala:19: error: class Foo takes type parameters class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo; ^ 7 errors found diff --git a/test/files/neg/bug692.scala b/test/files/neg/t692.scala index 24e1d2fea3..24e1d2fea3 100644 --- a/test/files/neg/bug692.scala +++ b/test/files/neg/t692.scala diff --git a/test/files/neg/t693.check b/test/files/neg/t693.check new file mode 100644 index 0000000000..62325b5c60 --- /dev/null +++ b/test/files/neg/t693.check @@ -0,0 +1,4 @@ +t693.scala:4: error: x is already defined as value x + val x : Int = 10; + ^ +one error found diff --git a/test/files/neg/bug693.scala b/test/files/neg/t693.scala index 3a9e6247a8..3a9e6247a8 100644 --- a/test/files/neg/bug693.scala +++ b/test/files/neg/t693.scala diff --git a/test/files/neg/bug696.check b/test/files/neg/t696.check index 1ca740c211..ac26a864a5 100644 --- a/test/files/neg/bug696.check +++ b/test/files/neg/t696.check @@ -1,4 +1,4 @@ -bug696.scala:4: error: diverging implicit expansion for type TypeUtil0.Type[Any] +t696.scala:4: error: diverging implicit expansion for type TypeUtil0.Type[Any] starting with method WithType in object TypeUtil0 as[Any](null); ^ diff --git a/test/files/neg/bug696.scala b/test/files/neg/t696.scala index a06a32141a..a06a32141a 100644 --- a/test/files/neg/bug696.scala +++ b/test/files/neg/t696.scala diff --git a/test/files/neg/t700.check b/test/files/neg/t700.check new file mode 100644 index 0000000000..4c0a2e5fda --- /dev/null +++ b/test/files/neg/t700.check @@ -0,0 +1,4 @@ +t700.scala:6: error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' + def foobar: Unit = super.foobar + ^ +one error found diff --git a/test/files/neg/bug700.scala b/test/files/neg/t700.scala index b08c8b5529..b08c8b5529 100644 --- a/test/files/neg/bug700.scala +++ b/test/files/neg/t700.scala diff --git a/test/files/neg/bug708.check b/test/files/neg/t708.check index cfeb01c87f..15a9c9ed93 100644 --- a/test/files/neg/bug708.check +++ b/test/files/neg/t708.check @@ -1,4 +1,4 @@ -bug708.scala:8: error: overriding type S in trait X with bounds >: Nothing <: A.this.T; +t708.scala:8: error: overriding type S in trait X with bounds >: Nothing <: A.this.T; type S has incompatible type override private[A] type S = Any; ^ diff --git a/test/files/neg/bug708.scala b/test/files/neg/t708.scala index f86a005811..f86a005811 100644 --- a/test/files/neg/bug708.scala +++ b/test/files/neg/t708.scala diff --git a/test/files/neg/bug712.check b/test/files/neg/t712.check index 532eb4aec0..6819dc0ce9 100644 --- a/test/files/neg/bug712.check +++ b/test/files/neg/t712.check @@ -1,4 +1,4 @@ -bug712.scala:10: error: value self is not a member of B.this.ParentImpl +t712.scala:10: error: value self is not a member of B.this.ParentImpl implicit def coerce(p : ParentImpl) = p.self; ^ one error found diff --git a/test/files/neg/bug712.scala b/test/files/neg/t712.scala index 6f2627743f..6f2627743f 100644 --- a/test/files/neg/bug712.scala +++ b/test/files/neg/t712.scala diff --git a/test/files/neg/t715.check b/test/files/neg/t715.check new file mode 100644 index 0000000000..2c01047a63 --- /dev/null +++ b/test/files/neg/t715.check @@ -0,0 +1,4 @@ +t715.scala:12: error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' + override def children = super.chilren; + ^ +one error found diff --git a/test/files/neg/bug715.scala b/test/files/neg/t715.scala index 87b2525a63..87b2525a63 100644 --- a/test/files/neg/bug715.scala +++ b/test/files/neg/t715.scala diff --git a/test/files/neg/bug729.check b/test/files/neg/t729.check index 0b38b9bc1d..fb858dc09a 100644 --- a/test/files/neg/bug729.check +++ b/test/files/neg/t729.check @@ -1,4 +1,4 @@ -bug729.scala:20: error: type mismatch; +t729.scala:20: error: type mismatch; found : ScalaParserAutoEdit.this.NodeImpl(in trait Parser) required: ScalaParserAutoEdit.this.NodeImpl(in trait ScalaParserAutoEdit) val yyy : NodeImpl = link.from; diff --git a/test/files/neg/bug729.scala b/test/files/neg/t729.scala index 83e7f4cd1e..83e7f4cd1e 100644 --- a/test/files/neg/bug729.scala +++ b/test/files/neg/t729.scala diff --git a/test/files/neg/bug752.check b/test/files/neg/t752.check index 9262f38f01..a91bba46ea 100644 --- a/test/files/neg/bug752.check +++ b/test/files/neg/t752.check @@ -1,4 +1,4 @@ -bug752.scala:6: error: type mismatch; +t752.scala:6: error: type mismatch; found : String => Unit required: Int => Unit f(g _) diff --git a/test/files/neg/bug752.scala b/test/files/neg/t752.scala index 00f45e323c..00f45e323c 100644 --- a/test/files/neg/bug752.scala +++ b/test/files/neg/t752.scala diff --git a/test/files/neg/bug765.check b/test/files/neg/t765.check index 02bd111ef7..5a5f603252 100644 --- a/test/files/neg/bug765.check +++ b/test/files/neg/t765.check @@ -1,4 +1,4 @@ -bug765.scala:3: error: not found: type Bar123 +t765.scala:3: error: not found: type Bar123 val bar = new Bar123 ^ one error found diff --git a/test/files/neg/bug765.scala b/test/files/neg/t765.scala index 3e5371b533..3e5371b533 100644 --- a/test/files/neg/bug765.scala +++ b/test/files/neg/t765.scala diff --git a/test/files/neg/bug766.check b/test/files/neg/t766.check index d259db6835..92039ed1ff 100644 --- a/test/files/neg/bug766.check +++ b/test/files/neg/t766.check @@ -1,4 +1,4 @@ -bug766.scala:5: error: not found: value badIdentifier +t766.scala:5: error: not found: value badIdentifier val p = badIdentifier ^ one error found diff --git a/test/files/neg/bug766.scala b/test/files/neg/t766.scala index b4b04d9642..b4b04d9642 100644 --- a/test/files/neg/bug766.scala +++ b/test/files/neg/t766.scala diff --git a/test/files/neg/bug779.check b/test/files/neg/t779.check index 941951900e..65f463c192 100644 --- a/test/files/neg/bug779.check +++ b/test/files/neg/t779.check @@ -1,4 +1,4 @@ -bug779.scala:6: error: method ast has return statement; needs result type +t779.scala:6: error: method ast has return statement; needs result type override def ast = return null ^ one error found diff --git a/test/files/neg/bug779.scala b/test/files/neg/t779.scala index cc92f9062a..cc92f9062a 100644 --- a/test/files/neg/bug779.scala +++ b/test/files/neg/t779.scala diff --git a/test/files/neg/bug783.check b/test/files/neg/t783.check index bf82edc843..37610a50ff 100644 --- a/test/files/neg/bug783.check +++ b/test/files/neg/t783.check @@ -1,4 +1,4 @@ -bug783.scala:12: error: type mismatch; +t783.scala:12: error: type mismatch; found : Contexts.this.Global#Template required: Contexts.this.global.Template globalInit0.Template(10, 20); diff --git a/test/files/neg/bug783.scala b/test/files/neg/t783.scala index 59f7c7f97d..59f7c7f97d 100644 --- a/test/files/neg/bug783.scala +++ b/test/files/neg/t783.scala diff --git a/test/files/neg/t798.check b/test/files/neg/t798.check new file mode 100644 index 0000000000..b120f3a403 --- /dev/null +++ b/test/files/neg/t798.check @@ -0,0 +1,4 @@ +t798.scala:2: error: cyclic aliasing or subtyping involving type Bracks +trait Test[Bracks <: Bracks] { + ^ +one error found diff --git a/test/files/neg/bug798.scala b/test/files/neg/t798.scala index a2bf66d19b..a2bf66d19b 100644 --- a/test/files/neg/bug798.scala +++ b/test/files/neg/t798.scala diff --git a/test/files/neg/t800.check b/test/files/neg/t800.check new file mode 100644 index 0000000000..4bfba5420b --- /dev/null +++ b/test/files/neg/t800.check @@ -0,0 +1,13 @@ +t800.scala:4: error: qualification is already defined as value qualification + val qualification = false; + ^ +t800.scala:8: error: method qualification is defined twice + val qualification = false; + ^ +t800.scala:12: error: value qualification is defined twice + var qualification = false; + ^ +t800.scala:16: error: method qualification is defined twice + var qualification = false; + ^ +four errors found diff --git a/test/files/neg/bug800.scala b/test/files/neg/t800.scala index 388574d42d..388574d42d 100644 --- a/test/files/neg/bug800.scala +++ b/test/files/neg/t800.scala diff --git a/test/files/neg/bug835.check b/test/files/neg/t835.check index 79ea97b71f..6ad18d3028 100644 --- a/test/files/neg/bug835.check +++ b/test/files/neg/t835.check @@ -1,8 +1,8 @@ -bug835.scala:2: error: no `: _*' annotation allowed here +t835.scala:2: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*)) ^ -bug835.scala:2: error: no `: _*' annotation allowed here +t835.scala:2: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*)) ^ diff --git a/test/files/neg/bug835.scala b/test/files/neg/t835.scala index 553d2c1be4..553d2c1be4 100644 --- a/test/files/neg/bug835.scala +++ b/test/files/neg/t835.scala diff --git a/test/files/neg/bug836.check b/test/files/neg/t836.check index 4949e2cd66..be3a87882b 100644 --- a/test/files/neg/bug836.check +++ b/test/files/neg/t836.check @@ -1,4 +1,4 @@ -bug836.scala:9: error: type mismatch; +t836.scala:9: error: type mismatch; found : Any required: A.this.S val some: S = any // compiles => type X is set to scala.Any diff --git a/test/files/neg/bug836.scala b/test/files/neg/t836.scala index 3633b816c6..3633b816c6 100644 --- a/test/files/neg/bug836.scala +++ b/test/files/neg/t836.scala diff --git a/test/files/neg/t845.check b/test/files/neg/t845.check new file mode 100644 index 0000000000..07ed7e417b --- /dev/null +++ b/test/files/neg/t845.check @@ -0,0 +1,4 @@ +t845.scala:4: error: only classes can have declared but undefined members + type Bar; + ^ +one error found diff --git a/test/files/neg/bug845.scala b/test/files/neg/t845.scala index ddf6a16f32..ddf6a16f32 100644 --- a/test/files/neg/bug845.scala +++ b/test/files/neg/t845.scala diff --git a/test/files/neg/bug846.check b/test/files/neg/t846.check index 9a17238c64..242a8001ff 100644 --- a/test/files/neg/bug846.check +++ b/test/files/neg/t846.check @@ -1,4 +1,4 @@ -bug846.scala:9: error: type mismatch; +t846.scala:9: error: type mismatch; found : Null(null) required: B if (a != null) f(a) else null diff --git a/test/files/neg/bug846.scala b/test/files/neg/t846.scala index acf8462030..acf8462030 100644 --- a/test/files/neg/bug846.scala +++ b/test/files/neg/t846.scala diff --git a/test/files/neg/bug856.check b/test/files/neg/t856.check index 168855d6a2..d0bbde6c58 100644 --- a/test/files/neg/bug856.check +++ b/test/files/neg/t856.check @@ -1,4 +1,4 @@ -bug856.scala:3: error: class ComplexRect needs to be abstract, since: +t856.scala:3: error: class ComplexRect needs to be abstract, since: method _2 in trait Product2 of type => Double is not defined method canEqual in trait Equals of type (that: Any)Boolean is not defined class ComplexRect(val _1:Double, _2:Double) extends Complex { diff --git a/test/files/neg/bug856.scala b/test/files/neg/t856.scala index fea216bfad..fea216bfad 100644 --- a/test/files/neg/bug856.scala +++ b/test/files/neg/t856.scala diff --git a/test/files/neg/bug875.check b/test/files/neg/t875.check index 16a982241e..406edcf507 100644 --- a/test/files/neg/bug875.check +++ b/test/files/neg/t875.check @@ -1,16 +1,16 @@ -bug875.scala:3: error: no `: _*' annotation allowed here +t875.scala:3: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) val ys = List(1, 2, 3, xs: _*) ^ -bug875.scala:6: error: no `: _*' annotation allowed here +t875.scala:6: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) mkList1(xs: _*) ^ -bug875.scala:15: error: no `: _*' annotation allowed here +t875.scala:15: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) f(true, 1, xs: _*) ^ -bug875.scala:16: error: no `: _*' annotation allowed here +t875.scala:16: error: no `: _*' annotation allowed here (such annotations are only allowed in arguments to *-parameters) g(1, xs:_*) ^ diff --git a/test/files/neg/bug875.scala b/test/files/neg/t875.scala index 841b2aec3f..841b2aec3f 100644 --- a/test/files/neg/bug875.scala +++ b/test/files/neg/t875.scala diff --git a/test/files/neg/bug876.check b/test/files/neg/t876.check index f72cc969c2..04c5c8f22e 100644 --- a/test/files/neg/bug876.check +++ b/test/files/neg/t876.check @@ -1,4 +1,4 @@ -bug876.scala:25: error: too many arguments for method apply: (key: AssertionError.A)manager.B in class HashMap +t876.scala:25: error: too many arguments for method apply: (key: AssertionError.A)manager.B in class HashMap assert(manager.map(A2) == List(manager.map(A2, A1))) ^ one error found diff --git a/test/files/neg/bug876.scala b/test/files/neg/t876.scala index 1f6a90dff3..1f6a90dff3 100644 --- a/test/files/neg/bug876.scala +++ b/test/files/neg/t876.scala diff --git a/test/files/neg/bug877.check b/test/files/neg/t877.check index ddd1154698..5f25bd439c 100644 --- a/test/files/neg/bug877.check +++ b/test/files/neg/t877.check @@ -1,7 +1,7 @@ -bug877.scala:3: error: Invalid literal number +t877.scala:3: error: Invalid literal number trait Foo extends A(22A, Bug!) {} ^ -bug877.scala:3: error: parents of traits may not have parameters +t877.scala:3: error: parents of traits may not have parameters trait Foo extends A(22A, Bug!) {} ^ two errors found diff --git a/test/files/neg/bug877.scala b/test/files/neg/t877.scala index 5e132a1dd4..5e132a1dd4 100644 --- a/test/files/neg/bug877.scala +++ b/test/files/neg/t877.scala diff --git a/test/files/neg/t882.check b/test/files/neg/t882.check new file mode 100644 index 0000000000..a906778a1a --- /dev/null +++ b/test/files/neg/t882.check @@ -0,0 +1,4 @@ +t882.scala:2: error: traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...' +trait SortedSet[A <% Ordered[A]] { + ^ +one error found diff --git a/test/files/neg/bug882.scala b/test/files/neg/t882.scala index 5a8908befc..5a8908befc 100644 --- a/test/files/neg/bug882.scala +++ b/test/files/neg/t882.scala diff --git a/test/files/neg/bug900.check b/test/files/neg/t900.check index 95f71557b8..cede26258b 100644 --- a/test/files/neg/bug900.check +++ b/test/files/neg/t900.check @@ -1,4 +1,4 @@ -bug900.scala:4: error: type mismatch; +t900.scala:4: error: type mismatch; found : Foo.this.x.type (with underlying type Foo.this.bar) required: AnyRef Note that implicit conversions are not applicable because they are ambiguous: diff --git a/test/files/neg/bug900.scala b/test/files/neg/t900.scala index 2d2c857575..2d2c857575 100644 --- a/test/files/neg/bug900.scala +++ b/test/files/neg/t900.scala diff --git a/test/files/neg/t908.check b/test/files/neg/t908.check new file mode 100644 index 0000000000..2c723a700b --- /dev/null +++ b/test/files/neg/t908.check @@ -0,0 +1,4 @@ +t908.scala:8: error: not found: value makeA + this(makeA) + ^ +one error found diff --git a/test/files/neg/bug908.scala b/test/files/neg/t908.scala index 97f3c50586..97f3c50586 100644 --- a/test/files/neg/bug908.scala +++ b/test/files/neg/t908.scala diff --git a/test/files/neg/bug909.check b/test/files/neg/t909.check index 6dbe8aa024..5138b8c507 100644 --- a/test/files/neg/bug909.check +++ b/test/files/neg/t909.check @@ -1,4 +1,4 @@ -bug909.scala:6: error: type mismatch; +t909.scala:6: error: type mismatch; found : java.lang.String("Hello") required: Int case Foo("Hello") => diff --git a/test/files/neg/bug909.scala b/test/files/neg/t909.scala index cd67042e02..cd67042e02 100644 --- a/test/files/neg/bug909.scala +++ b/test/files/neg/t909.scala diff --git a/test/files/neg/bug910.check b/test/files/neg/t910.check index 1a845db9b9..45420f8e35 100644 --- a/test/files/neg/bug910.check +++ b/test/files/neg/t910.check @@ -1,4 +1,4 @@ -bug910.scala:4: error: type mismatch; +t910.scala:4: error: type mismatch; found : Seq[Char] required: Seq[Int] val y: Seq[Int] = rest diff --git a/test/files/neg/bug910.scala b/test/files/neg/t910.scala index cc47104d14..cc47104d14 100644 --- a/test/files/neg/bug910.scala +++ b/test/files/neg/t910.scala diff --git a/test/files/neg/t935.check b/test/files/neg/t935.check new file mode 100644 index 0000000000..af634a2630 --- /dev/null +++ b/test/files/neg/t935.check @@ -0,0 +1,7 @@ +t935.scala:7: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String] + @E[B](new B) val b = "hi" + ^ +t935.scala:13: error: type arguments [Test4.B] do not conform to class E's type parameter bounds [T <: String] + val b: String @E[B](new B) = "hi" + ^ +two errors found diff --git a/test/files/neg/bug935.scala b/test/files/neg/t935.scala index 299062adb8..299062adb8 100644 --- a/test/files/neg/bug935.scala +++ b/test/files/neg/t935.scala diff --git a/test/files/neg/t944.check b/test/files/neg/t944.check new file mode 100644 index 0000000000..1fc0a12208 --- /dev/null +++ b/test/files/neg/t944.check @@ -0,0 +1,4 @@ +t944.scala:5: error: implementation restricts functions to 22 parameters + a23:Int) => 1 + ^ +one error found diff --git a/test/files/neg/bug944.scala b/test/files/neg/t944.scala index dc80e5f49f..dc80e5f49f 100644 --- a/test/files/neg/bug944.scala +++ b/test/files/neg/t944.scala diff --git a/test/files/neg/bug960.check b/test/files/neg/t960.check index ebfc3c6638..d65b0cea93 100644 --- a/test/files/neg/bug960.check +++ b/test/files/neg/t960.check @@ -1,10 +1,10 @@ -bug960.scala:18: error: ambiguous reference to overloaded definition, +t960.scala:18: error: ambiguous reference to overloaded definition, both method unapply in object List of type [a](xs: List[a])Option[Null] and method unapply in object List of type [a](xs: List[a])Option[(a, List[a])] match argument types (List[a]) case List(x, xs) => 7 ^ -bug960.scala:12: error: method unapply is defined twice +t960.scala:12: error: method unapply is defined twice def unapply[a](xs: List[a]): Option[Null] = xs match { ^ two errors found diff --git a/test/files/neg/bug960.scala b/test/files/neg/t960.scala index 5101cf8433..5101cf8433 100644 --- a/test/files/neg/bug960.scala +++ b/test/files/neg/t960.scala diff --git a/test/files/neg/t961.check b/test/files/neg/t961.check new file mode 100644 index 0000000000..48273f764d --- /dev/null +++ b/test/files/neg/t961.check @@ -0,0 +1,4 @@ +t961.scala:11: error: object Temp.B does not take parameters + B() match { + ^ +one error found diff --git a/test/files/neg/bug961.scala b/test/files/neg/t961.scala index 088bddd7ee..088bddd7ee 100644 --- a/test/files/neg/bug961.scala +++ b/test/files/neg/t961.scala diff --git a/test/files/neg/bug987.check b/test/files/neg/t987.check index 4cad622ab8..90ab70ba1c 100644 --- a/test/files/neg/bug987.check +++ b/test/files/neg/t987.check @@ -1,19 +1,19 @@ -bug987.scala:15: error: illegal inheritance; +t987.scala:15: error: illegal inheritance; class E inherits different type instances of trait B: B[D] and B[C] class E extends D ^ -bug987.scala:20: error: illegal inheritance; +t987.scala:20: error: illegal inheritance; class F inherits different type instances of trait B: B[D] and B[C] class F extends D ^ -bug987.scala:25: error: illegal inheritance; +t987.scala:25: error: illegal inheritance; class D inherits different type instances of trait B: B[D] and B[C] abstract class D extends C with B[D] {} ^ -bug987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]] +t987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]] abstract class D extends C with B[D] {} ^ four errors found diff --git a/test/files/neg/bug987.scala b/test/files/neg/t987.scala index 1fedf12ebc..1fedf12ebc 100644 --- a/test/files/neg/bug987.scala +++ b/test/files/neg/t987.scala diff --git a/test/files/neg/bug997.check b/test/files/neg/t997.check index 44e383228d..c9fe0de756 100644 --- a/test/files/neg/bug997.check +++ b/test/files/neg/t997.check @@ -1,13 +1,13 @@ -bug997.scala:7: error: wrong number of arguments for object Foo +t997.scala:7: error: wrong number of arguments for object Foo "x" match { case Foo(a) => Console.println(a) } ^ -bug997.scala:7: error: not found: value a +t997.scala:7: error: not found: value a "x" match { case Foo(a) => Console.println(a) } ^ -bug997.scala:13: error: wrong number of arguments for object Foo +t997.scala:13: error: wrong number of arguments for object Foo "x" match { case Foo(a, b, c) => Console.println((a,b,c)) } ^ -bug997.scala:13: error: not found: value a +t997.scala:13: error: not found: value a "x" match { case Foo(a, b, c) => Console.println((a,b,c)) } ^ four errors found diff --git a/test/files/neg/bug997.scala b/test/files/neg/t997.scala index 42b46174d6..42b46174d6 100644 --- a/test/files/neg/bug997.scala +++ b/test/files/neg/t997.scala diff --git a/test/files/neg/tcpoly_override.scala b/test/files/neg/tcpoly_override.scala index 7f64ad0d5f..dd043b47ed 100644 --- a/test/files/neg/tcpoly_override.scala +++ b/test/files/neg/tcpoly_override.scala @@ -1,4 +1,4 @@ -// bug1231: reported by Vladimir Reshetnikov on 19 July 2007 +// t1231: reported by Vladimir Reshetnikov on 19 July 2007 trait A { type T[_] } |