equivalent redefinition of Bool changes results

[rigille]

expected behavior

in the program

type Bool {
  false
  true
}

Bool.and(x: Bool, y: Bool): Bool
  case x {
    false: Bool.false
    true: y
  }

Test: _
  Bool.show(Bool.and(Bool.true, Bool.false))

Test should be result in "Bool.false"

current behavior

Test results in "Bool.true"

[VictorTaelin]

Redefining a type will mess up the type-checker, we must disable that and display an error when it is attempted.

[rigille]

agreed

[algebraic-dev]

Closed because the repository now only contains the code for the Kind2 language.