Open
Description
Once the new module system lands from horizon onto master, and once we give time for the old syntax to be deprecated, we should enforce the deprecation by providing a suggested rewriting of the existing syntax into new syntax. This should be a well-formedness error of the form, "The provide {...} end syntax is deprecated; replace it with provide: ... end", where the contents of the suggested replacement are computed from what is currently present. This is a one-time fix for each program, and should help us eliminate the old syntax quickly. We should probably only show this error when compiling the main file; we shouldn't complain about included files.