nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
metamodel: rename 'universal' to 'enum'
[nit.git]
/
src
/
syntax
/
typing.nit
diff --git
a/src/syntax/typing.nit
b/src/syntax/typing.nit
index
2382bde
..
379c7f0
100644
(file)
--- a/
src/syntax/typing.nit
+++ b/
src/syntax/typing.nit
@@
-37,7
+37,7
@@
end
# * Resolve call and attribute access
# * Check type conformance
private class TypingVisitor
# * Resolve call and attribute access
# * Check type conformance
private class TypingVisitor
-special AbsSyntaxVisitor
+ super AbsSyntaxVisitor
redef fun visit(n)
do
if n != null then n.accept_typing(self)
redef fun visit(n)
do
if n != null then n.accept_typing(self)
@@
-503,7
+503,7
@@
end
# An abstract control structure with feature escapable block
class AAbsControl
# An abstract control structure with feature escapable block
class AAbsControl
-special AExpr
+ super AExpr
# The corresponding escapable block
readable var _escapable: nullable EscapableBlock
# The corresponding escapable block
readable var _escapable: nullable EscapableBlock
@@
-545,7
+545,7
@@
special AExpr
end
redef class ADoExpr
end
redef class ADoExpr
-special AAbsControl
+ super AAbsControl
redef fun accept_typing(v)
do
process_control(v, new BreakOnlyEscapableBlock(self), n_label, false)
redef fun accept_typing(v)
do
process_control(v, new BreakOnlyEscapableBlock(self), n_label, false)
@@
-587,7
+587,7
@@
redef class AIfExpr
end
redef class AWhileExpr
end
redef class AWhileExpr
-special AAbsControl
+ super AAbsControl
redef fun accept_typing(v)
do
process_control(v, new EscapableBlock(self), n_label, true)
redef fun accept_typing(v)
do
process_control(v, new EscapableBlock(self), n_label, true)
@@
-619,7
+619,7
@@
special AAbsControl
end
redef class ALoopExpr
end
redef class ALoopExpr
-special AAbsControl
+ super AAbsControl
redef fun accept_typing(v)
do
process_control(v, new EscapableBlock(self), n_label, true)
redef fun accept_typing(v)
do
process_control(v, new EscapableBlock(self), n_label, true)
@@
-636,7
+636,7
@@
special AAbsControl
end
redef class AForExpr
end
redef class AForExpr
-special AAbsControl
+ super AAbsControl
var _variable: nullable AutoVariable
redef fun variable do return _variable.as(not null)
var _variable: nullable AutoVariable
redef fun variable do return _variable.as(not null)
@@
-1822,7
+1822,7
@@
redef class AClosureDef
end
class ATypeCheckExpr
end
class ATypeCheckExpr
-special AExpr
+ super AExpr
private fun check_expr_cast(v: TypingVisitor, n_expr: AExpr, n_type: AType)
do
if not v.check_expr(n_expr) then return
private fun check_expr_cast(v: TypingVisitor, n_expr: AExpr, n_type: AType)
do
if not v.check_expr(n_expr) then return
@@
-1853,7
+1853,7
@@
special AExpr
end
redef class AIsaExpr
end
redef class AIsaExpr
-special ATypeCheckExpr
+ super ATypeCheckExpr
redef fun after_typing(v)
do
check_expr_cast(v, n_expr, n_type)
redef fun after_typing(v)
do
check_expr_cast(v, n_expr, n_type)
@@
-1868,7
+1868,7
@@
special ATypeCheckExpr
end
redef class AAsCastExpr
end
redef class AAsCastExpr
-special ATypeCheckExpr
+ super ATypeCheckExpr
redef fun after_typing(v)
do
check_expr_cast(v, n_expr, n_type)
redef fun after_typing(v)
do
check_expr_cast(v, n_expr, n_type)