Variable only occurring in quantification
Currently throws an error that no type could be derived. Should changed into a warning that the variable did not occur anywhere so was dropped.
Comments (7)
-
reporter -
-
assigned issue to
-
assigned issue to
-
- changed status to resolved
Adapted parser to ignore unused variables.
When quantifying over unused variables, they are now ignored and a warning is sent to the user. This fixes
#281→ <<cset c398b0fc4b3b>>
-
Adapted parser to ignore unused variables.
When quantifying over unused variables, they are now ignored and a warning is sent to the user. This fixes
#281→ <<cset 6e74a8357f53>>
-
Adapted parser to warn for unused variables.
When quantifying over unused variables, a warning is sent to the user. This fixes
#281→ <<cset 33ab185c439d>>
-
Adapted parser to warn for unused variables.
When quantifying over unused variables, a warning is sent to the user. This fixes
#281→ <<cset 8689856221e0>>
-
Adapted parser to warn for unused variables.
When quantifying over unused variables, a warning is sent to the user. This fixes
#281→ <<cset 759f9f3aeea8>>
- Log in to comment
Should be easy to implement using new containsVariable(x) transformation.