I have certain abstract categories & functions which I don't want to implement in some concrete syntaxes.
I could just leave them out and get some compiler warnings, but is there such a thing as a null implementation in GF? What I mean is some way of creating a linearisation placeholder which satisfies the compiler, but in reality produces nothing. I could construct such things manually for each type, but I wonder if there is some oper which already does this?
Is this acceptable as a design pattern, or is having null implementations somehow discouraged in GF?