Hi,Why do datatype declarations have to be repeated in the implementation file (.ur) when they are already specified in the interface file (.urs)?
-- Best regards, Ron de Bruijn _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
