Merge: Warn call on nullable receiver
authorJean Privat <jean@pryen.org>
Sat, 30 May 2015 00:37:22 +0000 (20:37 -0400)
committerJean Privat <jean@pryen.org>
Sat, 30 May 2015 00:37:22 +0000 (20:37 -0400)
commitdff7da4e0a4783718f9409ee27dc072f84e24b82
treeaa297b55c4ac9008cde41156064f00bc283ed354
parent41dcf7cba06d86e77a48a810f1b765699638add5
parent1c02458278c4afd4e8533f012cae1403ce8f8c6a
Merge: Warn call on nullable receiver

Followup of #1375 and #394

This introduce an advice on calls on a nullable receiver.
Since the conversion could be complex, I propose a light approach with advices (quiet warnings) instead of hard errors, so that:

1. jenkins can track them
2. nitpick (thus vim) can show them
3. mirgration can be done in an incremental and iterative way
4. issues with a strict call-on-nullable policy can be identified without breaking things
5. @Morriar can bank nitcoins in future PR

If (when?) all call on nullable can be removed, then the advice will become an error.

Pull-Request: #1414
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
src/model/model.nit
src/semantize/typing.nit