cucapra/dahlia

bools are incomparable

Closed this issue · 2 comments

tedbauer commented

The compiler rejects this program:

let x = true;
let y = (false == x);

with this error:

[Type error] [3.16] bool and bool are incomparable. Cannot create a join for construct ==.
let y = (false == x);
               ^
rachitnigam commented

Facepalm

  • 😄1
rachitnigam commented

joinOf (in subtyping.scala) needs to have a case for when the types are equal.

@sgpthomas want to take a look at this?