For example:

init ^ (s) := new s, ty == T().
[[ e ^ (s) ]] := ty == T().

The two ty's get the same unique name in the generated constraints.

Submitted by Hendrik van Antwerpen on 8 September 2016 at 13:43

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