Closed GoogleCodeExporter closed 8 years ago
Maybe it's actually better to keep it the way it is, so that constructor
symbols on the lhs of an equation may be cross-checked against declarations.
The warning is only mildly annoying, but provides some extra safety.
Original comment by aggraef@gmail.com
on 13 Nov 2012 at 4:54
Original issue reported on code.google.com by
aggraef@gmail.com
on 28 Sep 2012 at 8:38