Monomoprhization and namespaces interaction bug

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

Monomoprhization and namespaces interaction bug #124

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 2 years ago

The introduction of namespaces left out one small detail on an auxiliary function, where it uses TypeNamespace for the names of the destructor and constructors, whereas it should use TermNamespace for those.