Improve Error Messages for BbML #241

Open

Assignees

Labels

opened

on Nov 25, 2024

Generate human-readable type variable names (see Patches for BbML #240)
Improve the constraining error messages
...

Metadata

Assignees

NeilKleistGao

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests