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/OUTFORM.lsp | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

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

diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp
index e7f2bc5b..964b4b9a 100644
--- a/src/algebra/strap/OUTFORM.lsp
+++ b/src/algebra/strap/OUTFORM.lsp
@@ -708,7 +708,7 @@
 (DEFUN |OUTFORM;empty;$;73| ($) (LIST 'NOTHING)) 
 
 (DEFUN |OUTFORM;infix?;$B;74| (|a| $)
-  (PROG (#0=#:G1496 |e|)
+  (PROG (#0=#:G1497 |e|)
     (RETURN
       (SEQ (EXIT (SEQ (LETT |e|
                             (COND
@@ -808,7 +808,7 @@
 (DEFUN |OUTFORM;rarrow;3$;96| (|a| |b| $) (LIST 'RARROW |a| |b|)) 
 
 (DEFUN |OUTFORM;differentiate;$Nni$;97| (|a| |nn| $)
-  (PROG (#0=#:G1526 |r| |s|)
+  (PROG (|r| |s|)
     (RETURN
       (SEQ (COND
              ((ZEROP |nn|) |a|)
@@ -816,10 +816,9 @@
              ('T
               (SEQ (LETT |r|
                          (SPADCALL
-                             (PROG1 (LETT #0# |nn|
-                                     |OUTFORM;differentiate;$Nni$;97|)
-                               (|check-subtype| (> #0# 0)
-                                   '(|PositiveInteger|) #0#))
+                             (PROG1 |nn|
+                               (|check-subtype| (< 0 |nn|)
+                                   '(|PositiveInteger|) |nn|))
                              (|getShellEntry| $ 124))
                          |OUTFORM;differentiate;$Nni$;97|)
                    (LETT |s| (SPADCALL |r| (|getShellEntry| $ 125))
-- 
cgit v1.2.3