Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

containers.top produces warnings #71

Closed
nilsbecker opened this issue May 24, 2016 · 2 comments
Closed

containers.top produces warnings #71

nilsbecker opened this issue May 24, 2016 · 2 comments
Labels
bug

Comments

@nilsbecker
Copy link
Contributor

when requiring containers.top in utop i get warnings about wrong types of some printing functions...
@c-cube
Copy link
Owner

c-cube commented May 24, 2016 •
edited

Ah, it's annoying indeed. I'll try to fix it, thanks!

see: http://caml.inria.fr/mantis/view.php?id=5958

@c-cube c-cube added the bug label May 24, 2016
@c-cube
Copy link
Owner

c-cube commented Jan 26, 2017

Ah, I understand why now. The printers that fail to install are printers on structural types; when the typechecker expands type aliases, it doesn't find the 'a printer -> 'a t printer structure, so it complains.
I will simply remove these printers…

@c-cube c-cube closed this as completed Jan 26, 2017
c-cube added a commit that referenced this issue Jan 26, 2017
@c-cube
containers.top: remove printers on structural types (#71)
5e7cfed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nilsbecker @c-cube