path: root/tiger-compiler/tests/bind/invalid-type-redefinition.tig

/* public. */
/* This is invalid, since there are two types with the same name
    in the same (consecutive) batch of mutually recursive types.
    See also shadowing-types-separate  */
let
  type a = int
  type a = string
in
  0
end