diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-26 00:46:23 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-26 00:46:23 -0800 |
commit | ce399e9928fc1fed29dddecc6fac5484b9f755a5 (patch) | |
tree | 14b4bdd3e495bd4aedeefb755f165244c84efe42 /src/interp | |
parent | 9d21244538d7409aeba74b5ff5f91b1f826ba05c (diff) | |
download | open-axiom-ce399e9928fc1fed29dddecc6fac5484b9f755a5.tar.gz |
Use brackets instead of Lisp LIST for sequence literals.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/category.boot | 2 | ||||
-rw-r--r-- | src/interp/i-coerfn.boot | 16 | ||||
-rw-r--r-- | src/interp/i-funsel.boot | 2 | ||||
-rw-r--r-- | src/interp/i-syscmd.boot | 2 | ||||
-rw-r--r-- | src/interp/nruncomp.boot | 2 | ||||
-rw-r--r-- | src/interp/setvars.boot | 4 | ||||
-rw-r--r-- | src/interp/trace.boot | 2 |
7 files changed, 15 insertions, 15 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index cec0b2bb..cdfc9958 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -159,7 +159,7 @@ SigListUnion(extra,original,principal,tbl) == [esig,epred,:.]:= e eimplem:=[] for x in SigListOpSubsume(e,original) repeat - --PRETTYPRINT(LIST("SigListOpSubsume",e,x)) + --PRETTYPRINT(["SigListOpSubsume",e,x]) not MachineLevelSubsume(first e,first x) => --systemError '"Source level subsumption not implemented" original:= [e,:original] diff --git a/src/interp/i-coerfn.boot b/src/interp/i-coerfn.boot index bef965fc..451c06af 100644 --- a/src/interp/i-coerfn.boot +++ b/src/interp/i-coerfn.boot @@ -1304,7 +1304,7 @@ Sy2Dmp(u,source,target is [dmp,vl,S]) == u = '_$fromCoerceable_$ => canCoerce(source,S) len:= #vl -1 ~= (n:= position(u,vl)) => - u:= wrap LIST [vector [(n=i => 1; 0) for i in 0..len-1],:1] + u:= wrap [[vector [(n=i => 1; 0) for i in 0..len-1],:1]] objValUnwrap(coerceInt(objNew(u,[dmp,vl,$Integer]),target)) (u := coerceInt(objNewWrap(u,source),S)) or coercionFailure() [[Zeros len,:objValUnwrap u]] @@ -1320,7 +1320,7 @@ Sy2NDmp(u,source,target is [ndmp,vl,S]) == u = '_$fromCoerceable_$ => canCoerce(source,S) len:= #vl -1 ~= (n:= position(u,vl)) => - u:= wrap LIST [vector [(n=i => 1; 0) for i in 0..len-1],:1] + u:= wrap [[vector [(n=i => 1; 0) for i in 0..len-1],:1]] objValUnwrap(coerceInt(objNew(u,[ndmp,vl,$Integer]),target)) (u := coerceInt(objNewWrap(u,source),S)) or coercionFailure() [[Zeros len,:objValUnwrap(u)]] @@ -1528,8 +1528,8 @@ Var2Dmp(u,source,target is [dmp,vl,S]) == len := #vl -1 ~= (n:= position(sym,vl)) => - LIST [vector [(n=i => 1; 0) for i in 0..len-1], - :getConstantFromDomain($One,S)] + [[vector [(n=i => 1; 0) for i in 0..len-1], + :getConstantFromDomain($One,S)]] (u := coerceInt(objNewWrap(u,source),S)) or coercionFailure() [[Zeros len,:objValUnwrap u]] @@ -1539,8 +1539,8 @@ Var2Gdmp(u,source,target is [dmp,vl,S]) == len := #vl -1 ~= (n:= position(sym,vl)) => - LIST [vector [(n=i => 1; 0) for i in 0..len-1], - :getConstantFromDomain($One,S)] + [[vector [(n=i => 1; 0) for i in 0..len-1], + :getConstantFromDomain($One,S)]] (u := coerceInt(objNewWrap(u,source),S)) or coercionFailure() [[Zeros len,:objValUnwrap u]] @@ -1558,8 +1558,8 @@ Var2NDmp(u,source,target is [ndmp,vl,S]) == len:= #vl -1 ~= (n:= position(u,vl)) => - LIST [vector [(n=i => 1; 0) for i in 0..len-1], - :getConstantFromDomain($One,S)] + [[vector [(n=i => 1; 0) for i in 0..len-1], + :getConstantFromDomain($One,S)]] (u := coerceInt(objNewWrap(u,source),S)) or coercionFailure() [[Zeros len,:objValUnwrap(u)]] diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index 066fbc46..3ece2464 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -41,7 +41,7 @@ sayFunctionSelection(op,args,target,dc,func) == $abbreviateTypes : local := true startTimingProcess 'debug fsig := formatSignatureArgs args - if not LISTP fsig then fsig := LIST fsig + if not LISTP fsig then fsig := [fsig] if func then func := bright ['"by ",func] sayMSG concat ['"%l",:bright '"Function Selection for",op,:func,'"%l", '" Arguments:",:bright fsig] diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot index 0280ade1..13553c3b 100644 --- a/src/interp/i-syscmd.boot +++ b/src/interp/i-syscmd.boot @@ -2417,7 +2417,7 @@ undoSteps(m,beforeOrAfter) == if beforeOrAfter = 'before then --do one additional undo for )before env := undoSingleStep(second lastTailSeen,env) $frameRecord := rest $frameRecord --flush the effect of extra recordFrame - $InteractiveFrame := LIST LIST env + $InteractiveFrame := [[env]] undoSingleStep(changes,env) == diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index d8764a26..32d1ca72 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -399,7 +399,7 @@ stuffDomainSlots dollar == for i in (6 + # rest domname)..maxIndex template | item := vectorRef(template,i) repeat stuffSlot(dollar,i,item) - domainDirectory(dollar) := LIST(lookupFunction,dollar,infovec.1) + domainDirectory(dollar) := [lookupFunction,dollar,infovec.1] domainAttributes(dollar) := infovec.2 proto4 := infovec.3 domainData(dollar) := diff --git a/src/interp/setvars.boot b/src/interp/setvars.boot index 3c412d83..ed6c37e9 100644 --- a/src/interp/setvars.boot +++ b/src/interp/setvars.boot @@ -618,7 +618,7 @@ setFortDir arg == describeSetFortDir() == - sayBrightly LIST ( + sayBrightly [ '"%b",'")set fortran calling directory",'"%d",_ '" is used to tell OpenAxiom where",'"%l",_ '" to place generated FORTRAN files. This must be the name ",'"%l",_ @@ -626,7 +626,7 @@ describeSetFortDir() == '" to write (including the final slash).",'"%l",'"%l",_ '" Syntax:",'"%l",_ '" )set fortran calling directory DIRECTORYNAME",'"%l",'"%l",_ - '" The current setting is",'"%b",$fortranDirectory,'"%d") + '" The current setting is",'"%b",$fortranDirectory,'"%d"] setLinkerArgs arg == diff --git a/src/interp/trace.boot b/src/interp/trace.boot index 71ab533c..8d690a24 100644 --- a/src/interp/trace.boot +++ b/src/interp/trace.boot @@ -130,7 +130,7 @@ trace1 l == x is [domain,:opList] and vector? domain => sayKeyedMsg("S2IT0003",[devaluate domain]) $options:= [:newOptions,:LASSOC(x,$optionAlist)] - trace1 LIST x + trace1 [x] null l => nil l is ["?"] => _?t() traceList:= [transTraceItem x for x in l] or return nil |