Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Don't allow duplicate `addNamespace()` calls #8

merged 1 commit into from May 4, 2012


None yet
2 participants

bengourley commented May 4, 2012

If the same namespace is created in two different places their contents are merged.

This pull request makes addNamespace() throw if it is called twice with the same name. I think this is the ideal behaviour. If not, it should at least warn.

@serby serby added a commit that referenced this pull request May 4, 2012

@serby serby Merge pull request #8 from bengourley/master
Don't allow duplicate `addNamespace()` calls

@serby serby merged commit dd5fd51 into serby:master May 4, 2012

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