search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Drop concept of "modified variables" in loop #1052

Closed DavePearce closed 2 years ago

DavePearce commented 3 years ago

At this stage, the concept of modified variables in a loop should probably be removed from the syntax tree. It's not a useful concept, since it is too primitive.