diff options
Diffstat (limited to 'common/PrintAST.ml')
-rw-r--r-- | common/PrintAST.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/common/PrintAST.ml b/common/PrintAST.ml index 329c0c79..c0eab04f 100644 --- a/common/PrintAST.ml +++ b/common/PrintAST.ml @@ -21,6 +21,8 @@ let name_of_type = function | Tfloat -> "float" | Tlong -> "long" | Tsingle -> "single" + | Tany32 -> "any32" + | Tany64 -> "any64" let name_of_chunk = function | Mint8signed -> "int8s" @@ -31,6 +33,8 @@ let name_of_chunk = function | Mint64 -> "int64" | Mfloat32 -> "float32" | Mfloat64 -> "float64" + | Many32 -> "any32" + | Many64 -> "any64" let name_of_external = function | EF_external(name, sg) -> sprintf "extern %S" (extern_atom name) |