1 2 3 4 5 6 7 8 9
module type Enumeration = (one, two, three) proc f() -> Enumeration return Enumeration.four (* @Error Enumeration 'Enumeration' does not have a member named 'four' *) end.