Strange interaction between `remove module` and extraction to C
Currently, when extracting module fxp.Fxp
to C, the resulting files fxp.h
and fxp.c
are basically empty. So, I tried adding remove module
to the corresponding section of drivers/c.drv
. Unfortunately, this breaks the extraction of examples/multiprecision/sqrt.mlw
to C, as variables of type fxp
are then ignored (silently!).