Add new Duplicate exception

RedPRL / sml-telescopes

an abstract data type for telescopes

1 stars 1 forks source link

Add new Duplicate exception #10

Closed wilcoxjay closed 7 years ago

wilcoxjay commented 7 years ago

The telescope library previously threw Fail when it detected that a duplicate name was about to be used.

In RedPRL, such an error can be easily triggered by a hapless user, so the error should be handled in a nice way, but it's not appropriate to catch Fail.

This PR introduces a separate exception for this case. There will be a companion PR to RedPRL.

wilcoxjay commented 7 years ago

By the way, this library is the only one in the RedPRL organization for which Poltiburo members have read-only access. This is inconvenient since it makes it difficult to collaborate directly on branches. Is this intentional?

jonsterling commented 7 years ago

[x] @wilcoxjay Thank you for letting me know, I will fix the access issue right away! Not sure why @RedPRL/politburo doesn't have full access here.