Add some guarantees to scode constructors.

diff --git a/src/runtime/scode.scm b/src/runtime/scode.scm
index 51452496cabf4d2446cd5fcdfcab286c37b81f50..fc27fdad0691dd46b70d6f41689d29eb169c1562 100644 (file)
--- a/src/runtime/scode.scm
+++ b/src/runtime/scode.scm
@@ -95,6 +95,7 @@ USA.
 ;;;; Variable
 
 (define (make-variable name)
+  (guarantee-symbol name 'MAKE-VARIABLE)
   (system-hunk3-cons (ucode-type variable) name #t '()))
 
 (define (variable? object)
@@ -112,6 +113,7 @@ USA.
 ;;;; Definition/Assignment
 
 (define (make-definition name value)
+  (guarantee-symbol name 'MAKE-DEFINITION)
   (&typed-pair-cons (ucode-type definition) name value))
 
 (define (definition? object)
@@ -137,6 +139,7 @@ USA.
 (define-guarantee assignment "SCode assignment")
 
 (define (make-assignment-from-variable variable value)
+  (guarantee-variable variable 'MAKE-ASSIGNMENT-FROM-VARIABLE)
   (&typed-pair-cons (ucode-type assignment) variable value))
 
 (define (assignment-variable assignment)
@@ -152,6 +155,7 @@ USA.
            (assignment-value assignment)))
 
 (define (make-assignment name value)
+  (guarantee-symbol name 'MAKE-ASSIGNMENT)
   (make-assignment-from-variable (make-variable name) value))
 
 (define (assignment-name assignment)
@@ -238,6 +242,7 @@ USA.
 ;;;; Access
 
 (define (make-access environment name)
+  (guarantee-symbol name 'MAKE-ACCESS)
   (&typed-pair-cons (ucode-type access) environment name))
 
 (define (access? object)