Add constant-folding rule for String.^

minoki · Sep 12, 2024 · d092af4 · d092af4
1 parent 07a42ac
commit d092af4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/cps/inline.sml b/src/cps/inline.sml
@@ -292,9 +292,13 @@ struct
                 | _ => NOT_SIMPLIFIED)
            | (F.PrimCall P.String_EQUAL, [C.StringConst x, C.StringConst y]) =>
                VALUE (C.BoolConst (x = y))
+           | (F.PrimCall P.String_HAT, [C.StringConst x, C.StringConst y]) =>
+               VALUE (C.StringConst (x ^ y))
            | ( F.PrimCall P.String16_EQUAL
              , [C.String16Const x, C.String16Const y]
              ) => VALUE (C.BoolConst (x = y))
+           | (F.PrimCall P.String16_HAT, [C.String16Const x, C.String16Const y]) =>
+               VALUE (C.String16Const (Vector.concat [x, y]))
            | ( F.PrimCall (P.Int_EQUAL w)
              , [C.IntConst (w', x), C.IntConst (w'', y)]
              ) =>