error message leaked with list sugar

Open bobzhang opened this issue 5 years ago • 3 comments

The constructor :: does not belong to type xx

Oct 29 '20 09:10 bobzhang

This is in typecore.ml, Wrong_name. Such constructors may need special treatment constructor :: constructor false, true

Nov 01 '20 06:11 bobzhang

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

Oct 22 '22 15:10 stale[bot]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

Oct 15 '24 02:10 github-actions[bot]