Unautomatize attributes in MMAncestor class.
Explicitly call super in MMTypeFormal.
init(n: Symbol, p: Int, intro: MMLocalClass)
do
assert n != null
init(n: Symbol, p: Int, intro: MMLocalClass)
do
assert n != null
_position = p
_def_class = intro
end
_position = p
_def_class = intro
end
# Inheritance relation between two types
abstract class MMAncestor
# The inherited type
# 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
# 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
meth is_reffinement: Bool do
return stype.module != stype.module