Aladdin - Scala Bugtracking
[#634] project: compiler priority: high category: bug
submitter assigned to status date submitted
Stephane Nikolay fixed 2006-06-20 14:49:50.0
subject Scala attributes broken
code
see file test/files/run/attributes.scala
what happened
class java.io.IOException
null
what expected
class java.rmi.RemoteException
class java.io.IOException
@java.lang.Deprecated()
@test.Source(url=http://scala.epfl.ch, mail=scala@lists.epfl.ch)
[back to overview]
Changes of this bug report
Nikolay  edited on  2006-06-20 18:27:31.0
Test1 was genuine bug but was easy to fix. Test3 requires the -target:jvm-1.5 option so I commented it out but I fixed a bug in fjbg.jar to emit the correct code in this case. Test4 needs to be partially rewritten in Java because Scala attributes cannot be emitted in the classfile like Java annotations. I commented it out as well.