nitlanguage.org >> Repos - nit.git/search

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-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
2009-06-10	Jean Privat	compile: No systematic cvar for compile_constructor_call Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	Spelling: bloc -> block Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	syntax: New escape block management Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	compile: Simplify closure C structures Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	compile: C comments for each compiled stmt/expr Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	compile: Fix inlined return in closure Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	compile: Fix closure break marker resetting Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	compile: Extract closure code from ASendExpr::compile_expr Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	tests: tests.sh returns 1 if some tests fails Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	tests: Add errlist Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	tests: remove broken HTML output Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	parser: Do not crash if last_loken is unset Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	parser: Add 'fun' and 'var'-as-attr keyword Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
2009-06-10	Jean Privat	parser: Remove ~nobra on type production Signed-off-by: Jean Privat <jean@pryen.org>	commit \| commitdiff \| tree
next

Nit language project; an oo programing language and its tool suite.

RSS Atom