diff options
Diffstat (limited to 'src/interp/br-data.boot')
-rw-r--r-- | src/interp/br-data.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot index 6f1cd1fc..4e16780f 100644 --- a/src/interp/br-data.boot +++ b/src/interp/br-data.boot @@ -134,7 +134,7 @@ libConstructorSig [conname,:argl] == sig := SUBLISLIS(formals,$TriangleVariableList,sig) keys := [g(f,sig,i) for f in formals for i in 1..] where g(x,u,i) == --does x appear in any but i-th element of u? - or/[CONTAINED(x,y) for y in u for j in 1.. | j ^= i] + or/[CONTAINED(x,y) for y in u for j in 1.. | j ~= i] sig := fn SUBLISLIS(argl,$FormalMapVariableList,sig) where fn x == atom x => x @@ -208,7 +208,7 @@ checkCommentsForBraces(kind,sop,sigpart,comments) == sayBrightly ['"(",$conname,'" documentation) missing left brace--> ",:tail] if count > 0 then sayBrightly ['"(",$conname,'" documentation) missing right brace--> ",:tail] - if count ^= 0 or missingLeft then pp comments + if count ~= 0 or missingLeft then pp comments buildLibAttrs attrlist == for [name,argl,:pred] in attrlist repeat buildLibAttr(name,argl,pred) @@ -313,7 +313,7 @@ dbSpreadComments(line,n) == line = '"" => nil k := charPosition(char '_-,line,n + 2) k >= MAXINDEX line => [SUBSTRING(line,n,nil)] - line.(k + 1) ^= char '_- => + line.(k + 1) ~= char '_- => u := dbSpreadComments(line,k) [STRCONC(SUBSTRING(line,n,k - n),first u),:rest u] [SUBSTRING(line,n,k - n),:dbSpreadComments(SUBSTRING(line,k,nil),0)] @@ -403,7 +403,7 @@ getGlossLines instream == #last = 0 => lastLineHadTick => '"" '"\blankline " - #last > 0 and last.(MAXINDEX last) ^= $charBlank => $charBlank + #last > 0 and last.(MAXINDEX last) ~= $charBlank => $charBlank '"" lastLineHadTick := false text := [STRCONC(last,fill,line),:rest text] @@ -635,7 +635,7 @@ ancestorsRecur(conform,domform,pred,firstTime?) == --called by ancestorsOf originalConform := firstTime? and ($insideCategoryIfTrue or $insideFunctorIfTrue) => $form getConstructorForm op - if conform ^= originalConform then + if conform ~= originalConform then parents := SUBLISLIS(IFCDR conform,IFCDR originalConform,parents) for [newform,:p] in parents repeat if domform and rest domform then @@ -708,7 +708,7 @@ transKCatAlist(conform,domname,s) == main where for pair in s repeat --pair has form [con,[conargs,:pred],...]] leftForm := getConstructorForm CAR pair for (ap := [args,:pred]) in CDR pair repeat - hasArgsForm? := args ^= farglist + hasArgsForm? := args ~= farglist npred := sublisFormal(KDR leftForm,pred) if hasArgsForm? then subargs := sublisFormal(KDR leftForm,args) |