Detect set reuse

Issue #179 resolved

Broes De Cat created an issue 2012-06-01

The translator stores sets, but the grounder cannot detect it is regrounding the same set (so the grounding can become larger than necessary).

This can be solver by having a setgrounder store its freevars and the translator store sets based on their the grounder ID and the free var instantiation.

Comments (11)

Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:13+00:00
Broes De Cat reporter
- changed status to open
- 2013-03-03T20:44:06+00:00
Broes De Cat reporter
- changed status to resolved
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset 2bed3a25c63e>>
- 2013-03-03T20:45:15+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset b385ab6375d3>>
- 2013-03-15T16:30:15+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset 14136c868c4f>>
- 2013-03-15T16:34:20+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset feea32be551d>>
- 2013-04-04T15:22:36+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset 7a40ee8f2c09>>
- 2013-04-04T15:26:38+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset ff34b0adad93>>
- 2013-04-04T16:09:25+00:00
Joachim Jansen
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset c90e6d2ac78e>>
- 2013-04-17T14:34:00+00:00
Joachim Jansen
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset 14136c868c4f>>
- 2013-05-29T08:59:46+00:00
Broes De Cat reporter
Fixes ~~#179~~: Preventing regrounding the same set.

→ <<cset 14136c868c4f>>
- 2013-10-08T12:06:02+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1