Implement type_reference (medium starter task) #1650
Labels
area: data-types
Issue involves data-types
effort: hours
Expect this issue to require roughly hours of invested effort to resolve
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Wilson Snyder (@wsnyder)
Original Redmine Issue: 1650 from https://www.veripool.org
Good small task, though requires looking at the parsing and elaboration code which is non-trivial to understand.
Implement type_reference rule in IEEE which is e.g. "var type(foo) bar;", that is bar is the same type as foo.
The text was updated successfully, but these errors were encountered: