[Ur] last type decl wins?

Marc Weber marco-oweber at gmx.de
Tue Apr 12 21:09:42 EDT 2011


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



More information about the Ur mailing list