nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
686ed8f
)
modelize: Gracefully handle virtual types without definition in `check_virtual_types_...
author
Jean Privat
<jean@pryen.org>
Wed, 28 Oct 2015 16:04:51 +0000
(12:04 -0400)
committer
Jean Privat
<jean@pryen.org>
Thu, 29 Oct 2015 12:36:27 +0000
(08:36 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>
src/modelize/modelize_property.nit
patch
|
blob
|
history
diff --git
a/src/modelize/modelize_property.nit
b/src/modelize/modelize_property.nit
index
e4ae1c5
..
23feb87
100644
(file)
--- a/
src/modelize/modelize_property.nit
+++ b/
src/modelize/modelize_property.nit
@@
-447,8
+447,7
@@
redef class ModelBuilder
var vt = t.mproperty
# Because `vt` is possibly unchecked, we have to do the bound-lookup manually
var defs = vt.lookup_definitions(mmodule, recv)
- # TODO something to manage correctly bound conflicts
- assert not defs.is_empty
+ if defs.is_empty then return false
nexts = new Array[MType]
for d in defs do
var next = defs.first.bound