nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
typing: text formatting
[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