aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog6
-rw-r--r--src/interp/br-con.boot2
-rw-r--r--src/interp/nrungo.boot7
3 files changed, 10 insertions, 5 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index ceab0ad0..eaf728fc 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,11 @@
2008-08-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/nrungo.boot (NRTisRecurrenceRelation): Lookup "not" with
+ signature % -> %.
+ * interp/br-con.boot: Use "~=" for inequality.
+
+2008-08-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* interp/buildom.boot: Use constants by names.
* interp/i-analy.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot
index 5c84cc7c..117ed0a3 100644
--- a/src/interp/br-con.boot
+++ b/src/interp/br-con.boot
@@ -1295,7 +1295,7 @@ PUT('Enumeration, 'documentation, substitute(MESSAGE, 'MESSAGE, '(
(constructor (NIL MESSAGE))
(_= (((Boolean) _$ _$)
"\spad{e = f} tests for equality of two enumerations \spad{e} and \spad{f}"))
- (_^_= (((Boolean) _$ _$)
+ (_~_= (((Boolean) _$ _$)
"\spad{e ^= f} tests that two enumerations \spad{e} and \spad{f} are nont equal"))
(coerce (((OutputForm) _$)
"\spad{coerce(e)} returns a representation of enumeration \spad{r} as an output form")
diff --git a/src/interp/nrungo.boot b/src/interp/nrungo.boot
index cefb3dbd..fd7c9b99 100644
--- a/src/interp/nrungo.boot
+++ b/src/interp/nrungo.boot
@@ -346,10 +346,9 @@ NRTisRecurrenceRelation(op,body,minivectorName) ==
(CONTAINED('throwMessage,mess) or
CONTAINED('throwKeyedMsg,mess)))]
integer := EVALFUN $Integer
- iequalSlot:=compiledLookupCheck("=",'((Boolean) $ $),integer)
- lesspSlot:=compiledLookupCheck("<",'((Boolean) $ $),integer)
- bf := $Boolean
- notpSlot:= compiledLookupCheck("not",'((Boolean)(Boolean)),EVALFUN bf)
+ iequalSlot:=compiledLookupCheck("=",[$Boolean,"$","$"],integer)
+ lesspSlot:=compiledLookupCheck("<",[$Boolean,"$","$"],integer)
+ notpSlot:= compiledLookupCheck("not",["$","$"],EVALFUN $Boolean)
for [p,c] in pcl repeat
p is ['SPADCALL,sharpVar,n1,['ELT,=minivectorName,slot]]
and EQ(iequalSlot,$minivector.slot) =>