Skip to content

Type checker complains when redefining type after include. #5498

Closed
@cristianoc

Description

@cristianoc

This gives a type error:

module A = {
  type t = int
}

module B = {
  include A
  type t = string
}
We've found a bug for you!
  tst.res:8:8

   6 │   include A
   7 │ 
   8 │   type t = string
   9 │ }
  10 │ 

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions