306712a3

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Say what the prefix rule leaves alone, and pin it

Three names the rule says nothing about, where only the operator one was
written down: an infix constructor, a field opening with an underscore, and
every name an instance of a data family introduces. The first two fall out of
reading a prefix off a name that does not open with a letter, and the third
out of reading type declarations alone. A resource holds all three, so each
is a decision rather than something the code happened to do.

Also a sentence the constructor rename walked into: a test's failure message
read "ExplanationGiven a rule this build does not have", which is a
constructor where a verb belongs.

Total

2m26s

Created 2 weeks ago Started 2 weeks ago Finished 2 weeks ago

Timeline