Hello everyone,
I'm having a parsing error when trying to run a small B example wrote by my professor. The following
set comprehension fails to parse on my Linux system:
PROPERTIES
...
& lambda_closure = closure1({ (q1,q2) | (q1,lambda,q2) : delta}) \/ id(Q)
Identifier expected
### File: /mnt/documents/Download/determination.mch
### Line: 13, Column: 32
Column 32 being the opening parenthesis in {(q1,q2) | (q1,lambda,q2) : delta}
The example worked fine on his macos computer, iirc.
I tried to run it using ProB 1.6.1, 1.7.0 and the nightly, without success.
Is this working as expected, or is this a bug? When I remove the parenthesis around (q1,q2),
the example parse and run correctly.
Here's my system:
Debugging mode: On :19
ProB Command Line Interface
VERSION 1.7.0-final (e6c0bb3b0c68c2728b8d797c3e9eb8d140c50ab6)
Mon Jul 10 15:09:21 2017 +0200
Prolog: SICStus 4.3.3 (x86_64-linux-glibc2.17): Tue Jun 7 01:18:05 PDT 2016
Application Path: /home/mgoyette/opt/ProB
Java Runtime: /usr/bin/java
Java Version: openjdk full version "1.8.0_144-b01"
Java Parser: 2017-07-06 10:34:07.523
% ProB Finished
Thanks for your time,
Maxime G.