From 80aa0b2fa1ece86ff4197d748fc6d4fb9c962c56 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Mon, 9 Nov 2015 14:40:52 +0100
Subject: [PATCH] =?UTF-8?q?Add=20symbols=20bound=20in=20=CE=BD/=CE=BC=20ex?=
=?UTF-8?q?pressions=20to=20table?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/lib/CoAlgFormula.ml | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index d38cf08..ef5f85b 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -819,12 +819,16 @@ and parse_rest symtab ts =
FUS (false, f)
| A.Kwd "μ" ->
let (_, _, s) = boxinternals true "." in
- let f1 = parse_rest symtab ts in
- MU (s, f1)
+ let symbol = Stream.next gensym in
+ let newtab = (s, symbol) :: symtab in
+ let f1 = parse_rest newtab ts in
+ MU (symbol, f1)
| A.Kwd "ν" ->
let (_, _, s) = boxinternals true "." in
- let f1 = parse_rest symtab ts in
- NU (s, f1)
+ let symbol = Stream.next gensym in
+ let newtab = (s, symbol) :: symtab in
+ let f1 = parse_rest newtab ts in
+ NU (symbol, f1)
| A.Kwd "AF" ->
let f = parse_rest symtab ts in
AF f
--
GitLab