krr / IDP / issues / #620 - approxEmpty for constructedinternalsorttables is wrong — Bitbucket

Issue #620 resolved

Bart Bogaerts created an issue 2013-12-24

It simply retruns true if there are recursive constructors and no constructors with arity zero. This is wrong. If there are non-recursive constructors, it's also false

Comments (1)

Broes De Cat
- changed status to resolved
Resolved by https://bitbucket.org/krr/idp/pull-request/175/fixes-618-and-other-issues-with-recursive/diff
- 2013-12-24T10:56:44+00:00
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!