Ticc/BugClosed/Primed local variables in a local input guard - UCSC DvLab

Primed local variables in a local input guard

Submitted by: Luca (reported by Axel)
Date: Dec 13, 2005
Assigned to: Luca
Fixed: please test, then close.

Axel reported that in the guards of local input guarded commands, primed local variables can appear. This would be a bug: this should be ruled out by the checks in typecheck.ml.

Ticc/BugClosed/Primed local variables in a local input guard (last edited 2005-12-29 09:44:48 by MarcoFaella)