nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge: nitdoc: refactoring and cleaning
[nit.git]
/
src
/
semantize
/
typing.nit
2015-04-25
Jean Privat
typing: process named arguments
blob
|
commitdiff
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
2014-09-03
Jean Privat
src: create groups for related things
blob
|
commitdiff
|
diff to current