nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a252bc) | patch
modelize_properties: attributes inherit the static type of the getter
authorJean Privat <jean@pryen.org>
Tue, 15 Jul 2014 19:50:17 +0000 (15:50 -0400)
committerJean Privat <jean@pryen.org>
Tue, 15 Jul 2014 19:50:17 +0000 (15:50 -0400)
commitaf9fce03a63d988bcd52b81848f27cc885ab0338
treee04753753ce04e36516135c6ccca2caf5d91d5f0tree | snapshot
parent4a252bcb2062f563eefd9880a12749bf056f809ecommit | diff
modelize_properties: attributes inherit the static type of the getter

so, one could write

~~~
interface A
  fun foo: String
end

class B
  super A
  redef var foo # var foo is a String!
end
~~~

Signed-off-by: Jean Privat <jean@pryen.org>
src/modelize_property.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.