Test changes for arithmetic conversions in macros

This commit includes all the test changes subsequent to the previous commit. It was kept separate for the sake of rebasing.
well-typed · Jan 10, 2025 · dea0e1a · dea0e1a
1 parent 503e9f8
commit dea0e1a
Show file tree

Hide file tree

Showing 42 changed files with 1,767 additions and 1,223 deletions.
diff --git a/hs-bindgen/fixtures/anonymous.hs b/hs-bindgen/fixtures/anonymous.hs
diff --git a/hs-bindgen/fixtures/anonymous.tree-diff.txt b/hs-bindgen/fixtures/anonymous.tree-diff.txt
@@ -17,14 +17,14 @@ WrapCHeader
               fieldName = CName "a",
               fieldOffset = 0,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:4:9"},
             StructField {
               fieldName = CName "b",
               fieldOffset = 32,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:5:9"}],
           structFlam = Nothing,
@@ -55,7 +55,7 @@ WrapCHeader
               fieldName = CName "d",
               fieldOffset = 64,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:8:7"}],
           structFlam = Nothing,
@@ -81,7 +81,7 @@ WrapCHeader
               fieldName = CName "b",
               fieldOffset = 0,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:16:11"}],
           structFlam = Nothing,
@@ -103,7 +103,7 @@ WrapCHeader
               fieldName = CName "a",
               fieldOffset = 0,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:14:9"},
             StructField {
@@ -151,7 +151,7 @@ WrapCHeader
               fieldName = CName "d",
               fieldOffset = 64,
               fieldType = TypePrim
-                (PrimIntegral (PrimInt Signed)),
+                (PrimIntegral PrimInt Signed),
               fieldSourceLoc =
               "examples/anonymous.h:20:7"}],
           structFlam = Nothing,