diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2018-05-05 13:30:32 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-05 17:06:35 -0400 |
| commit | 6243bba73d14cbee4219a16d45f57d1b254a6456 (patch) | |
| tree | 56c4528dd27b7c0634ef3707adb0a47771f62011 /testsuite/tests/roles/should_compile/Roles2.stderr | |
| parent | 418881f7181cbfa31c44f0794db65bf00916bde2 (diff) | |
| download | haskell-6243bba73d14cbee4219a16d45f57d1b254a6456.tar.gz | |
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
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles2.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
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 ==================== |