CVS difference for acs/ac-00296.txt

Differences between 1.1 and version 1.2
Log of other versions for file acs/ac-00296.txt

--- acs/ac-00296.txt	2017/10/06 02:29:36	1.1
+++ acs/ac-00296.txt	2017/10/06 02:50:31	1.2
@@ -328,6 +328,19 @@
 
 **************************************************************
 
+From: Jeff Cousins
+Sent: Monday, October 2, 2017  4:19 PM
+
+I've changed from using type invariants to using subtypes with dynamic predicates
+in my bellringing programs that I'd previously adapted to become ACATS tests.
+
+The original question seems to say that if you allow type invariants on private
+extensions then you may as well allow them on null extensions, but personally
+(from my experience of writing ACATS tests) I don't think that they should have
+been allowed on private extensions, it opens too many loopholes.
+
+**************************************************************
+
 From: Yannick Moy
 Sent: Monday, October 2, 2017  11:20 PM
 

Questions? Ask the ACAA Technical Agent