Skip to content

GADTs with object type indexes #5427

@vicuna

Description

@vicuna

Original bug ID: 5427
Reporter: @garrigue
Assigned to: @garrigue
Status: closed (set by @garrigue on 2011-12-15T02:31:08Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.13.0+dev
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #5425
Child of: #5428 #5998

Bug description

Second file

File attachments

Metadata

Metadata

Assignees

Labels

bugtyping-GADTSGADT typing and exhaustiveness bugs

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions