diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 7 | ||||
| -rw-r--r-- | src/interp/fnewmeta.lisp | 2 | ||||
| -rw-r--r-- | src/interp/format.boot | 2 | ||||
| -rw-r--r-- | src/interp/postpar.boot | 3 |
4 files changed, 11 insertions, 3 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 81989c79..ae7daacf 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2009-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/fnewmeta.lisp (PARSE-Scheme): Tidy. + * interp/format.boot (dollarPercentTran): Translate T$ too. + (application2String): Handle quasiquotations. + * interp/postpar.boot (killColons): Don't remove quantified variables. + +2009-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and showTypeInOutput. Tidy. * algebra/fortran.spad.pamphlet: Coerce Any objects to Output; diff --git a/src/interp/fnewmeta.lisp b/src/interp/fnewmeta.lisp index e6af7e4c..b4b3b789 100644 --- a/src/interp/fnewmeta.lisp +++ b/src/interp/fnewmeta.lisp @@ -481,7 +481,7 @@ (OR (AND (|PARSE-Quantifier|) (MUST (|PARSE-QuantifiedVariableList|)) (MUST (MATCH-ADVANCE-STRING ".")) - (MUST (|PARSE-Application|)) + (MUST (|PARSE-Expr| 200)) (MUST (PUSH-REDUCTION '|PARSE-Forall| (CONS (POP-STACK-3) (CONS (POP-STACK-2) diff --git a/src/interp/format.boot b/src/interp/format.boot index d3d6fbc9..9e2c9416 100644 --- a/src/interp/format.boot +++ b/src/interp/format.boot @@ -291,6 +291,7 @@ dollarPercentTran x == EQ(y, y1) and EQ(z, z1) => x [y1, :z1] x = "$" or x = '"$" => "%%" + x = "T$" or x = '"T$" => "T" x formatSignatureAsTeX sig == @@ -632,6 +633,7 @@ application2String(op,argl, linkInfo) == null argl => (op' := isInternalFunctionName(op)) => op' app2StringWrap(formWrapId op, linkInfo) + op = "[||]" => concat("[|",concat(prefix2String0 argl,"|]")) 1=#argl => arg := first argl arg is ["<",:.] or arg is ["(",:.] => concat(op,arg) diff --git a/src/interp/postpar.boot b/src/interp/postpar.boot index e54d24fd..af5ec656 100644 --- a/src/interp/postpar.boot +++ b/src/interp/postpar.boot @@ -501,8 +501,7 @@ postSignature t == killColons: %ParseTree -> %ParseForm killColons x == atom x => x - x is ["Record",:.] => x - x is ["Union",:.] => x + x is [op,:.] and MEMQ(op, '(Record Union %Forall %Exist)) => x x is [":",.,y] => killColons y [killColons first x,:killColons rest x] |