nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge: Callref compilers
[nit.git]
/
src
/
interpreter
/
naive_interpreter.nit
diff --git
a/src/interpreter/naive_interpreter.nit
b/src/interpreter/naive_interpreter.nit
index
bbdb30c
..
7557da7
100644
(file)
--- a/
src/interpreter/naive_interpreter.nit
+++ b/
src/interpreter/naive_interpreter.nit
@@
-2295,8
+2295,12
@@
redef class ACallrefExpr
do
var recv = v.expr(self.n_expr)
if recv == null then return null
do
var recv = v.expr(self.n_expr)
if recv == null then return null
+ var mtype = self.mtype
assert mtype != null
assert mtype != null
- var inst = new CallrefInstance(mtype.as(not null), recv, callsite.as(not null))
+ # In case we are in generic class where formal parameter can not
+ # be resolved.
+ var mtype2 = v.unanchor_type(mtype)
+ var inst = new CallrefInstance(mtype2, recv, callsite.as(not null))
return inst
end
end
return inst
end
end