Minimal definitions proposal

Dylan Thurston dpt@math.harvard.edu
Fri, 17 Aug 2001 23:45:55 -0400


On Fri, Aug 17, 2001 at 11:17:17PM -0400, Dylan Thurston wrote:
> [Incidentally, I find these minimal definition lists very useful; I'd
> love to see them become more than just comments.]

Here's one cheap proposal:

Add a "MINDEFINITION" pragma which takes a boolean expression whose
variables are the class functions.  Since it's a pragma, this should
only produce warnings if violated.

--Dylan