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

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

2020-04-20	Florian Deljarry	typing: text formatting	blob \| commitdiff
2020-04-20	Florian Deljarry	typing: Add a way to disable warnings	blob \| commitdiff \| diff to current
2019-12-21	Florian Deljarry	typing: Add error when init is not found	blob \| commitdiff \| diff to current
2019-12-21	Florian Deljarry	src: Update init	blob \| commitdiff \| diff to current
2019-11-06	Florian Deljarry	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| diff to current
2019-10-12	Louis-Vincent Boud...	Callref bugfix in interpreter and compilers + autosav	blob \| commitdiff \| diff to current
2019-09-12	Louis-Vincent Boud...	typing: Added typing resolution for `ACallrefExpr`	blob \| commitdiff \| diff to current
2019-08-13	Jean Privat	typing: stub to handle callrefs	blob \| commitdiff \| diff to current
2019-07-18	Jean Privat	Merge: Safe call operator	blob \| commitdiff \| diff to current
2019-07-12	Florian Deljarry	typing: get_method refactoring	blob \| commitdiff \| diff to current
2019-07-12	Jean Privat	typing and engines: handle safe calls `x?.foo`	blob \| commitdiff \| diff to current
2018-06-08	Lucas Bajolet	lib/core: remove ascii method on Int and 'b' prefix	blob \| commitdiff \| diff to current
2017-06-28	Jean Privat	typing: new warning `useless-truism` to catch trainees.	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	modelbuilder_base: Refactor the signature of `resolve_m...	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	typing: Make `TypeVisitor::mmodule` implicit	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	typing: Make `TypeVisitor::anchor` non-nullable	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	typing: Make `TypeVisitor::mclassdef` non-nullable	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	typing: Make `TypeVisitor::mpropdef` non-nullable	blob \| commitdiff \| diff to current
2017-06-02	Jean-Christophe...	typing: Remove duplicate assignment to `TypeVisitor...	blob \| commitdiff \| diff to current
2017-05-07	Alexis Laferrière	src: misc typos, doc and warning fixes	blob \| commitdiff \| diff to current
2017-05-07	Alexis Laferrière	model: bring back call site doc to highlight as `CallSi...	blob \| commitdiff \| diff to current
2017-03-26	Jean-Christophe...	model: Make the `anchor` parameter of `MType::anchor_to...	blob \| commitdiff \| diff to current
2017-03-10	Jean Privat	nitc: adaptive typing apply non-nullness when fallbacking	blob \| commitdiff \| diff to current
2017-03-10	Jean Privat	nitc/typing: isa uses intersect_types and diff_types	blob \| commitdiff \| diff to current
2017-03-10	Jean Privat	nitc/typing: add intersect_types and diff_types	blob \| commitdiff \| diff to current
2017-03-10	Jean Privat	nitc/typing: document `merge_types`	blob \| commitdiff \| diff to current
2017-02-09	Jean Privat	nitc: typing and modelbuilder extends dump_info	blob \| commitdiff \| diff to current
2016-12-13	Alexis Laferrière	update all indirect references to native strings	blob \| commitdiff \| diff to current
2016-12-13	Alexis Laferrière	rename `NativeString` to `CString`	blob \| commitdiff \| diff to current
2016-08-29	Jean-Christophe...	typing: Fix minor mistakes in documentation	blob \| commitdiff \| diff to current
2016-08-09	Jean Privat	model: new class MErrorType as using MBottomType was...	blob \| commitdiff \| diff to current
2016-06-30	Jean Privat	Merge remote-tracking branch 'origin/master' into init_auto	blob \| commitdiff \| diff to current
2016-06-25	Jean Privat	typing: `isa` do not adapt to a supertype.	blob \| commitdiff \| diff to current
2016-05-13	Jean Privat	model: promote location to any `MEntity`	blob \| commitdiff \| diff to current
2016-04-23	Jean Privat	Merge remote-tracking branch 'origin/master' into init_auto	blob \| commitdiff \| diff to current
2016-04-12	BlackMinou	Scope & Typing: visits the catch part of a do ... catch...	blob \| commitdiff \| diff to current
2016-04-06	Lucas Bajolet	compiler: Added prefixed and suffixed `String` support	blob \| commitdiff \| diff to current
2016-03-31	Jean Privat	Merge remote-tracking branch 'origin/master' into init_auto	blob \| commitdiff \| diff to current
2016-03-22	Lucas Bajolet	compiler: Added prefix and suffix support for `Char`	blob \| commitdiff \| diff to current
2016-02-26	Jean Privat	model: remove `new_msignature` and special call as...	blob \| commitdiff \| diff to current
2016-02-26	Jean Privat	model: the anonymous constructor is now called `autoinit`	blob \| commitdiff \| diff to current
2016-02-25	Jean Privat	typing: include a hook to enable more precise error...	blob \| commitdiff \| diff to current
2015-11-10	Jean Privat	typing: handle multiple vararg	blob \| commitdiff \| diff to current
2015-11-10	Jean Privat	typing: extact `check_one_vararg` from `check_signature`	blob \| commitdiff \| diff to current
2015-11-10	Jean Privat	typing: move vararg_length on each argument, instead...	blob \| commitdiff \| diff to current
2015-11-07	Jean Privat	typing: skip error message when dealing with bottom...	blob \| commitdiff \| diff to current
2015-11-07	Jean Privat	typing: AForBlock propagates error to the main AForExpr	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	Merge: Multi iterators	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	Merge: Detach CallSite from the AST	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	typing: use `location` attribute instead of `node`...	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	typing: add a node parameter to `CallSite::check_signature`	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	frontend: handle multi-iterators	blob \| commitdiff \| diff to current
2015-10-06	Jean Privat	typing: make `CallSite` a `MEntity` so that `is_broken...	blob \| commitdiff \| diff to current
2015-10-06	Jean Privat	semantize: set and use `ANode::is_broken`	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
next

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

RSS Atom