unisonweb/unison
View on GitHubImprove error messages for terms/types not found when linking/unlinking
Open
#1,220 opened on Feb 10, 2020
codebase-manager / ucmerror-messagehelp wanted
Repository metrics
- Stars
- (6,624 stars)
- PR merge metrics
- (Avg merge 12d 19h) (6 merged PRs in 30d)
Description
Try e.g.
link blah blah
Where blah doesn't exist in your codebase. There should be a nice error message here.
Preferably consolidate the code so that any error where a term or type is not found displays the same message, regardless of the command.