several more layout annotation tests

Signed-off-by: David Vulakh <[email protected]>
janestreet · Oct 7, 2024 · 3fefbfa · 3fefbfa
1 parent 95097d2
commit 3fefbfa
Show file tree

Hide file tree

Showing 5 changed files with 91 additions and 0 deletions.
diff --git a/test/passing/tests/layout_annotation-erased.ml.js-ref b/test/passing/tests/layout_annotation-erased.ml.js-ref
@@ -7,6 +7,25 @@ val foo
 type ttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttt : value
 type t_value : value
 type t_imm : immediate
+
+type t_imm : immediate =
+  | Aaaaaaaaaaaaaaaaaaaaa
+  | Bbbbbbbbbbbbbbbbbbbbb
+  | Ccccccccccccccccccccc
+
+type t_imm :
+  immediate =
+  [ `Aaaaaaaaaaaaaaaaaaaaa
+  | `Bbbbbbbbbbbbbbbbbbbbb
+  | `Ccccccccccccccccccccc
+  ]
+
+type t_imm : immediate =
+  { aaaaaaaaaaaaaaaaaaaa : rrrrrrrrrrrrrrrrrrrr
+  ; bbbbbbbbbbbbbbbbbbbb : ssssssssssssssssssss
+  ; cccccccccccccccccccc : tttttttttttttttttttt
+  }
+
 type t_imm64 : immediate64
 type t_float64 : float64
 type t_any : any

diff --git a/test/passing/tests/layout_annotation-erased.ml.ref b/test/passing/tests/layout_annotation-erased.ml.ref
@@ -12,6 +12,22 @@ type t_value
 
 type t_imm [@@immediate]
 
+type t_imm =
+  | Aaaaaaaaaaaaaaaaaaaaa
+  | Bbbbbbbbbbbbbbbbbbbbb
+  | Ccccccccccccccccccccc
+[@@immediate]
+
+type t_imm =
+  [`Aaaaaaaaaaaaaaaaaaaaa | `Bbbbbbbbbbbbbbbbbbbbb | `Ccccccccccccccccccccc]
+[@@immediate]
+
+type t_imm =
+  { aaaaaaaaaaaaaaaaaaaa: rrrrrrrrrrrrrrrrrrrr
+  ; bbbbbbbbbbbbbbbbbbbb: ssssssssssssssssssss
+  ; cccccccccccccccccccc: tttttttttttttttttttt }
+[@@immediate]
+
 type t_imm64 [@@immediate64]
 
 type t_float64

diff --git a/test/passing/tests/layout_annotation.ml b/test/passing/tests/layout_annotation.ml
@@ -14,6 +14,29 @@ type  t_value  :  value
 type t_imm
      : immediate
 
+type t_imm
+     : immediate =
+  | Aaaaaaaaaaaaaaaaaaaaa
+  | Bbbbbbbbbbbbbbbbbbbbb
+  | Ccccccccccccccccccccc
+
+
+type t_imm
+     : immediate =
+  [
+  | `Aaaaaaaaaaaaaaaaaaaaa
+  | `Bbbbbbbbbbbbbbbbbbbbb
+  | `Ccccccccccccccccccccc
+  ]
+
+
+type t_imm
+     : immediate =
+  { aaaaaaaaaaaaaaaaaaaa : rrrrrrrrrrrrrrrrrrrr
+  ; bbbbbbbbbbbbbbbbbbbb : ssssssssssssssssssss
+  ; cccccccccccccccccccc : tttttttttttttttttttt
+  }
+
 type t_imm64 :
        immediate64
 

diff --git a/test/passing/tests/layout_annotation.ml.js-ref b/test/passing/tests/layout_annotation.ml.js-ref
@@ -7,6 +7,25 @@ val foo
 type ttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttt : value
 type t_value : value
 type t_imm : immediate
+
+type t_imm : immediate =
+  | Aaaaaaaaaaaaaaaaaaaaa
+  | Bbbbbbbbbbbbbbbbbbbbb
+  | Ccccccccccccccccccccc
+
+type t_imm :
+  immediate =
+  [ `Aaaaaaaaaaaaaaaaaaaaa
+  | `Bbbbbbbbbbbbbbbbbbbbb
+  | `Ccccccccccccccccccccc
+  ]
+
+type t_imm : immediate =
+  { aaaaaaaaaaaaaaaaaaaa : rrrrrrrrrrrrrrrrrrrr
+  ; bbbbbbbbbbbbbbbbbbbb : ssssssssssssssssssss
+  ; cccccccccccccccccccc : tttttttttttttttttttt
+  }
+
 type t_imm64 : immediate64
 type t_float64 : float64
 type t_any : any

diff --git a/test/passing/tests/layout_annotation.ml.ref b/test/passing/tests/layout_annotation.ml.ref
@@ -13,6 +13,20 @@ type t_value : value
 
 type t_imm : immediate
 
+type t_imm : immediate =
+  | Aaaaaaaaaaaaaaaaaaaaa
+  | Bbbbbbbbbbbbbbbbbbbbb
+  | Ccccccccccccccccccccc
+
+type t_imm :
+  immediate =
+  [`Aaaaaaaaaaaaaaaaaaaaa | `Bbbbbbbbbbbbbbbbbbbbb | `Ccccccccccccccccccccc]
+
+type t_imm : immediate =
+  { aaaaaaaaaaaaaaaaaaaa: rrrrrrrrrrrrrrrrrrrr
+  ; bbbbbbbbbbbbbbbbbbbb: ssssssssssssssssssss
+  ; cccccccccccccccccccc: tttttttttttttttttttt }
+
 type t_imm64 : immediate64
 
 type t_float64 : float64