search

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

Exceptions because of cyclic dependencies #39

Open narudocap opened 4 years ago

narudocap commented 4 years ago

By mistake, I was using the name (TaintablePLS) of of one of the GTS being amalgamated as name of the new GTS.

image pls_internal_error_name_clash_bug.zip

szschaler commented 4 years ago

We need a check for cyclic dependencies.