TypeChecker doesn't catch args/parameters mismatch #75
Description
Example:
func activateWaterpump(pin arduinoSensor, Time water){
activateWaterpump(arduinoSensor, neededWater);
where neededWater is unit Volume
{{ message }}
Example:
func activateWaterpump(pin arduinoSensor, Time water){
activateWaterpump(arduinoSensor, neededWater);
where neededWater is unit Volume