Unautomatize attributes in MMAncestor class.
Explicitly call super in MMTypeFormal.
init(n: Symbol, p: Int, intro: MMLocalClass)
do
assert n != null
- _name = n
+ super(n, null)
_position = p
_def_class = intro
end
# Inheritance relation between two types
abstract class MMAncestor
# The inherited type
- readable writable attr _stype: MMType
+ readable writable attr _stype: MMType = null
# The inheriter (heir) type
- readable writable attr _inheriter: MMType
+ readable writable attr _inheriter: MMType = null
meth is_reffinement: Bool do
return stype.module != stype.module