Would anyone object to making wildcards in signatures a compile-time error?
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
An under-development compiler feature would behave more predictably if
we could be sure that signatures never contain wildcards (underscores,
standing for unknown types). I don't think I've ever used a wildcard in
a signature.
