Mihail Buryakov

Edited January 19, 2018 15:38

First of all, modules and languages in mps are identified by ids, so name can be considered as a kind of additional human-readable information mostly for debug purposes. MPS tries to update names e...

1. Community
2. MPS
3. Renaming module

• 1 vote

Created September 15, 2018 09:51

Currently there is no possibility to hide or replace errors shown. But we have plans to improve error suppressing mechanism so it will be more simple to do customize error message by adding your cu...

1. Community
2. MPS
3. Customizing MPS's default typesystem error message for unresolved reference

• 0 votes