nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
tests: tests.sh compares results with expected buggy results
2009-07-06
Jean Privat
tests: tests.sh compares results with expected buggy...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-06
Jean Privat
tests: add verbose option to tests.sh
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-06
Jean Privat
tests: add option handling to tests.sh
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
tests: add test_exec_ls
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
tests: update base_primitive_null
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
tests: new base_int and base_int2
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
tests: base_closure11 complex stacked and nested closure
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: bug to fix: specialize broken type
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: do not process erroneous formal types
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: do not processes erroneous signatures
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: better error message for generic class arity...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
tests: add base_gen2.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: add PType::is_typed
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: add some missing PExpr::is_typed.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean Privat
syntax: move varctx initialization to the PClassdef
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean-Sebastien Gelinas
tests: add test for filter_stream
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean-Sebastien Gelinas
lib: add 'close' in filter_stream
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-07-04
Jean-Sebastien Gelinas
lib: fix nullable in filter_stream
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean-Sebastien Gelinas
lib: fix a bug with String::has_substring and related...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean-Sebastien Gelinas
tools: more verbose information
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean-Sebastien Gelinas
tools: add 'verbose' options
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
misc: add vim syntax and indent files
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
syntax: 'meth' -> 'fun', 'attr' -> 'var'
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
tools: generate version number and give it to tools
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
tools: programs know their names
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
nullable: enforce static and dynamic rules.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-26
Jean Privat
nullable: convert lib, tools and tests
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-25
Jean Privat
c_src: regenerate with soft nullable handling
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-25
Jean Privat
metamodel: fix MMType::is_valid for indirect types
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: no default value for notnull primitive attributes.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
nullable: type, compile and test 'isset _attr'
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: implicit isset for attribute read access
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: differentiate attribute read and write
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: no isa/as warning for double nullable formal...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: Check correct object construction
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: extends 'as' and 'isa' warning to nullable
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: casts ('isa' and 'as') with nullable info
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: base_nullable.nit and base_eq_null_notnull.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: "!= null" works like a "isa"
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
typing: warn when comparing null and not nullable
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: nullable and array
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
typing: 'for' iterates on Collection[nullable Object]
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
nullable: type, compile and test 'as(not null)'
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: Update check_conform_multiexpr with nullables
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: add nullable static types
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
parser: add nullables
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tools: two -W promote warnings to errors
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
lib/opt: add OptionCount
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
src: add nc0 and nc1 to test bootstrap from c_src
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: stop writing location of each node
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: clean compiling_global.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: new class GlobalCompilerVisitor
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: fix OR if_false_var_ctx passing.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: local variable assignment always cast
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: while condition can now cast variable
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: variable assignment can bypass cast
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: if_false_variable_ctx
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: add VariableContext::to_s
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: var assignment can bypass casted type
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: do_lvalue_typing do not do the final type check
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: better internal VariableContex stype handling
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: Move VariableContext and related to a new control_fl...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: merge control_flow.nit in typing.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: update base_closure6.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: variable with () is not a variable
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: clean class VariableContext
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: add base_var_assignment_flow.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: promote _filename to MMModule
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: warning for useless 'isa' and 'as' type checks
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: new MMType::is_valid method
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: update PExpr class to use _is_typed and cie.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: add PExpr:is_typed and PExpr::is_statement
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: new base_var.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: refactor AClosureCallExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: new class AAbsAbsSendExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
parser: inits uses Collection instead of Array
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: bug to fix base_virtual_type_self.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: MMLocalClass::init takes the MMModule
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: clean class PrimitiveInfo
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: clean CompilerVisitor constructor
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: distinguish compile_expr_call and compile_stmt_call
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: new method compile_arguments_in
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
compile: compile_stmt is a noop on null PExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: new method use_if_true_variable_ctx
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: Split SubVariableContext and CastVariableContext
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
tests: add base_as_cast
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
syntax: new method check_conform_multiexpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: PartialOrder::[] fail on wrong key
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
lib: Map:[] aborts if key is not found
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: Check global_class existence instead of...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-24
Jean Privat
metamodel: MMLocalClass::[] aborts if no global class
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-16
Jean Privat
metamodel: new MMLocalClass::has_global_property
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-16
Jean Privat
metamodel: fast-fail in getters
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-16
Jean Privat
lib: remove some explicit Object bounds
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-16
Jean Privat
metamodel: fix and comment upcast_for
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-16
Jean Privat
refactor: use Hash::has_key instead of getting null
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-10
Jean Privat
compile: New function is_valid_variable
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-10
Jean Privat
compile: Superstring compilation bug
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-10
Jean Privat
compile: Store cvariable indexes instead of names
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2009-06-10
Jean Privat
compile: ccomments for get_var and ensure_var
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
next