In single file mode, variables with the same name in `init` and a matching rule don't get unique names but clash
For example:
init ^ (s) := new s, ty == T(). [[ e ^ (s) ]] := ty == T().The two
Submitted by Hendrik van Antwerpen on 8 September 2016 at 13:43ty’s get the same unique name in the generated constraints.
Issue Log
On 18 September 2016 at 02:41 Hendrik van Antwerpen commented:
For now, fixed it with a work-around that calls init with the project directory even in single file mode.
EDIT: This does cause problems too, because there is no unit for the project in single file mode. And even if there was, the sjaring between files would probably cause problems as well.
On 17 October 2016 at 21:05 Hendrik van Antwerpen commented:
Fixed now.
On 17 October 2016 at 21:05 Hendrik van Antwerpen closed this issue.
Log in to post comments