nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
parser: add << and >> operators
[nit.git]
/
src
/
syntax
/
typing.nit
2011-01-29
Jean Privat
parser: add << and >> operators
blob
|
commitdiff
2010-06-24
Jean Privat
syntax: merge ScopeContext and EscapeContext
blob
|
commitdiff
|
diff to current
2010-06-24
Jean Privat
syntax: split the VariableContext into a Scope and...
blob
|
commitdiff
|
diff to current
2010-06-24
Jean Privat
syntax: new enter_visit_block helper function
blob
|
commitdiff
|
diff to current
2010-06-24
Jean Privat
syntax: new mark_unreash helper function
blob
|
commitdiff
|
diff to current
2010-06-24
Jean Privat
syntax: factorize some block/loop structures
blob
|
commitdiff
|
diff to current
2010-06-15
Jean Privat
syntax: new "or else" construction
blob
|
commitdiff
|
diff to current
2010-01-26
Jean Privat
syntax: refuse return in default closure definition
blob
|
commitdiff
|
diff to current
2010-01-18
Jean Privat
syntax: type error when using superstrings with nullables
blob
|
commitdiff
|
diff to current
2010-01-18
Jean Privat
syntax: fix code using superstrings with nullables
blob
|
commitdiff
|
diff to current
2010-01-18
Jean Privat
syntax: remove reachability test in ABreakExpr
blob
|
commitdiff
|
diff to current
2010-01-18
Jean Privat
syntax: do not nest variable context in ABlockExpr
blob
|
commitdiff
|
diff to current
2010-01-15
Jean Privat
syntax: allow 'null == x' and 'null != x'
blob
|
commitdiff
|
diff to current
2010-01-15
Jean Privat
syntax: track exits context in do blocks
blob
|
commitdiff
|
diff to current
2010-01-15
Jean Privat
syntax: remove VariableContex::stype=
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: stmts after loops without breaks are unreashables
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: unreachable statements are errors
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: while/loop exit type evolution
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: fix type evolution on non nullable type
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: comparing a variable with null makes it evolve...
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: prevent segfault on null types
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: untyped local variables are 'nullable Object'
blob
|
commitdiff
|
diff to current
2010-01-14
Jean Privat
syntax: real variable type evolution on IfexprExpr
blob
|
commitdiff
|
diff to current
2009-08-28
Jean Privat
syntax: warn on 'while true do' and suggests 'loop'
blob
|
commitdiff
|
diff to current
2009-08-24
Jean Privat
syntax: break closures are implicitly ended with 'break'
blob
|
commitdiff
|
diff to current
2009-08-24
Jean Privat
syntax: fix 'break' with value in default closures
blob
|
commitdiff
|
diff to current
2009-08-20
Jean Privat
syntax: allow untyped variable declaration
blob
|
commitdiff
|
diff to current
2009-08-20
Jean Privat
syntax: assign variable even if there is no base type
blob
|
commitdiff
|
diff to current
2009-08-19
Jean Privat
syntax: new 'assert else' statement
blob
|
commitdiff
|
diff to current
2009-08-06
Jean Privat
syntax: better location for local variable declarations
blob
|
commitdiff
|
diff to current
2009-08-06
Jean Privat
syntax: add 'loop' construction
blob
|
commitdiff
|
diff to current
2009-08-01
Jean Privat
syntax: closure are designed by their names, not their...
blob
|
commitdiff
|
diff to current
2009-08-01
Jean Privat
syntax: [] method can have closure definition
blob
|
commitdiff
|
diff to current
2009-07-31
Jean Privat
parser: closure syntax use '!' instead of 'with'
blob
|
commitdiff
|
diff to current
2009-07-30
Jean Privat
syntax: arity missmatch error messages show prototypes
blob
|
commitdiff
|
diff to current
2009-07-29
Jean Privat
syntax: vararg arguments are processed by icode
blob
|
commitdiff
|
diff to current
2009-07-29
Jean Privat
syntax: generalize and publicize raw_arguments concept
blob
|
commitdiff
|
diff to current
2009-07-27
Jean Privat
syntax: handle labels for 'do'
blob
|
commitdiff
|
diff to current
2009-07-27
Jean Privat
syntax: handle labels for for, while and closures
blob
|
commitdiff
|
diff to current
2009-07-27
Jean Privat
parser: rename all P* prod classes to A*
blob
|
commitdiff
|
diff to current
2009-07-27
Jean Privat
icode: introduce intermediate code representation
blob
|
commitdiff
|
diff to current
2009-07-24
Jean Privat
syntax: some cleaning to prepare intermediate code
blob
|
commitdiff
|
diff to current
2009-07-23
Jean-Sebastien Gelinas
tools: remove 'locate' from nodes and visitor
blob
|
commitdiff
|
diff to current
2009-07-15
Jean Privat
parser: add Visitor::current_node and Visitor::enter_visit
blob
|
commitdiff
|
diff to current
2009-07-08
Jean Privat
syntax: promote some properties and classes from typing...
blob
|
commitdiff
|
diff to current
2009-07-04
Jean Privat
syntax: add PType::is_typed
blob
|
commitdiff
|
diff to current
2009-07-04
Jean Privat
syntax: add some missing PExpr::is_typed.
blob
|
commitdiff
|
diff to current
2009-07-04
Jean Privat
syntax: move varctx initialization to the PClassdef
blob
|
commitdiff
|
diff to current
2009-06-26
Jean Privat
syntax: 'meth' -> 'fun', 'attr' -> 'var'
blob
|
commitdiff
|
diff to current
2009-06-26
Jean Privat
nullable: convert lib, tools and tests
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
nullable: type, compile and test 'isset _attr'
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: no isa/as warning for double nullable formal...
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: extends 'as' and 'isa' warning to nullable
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: "!= null" works like a "isa"
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
typing: warn when comparing null and not nullable
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
nullable: type, compile and test 'as(not null)'
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: fix OR if_false_var_ctx passing.
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: local variable assignment always cast
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: while condition can now cast variable
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: variable assignment can bypass cast
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: if_false_variable_ctx
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: var assignment can bypass casted type
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: do_lvalue_typing do not do the final type check
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: Move VariableContext and related to a new contr...
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: merge control_flow.nit in typing.nit
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: variable with () is not a variable
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: clean class VariableContext
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: warning for useless 'isa' and 'as' type checks
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: update PExpr class to use _is_typed and cie.
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: add PExpr:is_typed and PExpr::is_statement
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: refactor AClosureCallExpr
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: new class AAbsAbsSendExpr
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: new method use_if_true_variable_ctx
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: Split SubVariableContext and CastVariableContext
blob
|
commitdiff
|
diff to current
2009-06-24
Jean Privat
syntax: new method check_conform_multiexpr
blob
|
commitdiff
|
diff to current
2009-06-16
Jean Privat
metamodel: fast-fail in getters
blob
|
commitdiff
|
diff to current
2009-06-10
Jean Privat
Spelling: bloc -> block
blob
|
commitdiff
|
diff to current
2009-06-10
Jean Privat
syntax: New escape block management
blob
|
commitdiff
|
diff to current
2009-06-10
Jean Privat
ast: Merge classes AForExpr and AForVardeclExpr
blob
|
commitdiff
|
diff to current
2009-02-26
Jean Privat
Compile superstrings with an array.to_s
blob
|
commitdiff
|
diff to current
2009-02-26
Jean Privat
Move primitive method selection.
blob
|
commitdiff
|
diff to current
2009-02-06
Jean Privat
Finish syntax analysis for default closure.
blob
|
commitdiff
|
diff to current
2009-01-30
Jean Privat
Basic typing and compilation for default closures.
blob
|
commitdiff
|
diff to current
2009-01-24
Jean Privat
Finalizer for closures.
blob
|
commitdiff
|
diff to current
2009-01-24
Jean Privat
New function process_closures.
blob
|
commitdiff
|
diff to current
2009-01-22
Jean Privat
Add break closure.
blob
|
commitdiff
|
diff to current
2009-01-22
Jean Privat
New class MMClosure
blob
|
commitdiff
|
diff to current
2009-01-21
Jean Privat
Type and check 'break' return values.
blob
|
commitdiff
|
diff to current
2009-01-20
Jean Privat
Type and check 'continue' return value.
blob
|
commitdiff
|
diff to current
2009-01-20
Jean Privat
Typing of closures
blob
|
commitdiff
|
diff to current
2009-01-26
Jean Privat
Update get_default_constructor_for and AConcreteInitPropdef
blob
|
commitdiff
|
diff to current
2009-01-20
Jean Privat
Make 'self' a standard parameter (ParamVariable)
blob
|
commitdiff
|
diff to current
2009-01-20
Jean Privat
Prevent statements to be used as expressions.
blob
|
commitdiff
|
diff to current
2008-12-28
Jean Privat
Extract get_signature from process_signature.
blob
|
commitdiff
|
diff to current
2009-01-19
Jean Privat
Specialize Variable class.
blob
|
commitdiff
|
diff to current
2008-12-28
Jean Privat
Rename methods named 'with'.
blob
|
commitdiff
|
diff to current
2008-12-27
Jean Privat
More picky 'super' in constructors.
blob
|
commitdiff
|
diff to current
2008-12-27
Jean Privat
Do not crash if a constructor is not found.
blob
|
commitdiff
|
diff to current
2008-12-24
Jean Privat
Move property selectors from types to local classes
blob
|
commitdiff
|
diff to current
2008-12-23
Jean Privat
Remove the now useless MMConcreteProperty class
blob
|
commitdiff
|
diff to current
next