[m-rev.] diff: update list of predicates introduced by simplify

Julien Fischer jfischer at opturion.com
Wed Nov 11 10:10:54 AEDT 2020


Update list of predicates introduced by simplify.

compiler/simplify_proc.m:
      As above.

Julien.

diff --git a/compiler/simplify_proc.m b/compiler/simplify_proc.m
index 850ae82..08e6253 100644
--- a/compiler/simplify_proc.m
+++ b/compiler/simplify_proc.m
@@ -899,6 +899,14 @@ simplify_may_introduce_calls(ModuleName, PredName, _Arity) :-
          ; PredName = "format_float_component_nowidth_prec"
          ; PredName = "format_float_component_width_noprec"
          ; PredName = "format_float_component_width_prec"
+        ; PredName = "format_cast_int8_to_int"
+        ; PredName = "format_cast_int16_to_int"
+        ; PredName = "format_cast_int32_to_int"
+        ; PredName = "format_cast_int64_to_int"
+        ; PredName = "format_cast_uint8_to_uint"
+        ; PredName = "format_cast_uint16_to_uint"
+        ; PredName = "format_cast_uint32_to_uint"
+        ; PredName = "format_cast_uint64_to_uint"
          )
      ;
          ModuleName = "stream",


More information about the reviews mailing list