Make conjunction test for namespace collisions

diprism / fggs

Factor Graph Grammars in Python

MIT License

13 stars 3 forks source link

Make conjunction test for namespace collisions #45

Closed darcey closed 3 years ago

davidweichiang commented 3 years ago

You only have to worry about node and terminal label collisions, right?

darcey commented 3 years ago

Not sure! It might be kind of weird if the two FGGs each have their own nonterminal X, and the two Xs have completely different types from one another. It won't cause any technical issues, but might still be confusing.

darcey commented 3 years ago

Reopening bug because I'm realizing that yeah, node and terminal label collisions should be an error, not a warning.