Part 1 Part 2
2 3 Data types (abstype), exceptions
4 3 Newset
1 1 Mknext
3 3 Member
2 ea. 2 ea. Union, Diff, Intersect, Empty, Forall
5 5 Testing
The marks for parts 1 and 2 are almost assigned identically except for
newset and your type definitions. In part two, newset is simpler, but the
type definition is a little more complicated (recursive) so I just moved one
mark.
For a full 5 marks of testing, I wanted to see you have multiple copies of
an iterator on the same set (as in the example) to illustrate that you had
all your scoping correct. I wanted to see a couple of tests on the empty set to see that it could handle the only real special case. I also wanted you to test
forall in a manner which illustrates what it did to the set.
Reasonable testing would have taken just over a page or so for each part.
I don't have any specific office hours to discuss marking, but I am available most of the time I'm not in class from Monday to Thursday. Your best bet is to send me email to arrange a time.
Anthony Cox