1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Sort derivation incorrect for nested aggregates

Issue #248 resolved
Broes De Cat created an issue

No description provided.

Comments (3)

  2. Bart Bogaerts

    Added a check for free variables in term blocks.

    In termblocks, free variables are not allowed. This fixes #248, which had nothing to do with using nested aggregates, but with the use of a domain element inside a term. This domain element was treated as an unquantified variable, and no error was thrown.

    I also added a test to check for this behavior.

    → <<cset ee8008be4312>>

  3. Broes De Cat reporter

    Added a check for free variables in term blocks.

    In termblocks, free variables are not allowed. This fixes #248, which had nothing to do with using nested aggregates, but with the use of a domain element inside a term. This domain element was treated as an unquantified variable, and no error was thrown.

    I also added a test to check for this behavior.

    → <<cset 3e3a0549292f>>

  4. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!