Callref bugfix in interpreter and compilers + autosav
authorLouis-Vincent Boudreault <lv.boudreault95@gmail.com>
Sat, 12 Oct 2019 00:02:28 +0000 (20:02 -0400)
committerLouis-Vincent Boudreault <lv.boudreault95@gmail.com>
Sat, 12 Oct 2019 00:20:33 +0000 (20:20 -0400)
commit31110c7a689c682f5fcd770a516ac83ccc454b1e
tree02800c61f1a8973c2a6d20ad5ec3767c2190fd3e
parent070937696df57d59190ce5453b929e59246ce511
Callref bugfix in interpreter and compilers + autosav

~~~~nitish
class A[E]
fun foo: A[E] do return self
fun bar: Fun0[A[E]] do return &foo # it didn't work before
end
~~~~

- Fixed a bug when `self` was a generic class with unsolved type. It was
impossible to return a callref, since the typing rule were not properly
executed.
- Added a test case in `test_callref.res`

Signed-off-by: Louis-Vincent Boudreault <lv.boudreault95@gmail.com>
src/compiler/global_compiler.nit
src/compiler/separate_compiler.nit
src/interpreter/naive_interpreter.nit
src/semantize/typing.nit
tests/sav/test_callref.res
tests/test_callref.nit