search

manifold-lang / manifold-frontend

Frontend compiler for Manifold high-level language
GNU General Public License v3.0
6 stars 6 forks source link

Namespace identifiers are not being sanitized correctly #35

Closed mtrberzi closed 9 years ago

mtrberzi commented 9 years ago

The contents of the list of names that is built when a NamespaceIdentifier is constructed differs from the specification of what a namespacedIdentifier is according to the grammar.

For example, NamespaceIdentifier("") and NamespaceIdentifier(new List<String>()) are not equal to each other, even though they name the same namespace.

I encountered this while working on type-checking (!) and I already have a proposed fix which will appear in a PR shortly.