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