Maybe type inference for return types is not working.

[TheGrandmother]

Type inference for Maybe types doesn't work properly.

If I have:

class Bob
    def glenn() : Maybe int{
        if(true) then{
            Just 420
        }else{
            Nothing
        }
    }

I get the type error:

Type mismatch in different branches of if-statement:
  then:  Maybe int
  else:  Maybe Bottom

This is quite annoying.

[supercooldave]

It is annoying. Just add a type annotation on Nothing.

[TheGrandmother]

@supercooldave Solves it.

[TobiasWrigstad]

@TheGrandmother this is a great candidate for fixing next week during hackathon.

[TheGrandmother]

@TobiasWrigstad Sure! Then i would get to learn how the parser and type checker work :)

[TobiasWrigstad]

Dave tells me this might require some new infrastructure so maybe I was mistaken. In any case, talk it over with Elias.

[TobiasWrigstad]

@EliasC Do the "simple fix". Also @TheGrandmother and @kikofernandez wants to join when you do.