Open Chris00 opened 7 years ago
Indeed, it's often likely an error, but not in this case. Probably post-messages
, which is not evaluated in the scope of the package but in the final state of the install, shouldn't be considered for warning 41.
This has actually been fixed already in opam, which I forgot; not backported yet to Camelus / 1.2.2 format though. Thanks for reporting!
Warning 41
seem to imply that user-setup should be mentioned as a dependency — and indeed doing so makes the warning go away — but doing so creates a circular dependency. An improvement would be welcome.