Skip to content

Conversation

zth
Copy link
Member

@zth zth commented Aug 15, 2023

Fixes a few places where polyvariant names were still printed in OCaml syntax.

@zth zth requested a review from cristianoc August 15, 2023 08:41
Copy link
Collaborator

@cristianoc cristianoc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch!

@zth zth force-pushed the polyvar-error-messages branch from 2d5d4c6 to 4483646 Compare August 15, 2023 13:21
@zth zth merged commit 6e2bf19 into master Aug 15, 2023
@zth zth deleted the polyvar-error-messages branch August 15, 2023 14:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants