diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-17 14:43:31 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-03-17 14:43:31 +0100 |
| commit | 7511d5bf708f38bbdf5733f42dc8a025c76cc684 (patch) | |
| tree | 06e092fb644ded876f679039f40d588df8803349 | |
| parent | a79613a75c7da0d3d225850382f0f578a07113b5 (diff) | |
| download | haskell-7511d5bf708f38bbdf5733f42dc8a025c76cc684.tar.gz | |
Fix validation issue due to Coercible move (#8894)
4 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs index 1ad76d4e37..0431eee184 100644 --- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs +++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RoleAnnotations, RankNTypes, ScopedTypeVariables #-} -import GHC.Prim (coerce, Coercible) +import Data.Coerce (coerce, Coercible) import Data.Ord (Down) newtype Age = Age Int deriving Show diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs b/testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs index 13a3234fcc..8d89b52639 100644 --- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs +++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs @@ -1,4 +1,4 @@ -import GHC.Prim (Coercible) +import Data.Coerce (Coercible) instance Coercible () () diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail3.hs b/testsuite/tests/typecheck/should_fail/TcCoercibleFail3.hs index 4caf1c2632..eb9b72512b 100644 --- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail3.hs +++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail3.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RoleAnnotations, RankNTypes, ScopedTypeVariables #-} -import GHC.Prim (coerce, Coercible) +import Data.Coerce (coerce, Coercible) newtype List a = List [a] data T f = T (f Int) diff --git a/testsuite/tests/typecheck/should_run/TcCoercible.hs b/testsuite/tests/typecheck/should_run/TcCoercible.hs index e3b29af23b..7bb8e48b51 100644 --- a/testsuite/tests/typecheck/should_run/TcCoercible.hs +++ b/testsuite/tests/typecheck/should_run/TcCoercible.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RoleAnnotations, StandaloneDeriving, FlexibleContexts, UndecidableInstances, GADTs, TypeFamilies #-} -import GHC.Prim (Coercible, coerce) +import Data.Coerce (Coercible, coerce) import Data.Monoid (mempty, First(First), Last()) newtype Age = Age Int deriving Show |