parser: `Visitor::visit` does not accepts `null`
[nit.git] / src / syntax / typing.nit
2013-08-09 Jean Privatparser: `Visitor::visit` does not accepts `null`
2013-04-23 Jean Privatnitc: fix error in constructor inheritance
2013-04-03 Jean Privatnitc: accepts 'var x = null'
2013-03-14 Jean Privatnitc: do not warn on isa related on formal
2012-11-06 Jean Privatnitc: remove a warning on casts on MMTypeFormal
2012-10-25 Alexis Laferrièresyntax: removes test "constructor must be invoked before"
2012-08-12 Jean Privatnitc: cannot instantiate a nullable type
2012-04-10 Jean Privatsyntax: implements __debug__ type construct
2012-04-10 Jean Privatclean: make some classes abstract or interfaces
2012-02-27 Jean Privatsyntax: warn for superfluous parentheses in signatures
2012-02-24 Jean Privattyping: error on foo() when foo is a variable
2012-02-24 Jean Privatsyntax: warn on superfluous empty parentheses on calls
2012-02-24 Jean Privatparser: include obra, cbra, opar and cpar in arguments
2012-02-24 Jean Privattyping: some warning cleanup
2012-02-24 Jean Privattyping: warn for superfluous parentheses
2012-02-24 Jean Privattyping: proxyexpr delegate more services
2012-02-09 Alexis Laferrièregrammar: allows constructors in extern classes
2012-02-09 Alexis Laferrièremm: implements metamodel for basic explicit casts
2012-02-09 Alexis Laferrièremm: adds basic explicit imports to metamodel and typing
2012-02-09 Alexis Laferrièregrammar: adds extern class kind for extern classes...
2011-10-13 Jean PrivatMerge branch 'pu/parameter-names' into wip
2011-10-06 Alexis Laferrièremisc: corrects some typos and according tests
2011-04-15 Alexandre Terrasasrc: fix "constrctor" typo in error messages
2011-04-14 Alexandre Terrasasrc: Minor fixes in error messages
2011-03-31 Jean Privatsyntax: enable a generalized for with iterate
2011-02-14 Jean Privatmetamodel: rename 'universal' to 'enum'
2011-02-14 Jean Privatmetamodel: rename 'universal' to 'enum'
2011-01-29 Jean PrivatMerge branch 'll-and-gg-operators' into wip
2011-01-29 Jean Privatparser: add << and >> operators
2011-01-20 Jean Privatsrc: rename 'module' identifiers
2010-06-24 Jean Privatsyntax: merge ScopeContext and EscapeContext
2010-06-24 Jean Privatsyntax: split the VariableContext into a Scope and...
2010-06-24 Jean Privatsyntax: new enter_visit_block helper function
2010-06-24 Jean Privatsyntax: new mark_unreash helper function
2010-06-24 Jean Privatsyntax: factorize some block/loop structures
2010-06-15 Jean Privatsyntax: new "or else" construction
2010-01-26 Jean Privatsyntax: refuse return in default closure definition
2010-01-18 Jean Privatsyntax: type error when using superstrings with nullables
2010-01-18 Jean Privatsyntax: fix code using superstrings with nullables
2010-01-18 Jean Privatsyntax: remove reachability test in ABreakExpr
2010-01-18 Jean Privatsyntax: do not nest variable context in ABlockExpr
2010-01-15 Jean Privatsyntax: allow 'null == x' and 'null != x'
2010-01-15 Jean Privatsyntax: track exits context in do blocks
2010-01-15 Jean Privatsyntax: remove VariableContex::stype=
2010-01-14 Jean Privatsyntax: stmts after loops without breaks are unreashables
2010-01-14 Jean Privatsyntax: unreachable statements are errors
2010-01-14 Jean Privatsyntax: while/loop exit type evolution
2010-01-14 Jean Privatsyntax: fix type evolution on non nullable type
2010-01-14 Jean Privatsyntax: comparing a variable with null makes it evolve...
2010-01-14 Jean Privatsyntax: prevent segfault on null types
2010-01-14 Jean Privatsyntax: untyped local variables are 'nullable Object'
2010-01-14 Jean Privatsyntax: real variable type evolution on IfexprExpr
2009-08-28 Jean Privatsyntax: warn on 'while true do' and suggests 'loop'
2009-08-24 Jean Privatsyntax: break closures are implicitly ended with 'break'
2009-08-24 Jean Privatsyntax: fix 'break' with value in default closures
2009-08-20 Jean Privatsyntax: allow untyped variable declaration
2009-08-20 Jean Privatsyntax: assign variable even if there is no base type
2009-08-19 Jean Privatsyntax: new 'assert else' statement
2009-08-06 Jean Privatsyntax: better location for local variable declarations
2009-08-06 Jean Privatsyntax: add 'loop' construction
2009-08-01 Jean Privatsyntax: closure are designed by their names, not their...
2009-08-01 Jean Privatsyntax: [] method can have closure definition
2009-07-31 Jean Privatparser: closure syntax use '!' instead of 'with'
2009-07-30 Jean Privatsyntax: arity missmatch error messages show prototypes
2009-07-29 Jean Privatsyntax: vararg arguments are processed by icode
2009-07-29 Jean Privatsyntax: generalize and publicize raw_arguments concept
2009-07-27 Jean Privatsyntax: handle labels for 'do'
2009-07-27 Jean Privatsyntax: handle labels for for, while and closures
2009-07-27 Jean Privatparser: rename all P* prod classes to A*
2009-07-27 Jean Privaticode: introduce intermediate code representation
2009-07-24 Jean Privatsyntax: some cleaning to prepare intermediate code
2009-07-23 Jean-Sebastien Gelinastools: remove 'locate' from nodes and visitor
2009-07-15 Jean Privatparser: add Visitor::current_node and Visitor::enter_visit
2009-07-08 Jean Privatsyntax: promote some properties and classes from typing...
2009-07-04 Jean Privatsyntax: add PType::is_typed
2009-07-04 Jean Privatsyntax: add some missing PExpr::is_typed.
2009-07-04 Jean Privatsyntax: move varctx initialization to the PClassdef
2009-06-26 Jean Privatsyntax: 'meth' -> 'fun', 'attr' -> 'var'
2009-06-26 Jean Privatnullable: convert lib, tools and tests
2009-06-24 Jean Privatnullable: type, compile and test 'isset _attr'
2009-06-24 Jean Privatsyntax: no isa/as warning for double nullable formal...
2009-06-24 Jean Privatsyntax: extends 'as' and 'isa' warning to nullable
2009-06-24 Jean Privatsyntax: "!= null" works like a "isa"
2009-06-24 Jean Privattyping: warn when comparing null and not nullable
2009-06-24 Jean Privatnullable: type, compile and test 'as(not null)'
2009-06-24 Jean Privatsyntax: fix OR if_false_var_ctx passing.
2009-06-24 Jean Privatsyntax: local variable assignment always cast
2009-06-24 Jean Privatsyntax: while condition can now cast variable
2009-06-24 Jean Privatsyntax: variable assignment can bypass cast
2009-06-24 Jean Privatsyntax: if_false_variable_ctx
2009-06-24 Jean Privatsyntax: var assignment can bypass casted type
2009-06-24 Jean Privatsyntax: do_lvalue_typing do not do the final type check
2009-06-24 Jean Privatsyntax: Move VariableContext and related to a new contr...
2009-06-24 Jean Privatsyntax: merge control_flow.nit in typing.nit
2009-06-24 Jean Privatsyntax: variable with () is not a variable
2009-06-24 Jean Privatsyntax: clean class VariableContext
2009-06-24 Jean Privatsyntax: warning for useless 'isa' and 'as' type checks
2009-06-24 Jean Privatsyntax: update PExpr class to use _is_typed and cie.
2009-06-24 Jean Privatsyntax: add PExpr:is_typed and PExpr::is_statement
2009-06-24 Jean Privatsyntax: refactor AClosureCallExpr
next