Commit bca4d36d authored by Committed by Marge BotBrowse files
Improve error messages for (a %m) without LinearTypes
Detect when the user forgets to enable the LinearTypes extension and produce a better error message. Steals the (a %m) syntax from TypeOperators, the workaround is to write (a % m) instead.
Showing with 19 additions and 11 deletions