Infinite groundings
Issue #70
resolved
It should not be possible that a simple formula of the form
x+y=0
with x and y in 0..1 has an infinite grounding. For the moment. That is the case (see for example natarithsum.idp or all of the sattest failing on infinite groundings)
Comments (5)
-
reporter -
Deriving sorts for introduced variables.
ref issue 70
Seems to work for all aggregates. Some functions still need to be added.
-
reporter - changed status to resolved
-
Deriving sorts for introduced variables.
ref issue 70
Seems to work for all aggregates. Some functions still need to be added.
-
- removed milestone
Removing milestone: First Release 25/12/2011 (automated comment)
- Log in to comment
Dit heeft natuurlijk alles te maken met type-derivatie, en de slimmere type-derivatie die we willen doen wanneer de structuur gegeven is. zie ook
#34