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

Type checker reporting problem at wrong location #118

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Procedure to Repeat:
Compile the following with type checking enabled:

def allOKhere() = signal

def errorHere(None(), v) = signal
def errorHere(Some(v), _) = signal

signal

Expected / Actual Results:
:1:1: Could not infer missing argument types; please add argument type 
annotations [[OrcWiki:UnspecifiedArgTypesException]]
def allOKhere() = signal
^
Compilation failed

The error location should be the clausal def of errorHere, not the previous def

Version and Platform:
r3159

Original issue reported on code.google.com by jthywissen on 20 Jan 2013 at 6:41

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

Original comment by dkitc...@gmail.com on 23 Jan 2013 at 7:17