diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-22 21:31:35 +0100 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 12:27:40 +0100 |
commit | 8626ac91a3cac028bbe742f07a1ce9fb598589f6 (patch) | |
tree | c59cf1f913f513627a2de1e971ca371d402e17f8 /testsuite/tests/simplCore/should_compile/T7287.hs | |
parent | 31c312ebd29a4e79c166ad5dbbd5b57b42b6fafa (diff) | |
download | haskell-8626ac91a3cac028bbe742f07a1ce9fb598589f6.tar.gz |
Testsuite: delete Windows line endings [skip ci] (#11631)
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T7287.hs')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T7287.hs | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T7287.hs b/testsuite/tests/simplCore/should_compile/T7287.hs index 2768fb593d..e4a07b1bf9 100644 --- a/testsuite/tests/simplCore/should_compile/T7287.hs +++ b/testsuite/tests/simplCore/should_compile/T7287.hs @@ -1,19 +1,19 @@ -{-# LANGUAGE MagicHash #-}
-module T7287 where
-
-import GHC.Prim
-
-{-# RULES
- "int2Word#/word2Int#" forall x. int2Word# (word2Int# x) = x
- #-}
-
-{- We get a legitmiate
-
- T7287.hs:7:3: warning:
- Rule int2Word#/word2Int# may never fire because
- rule "word2Int#" for ‘word2Int#’ might fire first
- Probable fix: add phase [n] or [~n] to the competing rule
-
-because rule "word2Int#" is the constant folding rule that converts
-a sufficiently-narrow Word# literal to an Int#. There is a similar
-one for int2Word#, so the whole lot is confluent. -}
\ No newline at end of file +{-# LANGUAGE MagicHash #-} +module T7287 where + +import GHC.Prim + +{-# RULES + "int2Word#/word2Int#" forall x. int2Word# (word2Int# x) = x + #-} + +{- We get a legitmiate + + T7287.hs:7:3: warning: + Rule int2Word#/word2Int# may never fire because + rule "word2Int#" for ‘word2Int#’ might fire first + Probable fix: add phase [n] or [~n] to the competing rule + +because rule "word2Int#" is the constant folding rule that converts +a sufficiently-narrow Word# literal to an Int#. There is a similar +one for int2Word#, so the whole lot is confluent. -} |