Merge branch 'pu/parameter-names' into wip
[nit.git] / src / syntax / typing.nit
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-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
2009-06-24 Jean Privatsyntax: new class AAbsAbsSendExpr
2009-06-24 Jean Privatsyntax: new method use_if_true_variable_ctx
2009-06-24 Jean Privatsyntax: Split SubVariableContext and CastVariableContext
2009-06-24 Jean Privatsyntax: new method check_conform_multiexpr
2009-06-16 Jean Privatmetamodel: fast-fail in getters
2009-06-10 Jean PrivatSpelling: bloc -> block
2009-06-10 Jean Privatsyntax: New escape block management
2009-06-10 Jean Privatast: Merge classes AForExpr and AForVardeclExpr
2009-02-26 Jean PrivatCompile superstrings with an array.to_s
2009-02-26 Jean PrivatMove primitive method selection.
2009-02-06 Jean PrivatFinish syntax analysis for default closure.
2009-01-30 Jean PrivatBasic typing and compilation for default closures.
2009-01-24 Jean PrivatFinalizer for closures.
2009-01-24 Jean PrivatNew function process_closures.
2009-01-22 Jean PrivatAdd break closure.
2009-01-22 Jean PrivatNew class MMClosure
2009-01-21 Jean PrivatType and check 'break' return values.
2009-01-20 Jean PrivatType and check 'continue' return value.
2009-01-20 Jean PrivatTyping of closures
2009-01-26 Jean PrivatUpdate get_default_constructor_for and AConcreteInitPropdef
2009-01-20 Jean PrivatMake 'self' a standard parameter (ParamVariable)
next