Should this be rejected? You can put this into a .ur file top level and still compile it!?
type type_int = int val y:type_int = 2 type type_int = string val x:type_int = "o" type_int is assigned int and string! Or am I totally missunderstanding something here? Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
