From 6243bba73d14cbee4219a16d45f57d1b254a6456 Mon Sep 17 00:00:00 2001 From: Sebastian Graf Date: Sat, 5 May 2018 13:30:32 -0400 Subject: Add 'addWordC#' PrimOp This is mostly for congruence with 'subWordC#' and '{add,sub}IntC#'. I found 'plusWord2#' while implementing this, which both lacks documentation and has a slightly different specification than 'addWordC#', which means the generic implementation is unnecessarily complex. While I was at it, I also added lacking meta-information on PrimOps and refactored 'subWordC#'s generic implementation to be branchless. Reviewers: bgamari, simonmar, jrtc27, dfeuer Reviewed By: bgamari, dfeuer Subscribers: dfeuer, thomie, carter Differential Revision: https://phabricator.haskell.org/D4592 --- testsuite/tests/roles/should_compile/Roles1.stderr | 2 +- testsuite/tests/roles/should_compile/Roles14.stderr | 2 +- testsuite/tests/roles/should_compile/Roles2.stderr | 2 +- testsuite/tests/roles/should_compile/Roles3.stderr | 2 +- testsuite/tests/roles/should_compile/Roles4.stderr | 2 +- testsuite/tests/roles/should_compile/T8958.stderr | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) (limited to 'testsuite/tests/roles') diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index ff3b234509..baa2477f77 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -21,7 +21,7 @@ TYPE CONSTRUCTORS data T7 (a :: k) b = K7 b COERCION AXIOMS Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index e424d8b640..ce010fba42 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -8,7 +8,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles12.N:C2 :: C2 a = a -> a -- Defined at Roles14.hs:6:1 Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index 9217b84b51..347529b6bf 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -7,7 +7,7 @@ TYPE CONSTRUCTORS data T2 a = K2 (FunPtr a) COERCION AXIOMS Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 192a4d1378..d6e73ee4cd 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -29,7 +29,7 @@ COERCION AXIOMS axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18:1 Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 75e96b36ec..360efce6b4 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -14,7 +14,7 @@ COERCION AXIOMS axiom Roles4.N:C3 :: C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1 Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index 657d8a77f6..e1f992589c 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -16,7 +16,7 @@ INSTANCES -- Defined at T8958.hs:10:10 instance [incoherent] Nominal a -- Defined at T8958.hs:7:10 Dependent modules: [] -Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.0, +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== -- cgit v1.2.1