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