Fix #107 Control Flow Bug

lambdaclass / concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Apache License 2.0

123 stars 11 forks source link

Fix #107 Control Flow Bug #109

Closed JulianGCalderon closed 4 months ago

JulianGCalderon commented 5 months ago

closes #107

Enforces that no statements are left unpushed after lowering an if or a while
Always add a goto "loop check" at the end of loop blocks
Always add a goto "end of if" at the end of each if branch
Always add an implicit return at the end of a function

github-actions[bot] commented 5 months ago

lambdaclass / concrete

Fix #107 Control Flow Bug #109

Benchmarking factorial