
17 Jun
2002
17 Jun
'02
9:57 p.m.
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
8527
Age (days ago)
8527
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara