Hello, I’ve declared a massive GADT in one file and I’d like to extend it in another module in another file by doing the following:
type Spec.Router.t('a,'b) += NewCase: Spec.Router.t(int,int)
however I get the error
Error: Type Spec.Router.t is not extensible. I tried to add a default case to all the functions that use it
| _ => raise(ParseExn("Invalid constructor"))
But still get the same error.