Closed dcrc2 closed 2 years ago
The function to_integer is defined in knossos.h, but there is no such function in the prelude. It also doesn't have the correct mangling, even if an edef was added to the prelude. So we should either fix it or remove it: this PR would remove it.
to_integer
The function
to_integeris defined in knossos.h, but there is no such function in the prelude. It also doesn't have the correct mangling, even if an edef was added to the prelude. So we should either fix it or remove it: this PR would remove it.