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!/