# HG changeset patch # User Paul Boddie # Date 1386522673 -3600 # Node ID 9ea4cd8ebd6ffb8d7e463be32cda45f624dbd3ef # Parent 46f73c1f7435bf382ef317a99431aa0b90c5cb88 Added a note about parameterised functions and classes. diff -r 46f73c1f7435 -r 9ea4cd8ebd6f docs/rejected.txt --- a/docs/rejected.txt Sun Dec 08 18:07:34 2013 +0100 +++ b/docs/rejected.txt Sun Dec 08 18:11:13 2013 +0100 @@ -17,3 +17,9 @@ It is easier, however, to regard multiply defined classes and functions as non-constant and to either disallow optimisations or to actually prevent the program describing them from compiling. + +Note that the same static definition may be multiply defined, such as a class +with parameterised attributes or a function with parameterised defaults (or +even closures referencing external state). Such parameterisation does not +attempt to reconcile completely different static definitions, however, and +should be handled separately.