This pragma tells the backend what name to use for a given function.
%nomangle foo : Int -> Int foo x = x + 1
On backends that support this feature, the function will be called
rather than being mangled, with the namespace.
If the name you want to use isn’t a valid idris identifier, you can use a different name for the idris name and name that appears in the compiled code, e.g.
%nomangle "$_baz" baz : Int baz = 42
You can also specificy different names for different backends, in a similar way to %foreign
%nomangle "refc:idr_add_one" "node:add_one" plusOne : Bits32 -> Bits32 plusOne x = x + 1