From e8129483c25d61df0ccb18afd29b93844c814709 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 15 Jun 2009 05:13:27 +0000
Subject: 	* 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.

---
 src/ChangeLog            | 7 +++++++
 src/interp/fnewmeta.lisp | 2 +-
 src/interp/format.boot   | 2 ++
 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,3 +1,10 @@
+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
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]
 
-- 
cgit v1.2.3