thorstenhater
authored
* Add ranges in STATE blocks of the form FROM ... TO ... * Unit test for the above * Add type check for <..., ...> ranges * Add units in procedure argument lists * Unit test for the above.
* Add ranges in STATE blocks of the form FROM ... TO ... * Unit test for the above * Add type check for <..., ...> ranges * Add units in procedure argument lists * Unit test for the above.