search

orc-lang / orc

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

InvokeExecutable fails to type check #111

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Procedure to Repeat:
1. Compile any code with the type checker on.

Expected / Actual Results:
Type error in prelude

Version and Platform:
Current SVN (r3122).

Reporter's Comments:
Bug is related to how type checking relates to Java classes.

Original issue reported on code.google.com by arthur.peters on 29 Nov 2012 at 9:06

GoogleCodeExporter commented 9 years ago

Original comment by arthur.peters on 29 Nov 2012 at 9:06

GoogleCodeExporter commented 9 years ago 
Fixed in r3124 by David

Original comment by jthywissen on 6 Dec 2012 at 10:21

GoogleCodeExporter commented 9 years ago

Original comment by jthywissen on 6 Dec 2012 at 10:22