alleviate VCFG #115

Closed
cadrian opened this Issue May 29, 2013 · 1 comment

Comments

Projects
None yet
1 participant
Owner

cadrian commented May 29, 2013

Re #114 — replace the fatal error by a warning

See FORMAL_GENERIC_ARG.generic_formal_arguments_check

Rationale: Liberty's class loading allows more than one class to have the same name, therefore there is no class unicity in the Universe.
Why then should the generic arguments be constrained so strongly?

cadrian was assigned May 29, 2013

cadrian closed this Jun 7, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment