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

[nit.git] / src / semantize / typing.nit

2015-10-07	Jean Privat	typing: use `location` attribute instead of `node`...	blob \| commitdiff
2015-10-07	Jean Privat	typing: add a node parameter to `CallSite::check_signature`	blob \| commitdiff \| diff to current
2015-08-13	Lucas Bajolet	src/compiler: Added fixint variants to compiler	blob \| commitdiff \| diff to current
2015-08-10	Jean Privat	Merge: Stricter default arguments	blob \| commitdiff \| diff to current
2015-08-10	Jean Privat	typing: change specification about default arguments...	blob \| commitdiff \| diff to current
2015-08-07	Jean Privat	src: update AST client to handle qualified identifiers...	blob \| commitdiff \| diff to current
2015-08-04	Lucas Bajolet	src: Modified compilers for the support of the new...	blob \| commitdiff \| diff to current
2015-07-21	Alexandre Terrasa	typing: also type signature for intern methods	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	typing: warn about useless null when the target is...	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	typing: warnings related to adaptive typing are moved...	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	typing: new PostTypingVisitor that is run after the...	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	typing: factorize AEqExpr and ANeExpr into AEqFormExpr	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	typing: `or else` on null is no more an error	blob \| commitdiff \| diff to current
2015-06-10	Jean Privat	Merge: Attribute and autoinit annotations	blob \| commitdiff \| diff to current
2015-06-10	Jean Privat	Merge: nitvm: Basic blocks generation and SSA-algorithm	blob \| commitdiff \| diff to current
2015-06-08	Jean Privat	modelize: rely on `AAttrPropdef::mreadpropdef` to be...	blob \| commitdiff \| diff to current
2015-06-08	Jean Privat	modelize: add `AAttrPropdef::mtype` to factorize the...	blob \| commitdiff \| diff to current
2015-06-08	Jean Privat	Merge: More keep going	blob \| commitdiff \| diff to current
2015-06-05	Jean Privat	typing: improve reliability of `is_typed`.	blob \| commitdiff \| diff to current
2015-05-31	Julien Pagès	nitvm: Allow to set some attributes in Variable class	blob \| commitdiff \| diff to current
2015-05-30	Jean Privat	Merge: Warn call on nullable receiver	blob \| commitdiff \| diff to current
2015-05-29	Lucas Bajolet	compiler: Updated toolchain for proper byte literal...	blob \| commitdiff \| diff to current
2015-05-27	Jean Privat	typing: advice if a receiver is nullable	blob \| commitdiff \| diff to current
2015-05-27	Jean Privat	typing: use `is_null_safe`	blob \| commitdiff \| diff to current
2015-04-25	Jean Privat	typing: process named arguments	blob \| commitdiff \| diff to current
2015-04-24	Jean Privat	Merge: More binary operators	blob \| commitdiff \| diff to current
2015-04-24	Jean Privat	typing: special message when a single vararg is refused...	blob \| commitdiff \| diff to current
2015-04-23	Jean Privat	src: use AUnaryopExpr	blob \| commitdiff \| diff to current
2015-04-18	Jean Privat	typing&engines: implement default arguments	blob \| commitdiff \| diff to current
2015-04-18	Jean Privat	Merge: Autocast and literal arrays	blob \| commitdiff \| diff to current
2015-04-16	Jean Privat	typing: do not autocast on arrays or combined assignment	blob \| commitdiff \| diff to current
2015-04-16	Jean Privat	typing: introduce SignatureMap to factorize parameters...	blob \| commitdiff \| diff to current
2015-04-15	Jean Privat	typing: use new `operator` and `n_op` from ABinopExpr...	blob \| commitdiff \| diff to current
2015-04-15	Jean Privat	src: implement unary plus	blob \| commitdiff \| diff to current
2015-04-15	Jean Privat	src: improve messages (and sometime location) of errors...	blob \| commitdiff \| diff to current
2015-04-15	Jean Privat	typing: identify the node associated to method name	blob \| commitdiff \| diff to current
2015-04-14	Jean Privat	Merge: Fix type adaptation when there is loops	blob \| commitdiff \| diff to current
2015-04-14	Jean Privat	Merge: Intern new	blob \| commitdiff \| diff to current
2015-04-14	Jean Privat	typing: handle `a == null` when `a` is null	blob \| commitdiff \| diff to current
2015-04-14	Jean Privat	typing: shortcut `get_variable` on never-adapted variables	blob \| commitdiff \| diff to current
2015-04-11	Jean Privat	typing: ensure monotony on literal arrays	blob \| commitdiff \| diff to current
2015-04-11	Jean Privat	typing: revisit on type-adaptation, until there is...	blob \| commitdiff \| diff to current
2015-04-11	Jean Privat	typing: mark variable dirty on type_adaptation	blob \| commitdiff \| diff to current
2015-04-11	Jean Privat	typing: compute FlowContext::collect_types without...	blob \| commitdiff \| diff to current
2015-04-11	Jean Privat	typing: remove cache in FlowContext	blob \| commitdiff \| diff to current
2015-04-10	Jean Privat	Merge: Sys is top	blob \| commitdiff \| diff to current
2015-04-10	Jean Privat	typing: remove most top-level things	blob \| commitdiff \| diff to current
2015-04-10	Jean Privat	typing: look for method in `sys` when they are not...	blob \| commitdiff \| diff to current
2015-04-10	Jean Privat	typing: `intern` is used to refer to the plain vanilla...	blob \| commitdiff \| diff to current
2015-04-09	Jean Privat	Merge: new `with` statement	blob \| commitdiff \| diff to current
2015-04-08	Jean Privat	Merge: Not null types	blob \| commitdiff \| diff to current
2015-04-08	Jean Privat	typing: on type error, also indicate the resolved type	blob \| commitdiff \| diff to current
2015-04-08	Jean Privat	model: rename `as_notnullable` to `undecorate`	blob \| commitdiff \| diff to current
2015-04-08	Jean Privat	typing: add `check_can_be_null` to fix and factorize...	blob \| commitdiff \| diff to current
2015-04-03	Jean Privat	typing: do not rely on `MModule.object_type` that will...	blob \| commitdiff \| diff to current
2015-04-03	Jean Privat	typing: be more robust on missing/buggy information	blob \| commitdiff \| diff to current
2015-04-03	Jean Privat	modelbuilder: promote `get_mclass_by_name` from typing	blob \| commitdiff \| diff to current
2015-03-30	Jean Privat	semantize: handle the with statement	blob \| commitdiff \| diff to current
2015-02-26	Jean Privat	src: do not crash if there is not MAttributeDef in...	blob \| commitdiff \| diff to current
2015-01-20	Jean Privat	typing: check missing return in AAttrPropdef with block	blob \| commitdiff \| diff to current
2015-01-13	Alexis Laferrière	nitc&lib: MapIterator keys can be nullable	blob \| commitdiff \| diff to current
2015-01-08	Jean Privat	Merge: null as receiver	blob \| commitdiff \| diff to current
2015-01-05	Jean Privat	typing&engines: accept `is_same_instance` on `null`	blob \| commitdiff \| diff to current
2015-01-05	Jean Privat	typing: accept `null` as a receiver for some methods...	blob \| commitdiff \| diff to current
2015-01-05	Jean Privat	typing: remove useless error on null receiver. `get_met...	blob \| commitdiff \| diff to current
2015-01-04	Jean Privat	typing: reject literal arrays made of `null` (because...	blob \| commitdiff \| diff to current
2014-12-17	Jean Privat	typing: mark expressions that belong to an array compre...	blob \| commitdiff \| diff to current
2014-12-17	Jean Privat	typing: add `AArrayExpr::element_mtype`	blob \| commitdiff \| diff to current
2014-12-17	Jean Privat	grammar: new production `array_items` to replace arg_li...	blob \| commitdiff \| diff to current
2014-12-12	Alexandre Terrasa	src/semantize: fixes useless private visibility	blob \| commitdiff \| diff to current
2014-11-28	Jean Privat	typing: warn `useless-type` for useless type in a local...	blob \| commitdiff \| diff to current
2014-11-06	Jean Privat	Merge: Use new constructors	blob \| commitdiff \| diff to current
2014-11-05	Jean Privat	src: update most tools to new constructors	blob \| commitdiff \| diff to current
2014-11-04	Jean Privat	typing: prefix instantiation error with `Type Error`	blob \| commitdiff \| diff to current
2014-10-31	Jean Privat	tools: accept statement block in attributes	blob \| commitdiff \| diff to current
2014-10-24	Jean Privat	typing: ANew accepts only `init` on concrete class	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	typing: `new`-fatories are like top-level methods	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	typing: allow `new` on interface and abstract classes...	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	typing: ANew distinguish the type of the class and...	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	model: `new` factories are named "new", not init.	blob \| commitdiff \| diff to current
2014-10-22	Jean Privat	Merge: Some gammar improvements	blob \| commitdiff \| diff to current
2014-10-17	Jean Privat	Merge: Better varargs	blob \| commitdiff \| diff to current
2014-10-17	Jean Privat	typing+engines: handle reverse-vararg: passing an array...	blob \| commitdiff \| diff to current
2014-10-15	Jean Privat	Merge: transform loops	blob \| commitdiff \| diff to current
2014-10-15	Jean Privat	transform: shortcut range	blob \| commitdiff \| diff to current
2014-10-13	Jean Privat	Merge: src: remove some warnings and do some cleaning	blob \| commitdiff \| diff to current
2014-10-11	Jean Privat	typing: new warning useless-null-test that detect ...	blob \| commitdiff \| diff to current
2014-10-11	Jean Privat	typing: refactor type adaptations in AEqExpr and ANeExpr	blob \| commitdiff \| diff to current
2014-10-11	Jean Privat	src: remove some warnings and do some cleaning	blob \| commitdiff \| diff to current
2014-10-09	Jean Privat	ast: kill AProxyExpr	blob \| commitdiff \| diff to current
2014-10-09	Jean Privat	typing: add AForExpr::method_finish	blob \| commitdiff \| diff to current
2014-10-09	Jean Privat	typing: add method try_get_method	blob \| commitdiff \| diff to current
2014-10-01	Jean Privat	src: reduce warnings and spelling errors	blob \| commitdiff \| diff to current
2014-09-25	Jean Privat	Merge: New syntax for typed literal arrays	blob \| commitdiff \| diff to current
2014-09-25	Jean Privat	typing: adapt for typed literal arrays.	blob \| commitdiff \| diff to current
2014-09-24	Jean Privat	typing: ASuperExpr do not lose information about the...	blob \| commitdiff \| diff to current
2014-09-22	Jean Privat	Merge: Add and improve warnings	blob \| commitdiff \| diff to current
2014-09-19	Jean Privat	src: add tag to existing warnings	blob \| commitdiff \| diff to current
2014-09-18	Jean Privat	grammar: new power operator `**` (starstar)	blob \| commitdiff \| diff to current
2014-09-06	Jean Privat	modelize: introduce annotation	blob \| commitdiff \| diff to current
next

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

RSS Atom