Ability to put tests after a definition #342
Labels
C-Moderate Effort
Should take a moderate amount of time to address.
S-Moderate
Moderate importance
U-Error Reporting
U-Parsing
U-Testing
Z-Feature Request
For documentation purposes, educational purposes, etc., it may often make sense to put tests after a definition. However, at the moment this is impossible since we attach all tests to the following definition.
I kind of lean towards the first alternative at this point. I can't think of any particularly important benefits of attaching tests to definitions. And I can think of several situations in which the choice of which definition to attach a test to is arbitrary (for example, when expressing the property that two functions are inverses).
The text was updated successfully, but these errors were encountered: