search

orc-lang / orc

Orc programming language implementation
https://orc.csres.utexas.edu/
BSD 3-Clause "New" or "Revised" License
41 stars 3 forks source link

Typechecker fails with NonLocalReturnControl on invokeExecutable in prelude #114

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The compiler emits a fatal scala.runtime.NonLocalReturnControl exception when 
typechecking invokeExecutable in the prelude. Commenting out invokeExecutable 
from util.inc allows the typechecker to pass the prelude successfully.

I am not certain why this is occurring, but I suspect it has to do with certain 
uses of 'return' in the typeCall function of the typechecker.

Original issue reported on code.google.com by dkitc...@gmail.com on 5 Dec 2012 at 9:50

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r3126.

Original comment by dkitc...@gmail.com on 6 Dec 2012 at 8:55