use new directives on arm

Author: spiessimon

backend/amd64/emit.ml

@@ -110,7 +110,7 @@ let to_x86_directive (dir : ND.Directive.t) : X86_ast.asm_line list =
     comment_lines comment @ [X86_ast.Sleb128 (to_x86_constant constant)]
   | Space { bytes } -> [Space bytes]
   | Type (n, st) ->
-    let typ = match st with Function -> "STT_FUNC" | Object -> "STT_OBJECT" in
+    let typ = ND.symbol_type_to_string st in
     [Type (n, typ)]
   | Uleb128 { constant; comment } ->
     comment_lines comment @ [X86_ast.Uleb128 (to_x86_constant constant)]