Inferred return types

[Jacob Carlborg]

On 2012-06-30 01:25, Martin Nowak wrote:
>> class Foo
>> {
>> auto foo ()
>> {
>> return "Foo";
>> }
>> }
>>
>> class Bar : Foo
>> {
>> auto foo ()
>> {
>> return "Bar";
>> }
>> }
>>
> Ouch, what a terrible idea to base a class hierachy on inference.
> But nonetheless covariance checking should be performed after inference.

I actually found the bug by mistake. I was going to override a method in 
a subclass and got the error. The strange thing is that I had copied the 
method from the super class and it didn't work anyway. Then I saw, in 
the super class, that I didn't have a return type on the method. I had 
just missed declaring a return type, the intention was not to use type 
inference. I guess I use Ruby too much :)

-- 
/Jacob Carlborg