federico@actisb.UUCP (Federico Heinz) (05/29/89)
I haven't tried out your version of the sources, but I can pinpoint a
difference between our approaches: you import List as a type in the
DEFINITION module for Stacks, while I do it only in the IMPLEMENTATION.
You also declare Stack to be equal List in the DEFINITION, while I want
to keep it opaque. Maybe I shouldn't be so nit-picking, but I thought
this kind of information-hiding was what Maodula-2 programming was all
about. Thanks for the information on type-transfer functions, though
(as usual, quite, but not totally unlike the standard. I love it).
--
Federico Heinz "I can resist anything but temptation"
-- Oscar Wilde
From Europe: ...!mcvax!unido!tub!actisb!federico
From elsewhere: ...!uunet!pyramid!/