From 258d6427280f1ee0cce0dcdf12c38ad65b5e36cc Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 6 Jan 2009 06:53:21 +0000
Subject: 	* interp/sys-utility.boot (getVMType): IndexList are lists. 
 * interp/g-util.boot (isSubDomain): Tidy. 	* interp/g-opt.boot
 (isVMConstantForm): New. 	(findVMFreeVars): Likewise. 	*
 interp/define.boot (insertViewMorphisms): Remove. 	(emitSubdomainInfo):
 New. 	(checkVariableName): Likewise. 	(checkParameterNames): Likewise. 
 (checkRepresentation): Set $subdomain where appropriate. 	(compDefines):
 Check parameter names. 	(compDefineFunctor1): Propagate subdomain
 info. 	(doIt): Don't call insertViewMorphisms. 	* interp/compiler.boot
 (setqSingle): Check variable name. 	(compIterator): Likewise. 
 (commonSuperType): New. 	(satisfies): Likewise. 	(coerceSubset): Use
 them to implemen cross-subdomain coercion. 	(coerceSuperset): New. 
 (comCoerce1): Use it. 	(compPer): New. 	(compRep): Likewise. 	*
 interp/c-util.boot (getRepresentation): New. 	(proclaimCapsuleFunction):
 Improve for specialized subdomains. 	* algebra/stream.spad.pamphlet: Don't
 use `per' as variable name. 	* algebra/si.spad.pamphlet
 (size$SingleInteger): Tidy. 	(coerce$SingleInteger): Likewise. 	*
 algebra/reclos.spad.pamphlet (nonNull$RealClosure): Don't use 	`rep' as
 parameter name. 	* algebra/data.spad.pamphlet (Byte): Now a subdomain
 of 	NonNegativeInteger.  Tidy.

---
 src/algebra/strap/CHAR.lsp | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'src/algebra/strap/CHAR.lsp')

diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp
index 6dd6b594..9fd5e64d 100644
--- a/src/algebra/strap/CHAR.lsp
+++ b/src/algebra/strap/CHAR.lsp
@@ -96,17 +96,18 @@
 (DEFUN |CHAR;size;Nni;3| ($) (DECLARE (IGNORE $)) 256) 
 
 (DEFUN |CHAR;index;Pi$;4| (|n| $)
-  (PROG (#0=#:G1401)
+  (PROG (#0=#:G1402)
     (RETURN
       (CODE-CHAR
           (PROG1 (LETT #0# (- |n| 1) |CHAR;index;Pi$;4|)
-            (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)))))) 
+            (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T))
+                '(|NonNegativeInteger|) #0#)))))) 
 
 (DEFUN |CHAR;lookup;$Pi;5| (|c| $)
-  (PROG (#0=#:G1403)
+  (PROG (#0=#:G1404)
     (RETURN
       (PROG1 (LETT #0# (+ 1 (CHAR-CODE |c|)) |CHAR;lookup;$Pi;5|)
-        (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))) 
+        (|check-subtype| (< 0 #0#) '(|PositiveInteger|) #0#))))) 
 
 (DEFUN |CHAR;char;Nni$;6| (|n| $)
   (DECLARE (IGNORE $))
@@ -163,7 +164,7 @@
 (DEFUN |Character| ()
   (PROG ()
     (RETURN
-      (PROG (#0=#:G1424)
+      (PROG (#0=#:G1425)
         (RETURN
           (COND
             ((LETT #0# (HGET |$ConstructorCache| '|Character|)
-- 
cgit v1.2.3