diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/interp/br-con.boot | 2 | ||||
| -rw-r--r-- | src/interp/nrungo.boot | 7 |
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) => |