Tesla Zhang‮

I super, original

Does the moved files trigger some notifications?

https://github.com/microsoft/vscode/issues/60813#issuecomment-429854244 They said they trigger folder change events

> > [microsoft/vscode#60813 (comment)](https://github.com/microsoft/vscode/issues/60813#issuecomment-429854244) > > They said they trigger folder change events > > It also says "instead of the files within". So we have to manually list files...

Here, I would like to mark the `=` function as an 'unwilling to normalize' definition, and hence in the error messages, the 'normalized' terms will not be normalizing them. (But...

I think it depends on #51

> Did you mean `def opaque`? That's _absolutely not_ normalizing definitions. It never work! I am thinking about making opaque definitions less opaque in the conversion checker though...

If it works then we won't need this anymore.

The original problem is no longer a problem for us, but still this feature might be useful

What solution?