rta: store real types in live_cast_type
authorJean Privat <jean@pryen.org>
Thu, 27 Feb 2014 21:21:47 +0000 (16:21 -0500)
committerJean Privat <jean@pryen.org>
Fri, 28 Feb 2014 17:30:35 +0000 (12:30 -0500)
commitc562bb5796c955914482cde6235d3e9be80787c8
treef44e3295e5aa910567ce8d8e4c742aa6ade7f935
parent8605e91223ff1dd804eddeb1b941680d87ef547a
rta: store real types in live_cast_type

The separate compiler need to distinguish if the target is nullable or not.
So do not un-nullable cast types.

rta_metrics.nit is also updated to deal with the change of the static
type of the attribute.

nitg-g is also modified to use the new correct the RTA information
(this remove a workaround)

Signed-off-by: Jean Privat <jean@pryen.org>
src/global_compiler.nit
src/metrics/rta_metrics.nit
src/rapid_type_analysis.nit