Type Checking Nothing

[ebjohnsen]

I was experimenting with some code and got the following type error.
I think I am on the head of 'development'. I assume it's an easy fix.

This class compiles and runes fine:
class Main def main() : Maybe[int] if true then Just(5) else Nothing end end end
However, this class produces a type error:
class Main def main() : Maybe[int] if true then Nothing else Nothing end end end

[supercooldave]

There are simpler problems when using Nothing in a generic situation.

For example, given

fun isJust[a](mval : Maybe[a]) : bool
  match mval with
    case Just(ice) => true 
    case Nothing => false
  end
end

The following requires that [int] is added:

println("{}", isJust[int](Nothing))

The desired code:

println("{}", isJust(Nothing))

does not compile.