accept tests (2)

well-typed · Dec 27, 2024 · 954726d · 954726d
1 parent 171583a
commit 954726d
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 5 deletions.
diff --git a/hs-bindgen/fixtures/macro_functions.hs b/hs-bindgen/fixtures/macro_functions.hs
@@ -160,8 +160,15 @@
               (TyConAppTy
                 (ATyCon
                   (GenerativeTyCon
-                    (DataTyCon BoolTyCon)))
-                []))}},
+                    (DataTyCon IntLikeTyCon)))
+                [
+                  TyConAppTy
+                    (ATyCon
+                      (GenerativeTyCon
+                        (DataTyCon
+                          (IntLikeTyCon
+                            (_×_ PrimInt Signed)))))
+                    []]))}},
       varDeclBody = VarDeclLambda
         (Lambda
           (NameHint "x")

diff --git a/hs-bindgen/fixtures/macro_functions.pp.hs b/hs-bindgen/fixtures/macro_functions.pp.hs
@@ -20,7 +20,7 @@ iD = \x0 -> x0
 cONST :: forall a0 b1. a0 -> b1 -> a0
 cONST = \x0 -> \y1 -> x0
 
-cMP :: forall a0 b1. (C.RelOrd a0) b1 => a0 -> b1 -> FC.CBool
+cMP :: forall a0 b1. (C.RelOrd a0) b1 => a0 -> b1 -> FC.CInt
 cMP = \x0 -> \y1 -> (<) x0 y1
 
 fUN1 :: forall a0 b1. (C.Add a0) ((C.MultRes FC.CULLong) b1) => (C.Mult FC.CULLong) b1 => a0 -> b1 -> (C.AddRes a0) ((C.MultRes FC.CULLong) b1)

diff --git a/hs-bindgen/fixtures/macro_functions.th.txt b/hs-bindgen/fixtures/macro_functions.th.txt
@@ -6,7 +6,7 @@ iD :: forall a_0 . a_0 -> a_0
 iD = \x_0 -> x_0
 cONST :: forall a_0 b_1 . a_0 -> b_1 -> a_0
 cONST = \x_0 -> \y_1 -> x_0
-cMP :: forall a_0 b_1 . RelOrd a_0 b_1 => a_0 -> b_1 -> CBool
+cMP :: forall a_0 b_1 . RelOrd a_0 b_1 => a_0 -> b_1 -> CInt
 cMP = \x_0 -> \y_1 -> (<) x_0 y_1
 fUN1 :: forall a_0 b_1 . (Add a_0 (MultRes CULLong b_1),
                           Mult CULLong b_1) =>

diff --git a/hs-bindgen/fixtures/macro_functions.tree-diff.txt b/hs-bindgen/fixtures/macro_functions.tree-diff.txt
@@ -140,7 +140,7 @@ WrapCHeader
                 MTerm (MVar (CName "X") []),
                 MTerm (MVar (CName "Y") [])]},
           macroDeclMacroTy =
-          "(forall a b. RelOrd a b => (a -> b -> Bool))",
+          "(forall a b. RelOrd a b => (a -> b -> IntLike (PrimInt,Signed)))",
           macroDeclSourceLoc = SingleLoc {
             singleLocPath = [
               "examples",