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.
This commit is contained in:
Mike Sperber 2011-01-22 16:23:23 +01:00
parent db13cddef0
commit 18662741fb

View File

@ -220,7 +220,7 @@
#'(begin #'(begin
signature-def signature-def
;; the signature might be used in the definitions, hence this ordering ;; 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 ((_ ?type-name
?signature-constructor-name ?signature-constructor-name
?constructor ?constructor