nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
compile: Check correct object construction
2009-06-24 Jean Privatcompile: Check correct object construction
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: extends 'as' and 'isa' warning to nullable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: casts ('isa' and 'as') with nullable info
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: base_nullable.nit and base_eq_null_notnull.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: "!= null" works like a "isa"
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattyping: warn when comparing null and not nullable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: nullable and array
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattyping: 'for' iterates on Collection[nullable Object]
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatnullable: type, compile and test 'as(not null)'
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: Update check_conform_multiexpr with nullables
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: add nullable static types
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatparser: add nullables
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattools: two -W promote warnings to errors
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatlib/opt: add OptionCount
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsrc: 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 Privatcompile: stop writing location of each node
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: clean compiling_global.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: new class GlobalCompilerVisitor
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: fix OR if_false_var_ctx passing.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: local variable assignment always cast
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: while condition can now cast variable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: variable assignment can bypass cast
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: if_false_variable_ctx
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: add VariableContext::to_s
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: var assignment can bypass casted type
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: 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 Privatsyntax: better internal VariableContex stype handling
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: Move VariableContext and related to a new control_fl...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: merge control_flow.nit in typing.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: update base_closure6.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: variable with () is not a variable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: clean class VariableContext
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: add base_var_assignment_flow.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: promote _filename to MMModule
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: warning for useless 'isa' and 'as' type checks
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: new MMType::is_valid method
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: update PExpr class to use _is_typed and cie.
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: add PExpr:is_typed and PExpr::is_statement
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: new base_var.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: refactor AClosureCallExpr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: new class AAbsAbsSendExpr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatparser: inits uses Collection instead of Array
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: bug to fix base_virtual_type_self.nit
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: MMLocalClass::init takes the MMModule
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: clean class PrimitiveInfo
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: clean CompilerVisitor constructor
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: distinguish compile_expr_call and compile_stmt_call
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: new method compile_arguments_in
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatcompile: compile_stmt is a noop on null PExpr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: new method use_if_true_variable_ctx
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: Split SubVariableContext and CastVariableContext
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privattests: add base_as_cast
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatsyntax: new method check_conform_multiexpr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: PartialOrder::[] fail on wrong key
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatlib: Map:[] aborts if key is not found
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: Check global_class existence instead of...
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-24 Jean Privatmetamodel: MMLocalClass::[] aborts if no global class
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-16 Jean Privatmetamodel: new MMLocalClass::has_global_property
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-16 Jean Privatmetamodel: fast-fail in getters
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-16 Jean Privatlib: remove some explicit Object bounds
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-16 Jean Privatmetamodel: fix and comment upcast_for
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-16 Jean Privatrefactor: use Hash::has_key instead of getting null
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: New function is_valid_variable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Superstring compilation bug
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Store cvariable indexes instead of names
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: ccomments for get_var and ensure_var
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: No systematic cvar for compile_constructor_call
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean PrivatSpelling: bloc -> block
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatsyntax: New escape block management
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Simplify closure C structures
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: C comments for each compiled stmt/expr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Fix inlined return in closure
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Fix closure break marker resetting
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Extract closure code from ASendExpr::compile_expr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privattests: tests.sh returns 1 if some tests fails
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privattests: Add errlist
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privattests: remove broken HTML output
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatparser: Do not crash if last_loken is unset
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatparser: Add 'fun' and 'var'-as-attr keyword
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatparser: Remove ~nobra on type production
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatparser: Remove tl_propdef* parser rules
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatast: Merge classes AForExpr and AForVardeclExpr
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatparser: Script for extended sablecc3 syntax
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatsyntax: Do not inherit signatures with closures
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatsyntax: Systematic signature conformance checks
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatcompile: Implicit 'once' for literal strings
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatlib: Split collections into readable and writable
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-06-10 Jean Privatnew c_src
Signed-off-by: Jean Privat <jean@pryen.org>
 commit | commitdiff | tree
2009-02-26 Jean PrivatCompile superstrings with an array.to_s
 commit | commitdiff | tree
2009-02-26 Jean PrivatMove primitive method selection.
 commit | commitdiff | tree
2009-02-26 Jean PrivatRemove unused macro symbols.
 commit | commitdiff | tree
2009-02-13 Jean PrivatSome renaming and commenting for TableElts.
 commit | commitdiff | tree
2009-02-13 Jean PrivatGroup attributes and methods by local class in the...
commit | commitdiff | tree
2009-02-13 Jean PrivatRemove now useless variables and attributes in compile_global
 commit | commitdiff | tree
2009-02-13 Jean PrivatNew method compile_macros in TableElts.
 commit | commitdiff | tree
2009-02-13 Jean PrivatRemove -attr-sim option (was broken) and related classes.
 commit | commitdiff | tree
2009-02-12 Jean PrivatDo not use CALL macro directly.
 commit | commitdiff | tree
2009-02-06 Jean PrivatFix a Makefile dependence for rebootstrap
 commit | commitdiff | tree
2009-02-06 Jean PrivatUpdate gitignore
 commit | commitdiff | tree
2009-02-06 Jean PrivatUpdate c_src to handle default closures.
 commit | commitdiff | tree
next
Nit language project; an oo programing language and its tool suite.