aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog7
-rw-r--r--src/interp/fnewmeta.lisp2
-rw-r--r--src/interp/format.boot2
-rw-r--r--src/interp/postpar.boot3
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]