Skip to content

Compilation fails when enumerated type name is 'b' or 'x' #726

Closed

Description

@CervEdin

Declaring enums with either type name b or x fails to compile

enum b = { e1 }; % Error: type-inst must be par set but is 'bool'
enum x = { e2 }; % Error: type-inst cannot be array

Running MiniZinc version 2.6.4, build 570825159

Also reproduced in

2.4.2
2.5.5
2.7.4

Activity

  1. self-assigned this
    on Aug 24, 2023
  2. Dekker1 commented on Aug 24, 2023

    @Dekker1
    Member

    I would imagine that some of the code introduced for enumerated types uses x and b. I'll have a look if I can find them and replace them with proper introduced variables.

  3. added
    resolvedIssue is resolved and the feature or fix will be part of next release
    on Aug 26, 2023
  4. cyderize commented on Nov 16, 2023

    @cyderize
    Member

    This should now be fixed in 2.8.0

  5. added theissue type on Jan 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

resolvedIssue is resolved and the feature or fix will be part of next release

Type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions