diff options
Diffstat (limited to 'backend/CMtypecheck.ml')
-rw-r--r-- | backend/CMtypecheck.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backend/CMtypecheck.ml b/backend/CMtypecheck.ml index 1ca13ff8..f78f4705 100644 --- a/backend/CMtypecheck.ml +++ b/backend/CMtypecheck.ml @@ -115,6 +115,8 @@ let type_unary_operation = function | Olonguoffloat -> tfloat, tlong | Ofloatoflong -> tlong, tfloat | Ofloatoflongu -> tlong, tfloat + | Osingleoflong -> tlong, tfloat + | Osingleoflongu -> tlong, tfloat let type_binary_operation = function | Oadd -> tint, tint, tint |