Maybe types need explicit type annotations

[TobiasWrigstad]

Line XXX below shows an explicit type annotation that I had to put in to get this to compile. Surely this should not be needed!

  def remove() : Maybe t 
    if this.node.next == null
    then Nothing : Maybe t -- XXX
    else let tmp = this.value in { …; Just tmp }

[kikofernandez]

there is some limited support for returned values with Nothing. Your example compiles now when you remove the casting to Maybe t. However, there are some other cases that we do not handle.

I believe this issue should be re-phrased to pinpoint what cases need to be fixed. It's too vague in the description.

[EliasC]

This seems to be a duplicate of #357 that was fixed by #394. I suggest we close this until there is an actual issue.

[kikofernandez]

+1