Closed
Description
Right now the generated code has these three imports:
import scala.scalanative._
import scala.scalanative.native._
import scala.scalanative.native.Nat._
This may lead to issues if a binding uses the name native
or one of the natural number symbols like _1
. In order to avoid such conflicts we need to be more explicit in the generated code, like prefixing everything with scalanative.native.CInt
.
Alternatively we need to document limitations of what names are not allowed.