From 18662741fbc656f6d093b69a34fc6e7e60f99efc Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 22 Jan 2011 16:23:23 +0100 Subject: [PATCH] Fix signature-checking bug with DMdA's `define-record-procedures'. Define the predicate before the constructor, as the predicate may be used in checking the signature of the constructor. --- collects/deinprogramm/define-record-procedures.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/deinprogramm/define-record-procedures.scm b/collects/deinprogramm/define-record-procedures.scm index 175c04bd2e..0c49993ac2 100644 --- a/collects/deinprogramm/define-record-procedures.scm +++ b/collects/deinprogramm/define-record-procedures.scm @@ -220,7 +220,7 @@ #'(begin signature-def ;; the signature might be used in the definitions, hence this ordering - struct-type-defs constructor-def predicate-def accessor-defs mutator-defs)))))) + struct-type-defs predicate-def constructor-def accessor-defs mutator-defs)))))) ((_ ?type-name ?signature-constructor-name ?constructor