I have a new crate that doesn’t implement two package bodies because clients are meant to do so. But because Alire won’t publish a crate that won’t compile everything successfully (IIUC), my crate provides dummy bodies (the routines raise P_E if called) for the two package declarations. Then the client extends the first crate’s gpr file and overrides the two dummy package bodies with actual implementations.
Will that cause any issues with Alire?