From: Taylor R Campbell <campbell@mumble.net>
Date: Mon, 12 Jul 2010 16:25:24 +0000 (+0000)
Subject: Add some guarantees to scode constructors.
X-Git-Tag: 20101212-Gtk~145^2
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=db0c6ba2486a1ee910725833854ed32143b45eb8;p=mit-scheme.git

Add some guarantees to scode constructors.
---

diff --git a/src/runtime/scode.scm b/src/runtime/scode.scm
index 51452496c..fc27fdad0 100644
--- 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)