Allow incompatibility notification

Open Drup opened this issue 10 years ago • 2 comments

In a perfect word, if_impl would solve that. However, apparently according to the mirage impl, it doesn't. :)

One way could be to implement a configurable that always fails (and then if_impl is on the tracks again !). The issue is that it clutters the config graph a bit.

See https://github.com/mirage/mirage/issues/429

Sep 15 '15 23:09 Drup

I think this also required to fix https://github.com/mirage/mirage/issues/525 .

Jul 27 '16 13:07 yomimono

I think the two are related but distinct. This bug report is about incompatible devices. @sgrove want to be warned about incompatible libraries (which probably involve some ocamlfind magic; but not much functoria things).

Jul 27 '16 13:07 Drup