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.
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
Feature Request: Error message for 'Illegal permutation of structure fields' #3819
Comments
Comment author: @zoggy Ping. |
Comment author: @gasche Would someone feel motivated to provide a small representative program that displays this warning? |
Comment author: @yallop Here's an example. The problem boils down to incompatibility between module type members when checking signature inclusion compatibility:
|
Comment author: @zoggy Here are four files.
When compiling order_m.mli and order_m.ml:
|
Original bug ID: 3819
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: typing
Monitored by: @gasche
Bug description
Full_Name: Ethan Aubin
Version: 3.08.4
OS: linux
Submission from: c-24-60-21-144.hsd1.ma.comcast.net (24.60.21.144)
I came across an error saying 'Illegal permutation of structure fields'. The
modules I'm working with are have interfaces ~ 150 lines and its hard to figure
out whats in the wrong spot. Could the message print an which fields are
conflicting (omitting the rest)? Thanks -EA
File attachments
The text was updated successfully, but these errors were encountered: