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