Skip to content

Remove the unreachable Typecore.Recursive_local_constraint error#1868

Merged
damiendoligez merged 1 commit intoocaml:trunkfrom
Octachron:recursive_abbrev_exception_are_never_raised
Jun 29, 2018
Merged

Remove the unreachable Typecore.Recursive_local_constraint error#1868
damiendoligez merged 1 commit intoocaml:trunkfrom
Octachron:recursive_abbrev_exception_are_never_raised

Conversation

@Octachron
Copy link
Copy Markdown
Member

The Ctype.Recursive_abbrev exception is no longer raised in the compiler. This PR removes it along with the Typecore.Recursive_local_constraints error which was no longer reachable.

@Octachron Octachron changed the title Remove the unreachable Typecore.Recursive_local_constraints error Remove the unreachable Typecore.Recursive_local_constraint error Jun 28, 2018
Copy link
Copy Markdown
Contributor

@trefis trefis left a comment

Choose a reason for hiding this comment

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

Travis is happy, which is good enough for me.

At some point in the not too distant future I plan to turn on a bunch of warnings and submit a (potentially huge?) PR fixing all such issues. But you're welcome to start without me! :)

@shindere
Copy link
Copy Markdown
Contributor

shindere commented Jun 29, 2018 via email

@damiendoligez damiendoligez merged commit 18bba74 into ocaml:trunk Jun 29, 2018
@damiendoligez
Copy link
Copy Markdown
Member

Thanks for the cleanup!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants