Add menu item to disable signature checking.

collects/deinprogramm/deinprogramm-langs.rkt

@@ -202,6 +202,7 @@
 				 obj signature message blame))))))
                  (scheme-test-data (list (drscheme:rep:current-rep) drs-eventspace test-display%))
                  (test-execute (get-preference 'tests:enable? (lambda () #t)))
+		 (signature-checking-enabled? (get-preference 'signatures:enable-checking? (lambda () #t)))
                  (test-format (make-formatter (lambda (v o)
 						(render-value/format (if (procedure? v)
 									 generic-proc

collects/deinprogramm/signature/info.rkt

@@ -0,0 +1,12 @@
+#lang setup/infotab
+
+(define name "DeinProgramm - Signatures")
+
+(define drracket-tools '("tool.rkt"))
+(define drracket-tool-names '("Signatures"))
+#lang setup/infotab
+
+(define name "DeinProgramm - Signatures")
+
+(define drracket-tools '("tool.rkt"))
+(define drracket-tool-names '("Signatures"))

collects/deinprogramm/signature/signature.rkt

@@ -14,7 +14,8 @@
 	 make-procedure-to-blame
 	 procedure-to-blame?
 	 procedure-to-blame-proc procedure-to-blame-syntax
-	 make-type-variable-info type-variable-info?)
+	 make-type-variable-info type-variable-info?
+	 signature-checking-enabled?)
 
 (require scheme/promise
 	 mzlib/struct
@@ -143,8 +144,12 @@
 	   'stepper-skipto/discard
 	   '(syntax-e cdr syntax-e cdr cdr car))))))))
 
+(define signature-checking-enabled? (make-parameter #t))
+
 (define (apply-signature signature val)
-  ((signature-enforcer signature) signature val))
+  (if (signature-checking-enabled?)
+      ((signature-enforcer signature) signature val)
+      val))
 
 (define-struct type-variable-info ())
 

collects/lang/htdp-langs.rkt

@@ -168,6 +168,7 @@
 				 obj signature message blame))))))
                  (scheme-test-data (list (drscheme:rep:current-rep) drs-eventspace test-display%))
                  (test-execute (get-preference 'tests:enable? (lambda () #t)))
+		 (signature-checking-enabled? (get-preference 'signatures:enable-checking? (lambda () #t)))
                  (test-format (make-formatter (lambda (v o) (render-value/format v settings o 40)))))))
             (super on-execute settings run-in-user-thread))
           

collects/string-constants/english-string-constants.rkt

@@ -1455,6 +1455,9 @@ please adhere to these guidelines:
   (test-engine-property-fail-error "Property falsifiable with")
   (test-engine-property-error-error "check-property encountered the following error~n:: ~a")
 
+  (signature-enable-checks "Enable Signature Checks")
+  (signature-disable-checks "Disable Signature Checks")
+
   ; section header
   (test-engine-check-failures "Check failures:")
   ; section header

collects/string-constants/german-string-constants.rkt

@@ -1353,6 +1353,9 @@
   (test-engine-property-fail-error "Eigenschaft falsifizierbar mit")
   (test-engine-property-error-error "`check-property' bekam den folgenden Fehler~n:: ~a")
 
+  (signature-enable-checks "Signaturüberprüfung aktivieren")
+  (signature-disable-checks "Signaturüberprüfung deaktivieren")
+
   ; section header
   (test-engine-check-failures "Check-Fehler:")
   ; section header