syntax: do_lvalue_typing do not do the final type check
authorJean Privat <jean@pryen.org>
Fri, 19 Jun 2009 14:24:00 +0000 (10:24 -0400)
committerJean Privat <jean@pryen.org>
Wed, 24 Jun 2009 19:47:48 +0000 (15:47 -0400)
commitca0cea9fae81c96b4d9b3b11e7ef40c5b44f720b
tree61981ef045704443dca86457ef7338e94261d396
parenta257ebebf088a7322047c7baecc1f0b8b0b4ea96
syntax: do_lvalue_typing do not do the final type check

Clients can now deals with the fact that in
  x += 1
that is equivalent to
  x_new = x_old + 1
the static type of x_old is different from the one accepted by x_new.

Signed-off-by: Jean Privat <jean@pryen.org>
src/syntax/typing.nit