I just finished redesigning my work website. It’s now in the same style as the DrJava and the Concutest websites. I liked the other design, but for lengthy text documents, the new design is just more practical.
While all tests of annotations with subtyping that I have tried so far have succeeded, I have realized that I need to test all my programs, not only the new subannot software, with primitive types. It’s embarrassing, but until a couple of days ago, I didn’t know that int.class existed. I think now I have to put a switch statement in front of every line that uses a type name so I can filter out 'I's and 'J's, etc. and replace them properly with int.class and long.class.
And I need to start writing that tech report about annotations with subtyping.
