diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-12 19:35:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-12 19:35:37 +0000 |
commit | 51828facc9bb3dd130b723cb49b1b5eff04231dd (patch) | |
tree | e94c75ed0938b260a8f7fa0ea0de4b0a031acecd /src/interp/format.boot | |
parent | f1c5b36d7eeb93b28a346101142e80d8035b072b (diff) | |
download | open-axiom-51828facc9bb3dd130b723cb49b1b5eff04231dd.tar.gz |
Fix codegen for pattern matching strings
Diffstat (limited to 'src/interp/format.boot')
-rw-r--r-- | src/interp/format.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/format.boot b/src/interp/format.boot index f322e9a0..90030763 100644 --- a/src/interp/format.boot +++ b/src/interp/format.boot @@ -460,7 +460,7 @@ formArguments2String(argl,ml) == [fn(x,m) for x in argl for m in ml] where fn(x,m) == x=$EmptyMode or x=$quadSymbol => specialChar 'quad string?(x) or IDENTP(x) => x - x is [ ='_:,:.] => form2String1 x + x is ['_:,:.] => form2String1 x isValidType(m) and cons?(m) and (getConstructorKindFromDB first(m) = "domain") => (x' := coerceInteractive(objNewWrap(x,m),$OutputForm)) => @@ -494,14 +494,14 @@ formatJoinKey(r,key) == key = 'mkCategory => r is [opPart,catPart,:.] => opString := - opPart is [='LIST,:u] => + opPart is ['LIST,:u] => "append"/[concat("%l",formatOpSignature(op,sig),formatIf pred) - for [='QUOTE,[[op,sig],pred]] in u] + for ['QUOTE,[[op,sig],pred]] in u] nil catString := - catPart is [='LIST,:u] => + catPart is ['LIST,:u] => "append"/[concat("%l",'" ",form2StringLocal con,formatIf pred) - for [='QUOTE,[con,pred]] in u] + for ['QUOTE,[con,pred]] in u] nil concat(opString,catString) '"?? unknown mkCategory format ??" |