search

apoch / epoch-language

Home of the Epoch Programming Language Project
Other
72 stars 3 forks source link

Type inference is broken on function calls inside expressions #116

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
A function call (Statement AST node) inside an Expression AST node can break 
type inference; see Statement::TypeInference in Statement.cpp.

For example:

foo(1 + bar())

bar()'s type will not be correctly inferred.

Original issue reported on code.google.com by don.ap...@gmail.com on 15 Feb 2012 at 7:40

GoogleCodeExporter commented 9 years ago 
Fixed; added a compiler test to make sure this never happens again.

Original comment by don.ap...@gmail.com on 31 Mar 2012 at 4:36