The semantics of the language are defined primarily through test
cases. Right now there are 33 test cases. The TA has a bounty on new
test cases but no one is biting because a new test case means more
semantics and therefore more work for everybody. Some of the test
cases are really easy to make work and some of them are going to be
nightmares.
The various array assignment cases (where you have to
make sure that two arrays have the same dimensions, or that an
array has a certain number of elements) and the function call case
(enforcing the requirement that the number and types of arguments
to a function correspond to the formal arguments to the function)
look like the toughest ones.
Sat May 20 2000 21:40:
A lot of semantic checking code has been written but it doesn't work
yet. Same old story. Bleah.
under a Creative Commons License.