There is a consolidated tendency to rely onto #if
instead of #ifdef, and I believe it would be a nice
thing if we follow the common practices.
Currently, the STRONG_NORMALIZATION symbol is the only
one that needs to be cured. The symbol definition
should also be commented so that the comment shows
up in the developer's manual.
Ciao
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-06-17 17:37:59
Modified files:
. : TODO
Log message:
We now have complete support for bounding boxes.
List a couple of pending efficiency issues.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…
