diff options
author | Richard Eisenberg <rae@richarde.dev> | 2022-03-02 10:38:38 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-02 14:11:03 -0500 |
commit | c8652a0afc3d8b56d39f39ff587271dcc46b17ba (patch) | |
tree | 67417eb34ae8bd41da46f336d9b230422af2fa30 /testsuite/tests/typecheck | |
parent | 1617fed3a97cd13b55a180029ab8fb9468d2b797 (diff) | |
download | haskell-c8652a0afc3d8b56d39f39ff587271dcc46b17ba.tar.gz |
Make Constraint not *apart* from Type.
More details in Note [coreView vs tcView]
Close #21092.
Diffstat (limited to 'testsuite/tests/typecheck')
-rw-r--r-- | testsuite/tests/typecheck/should_run/T11715.hs | 9 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_run/T11715.stderr | 2 |
2 files changed, 2 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_run/T11715.hs b/testsuite/tests/typecheck/should_run/T11715.hs index 3baeb12de9..e8522fe9ee 100644 --- a/testsuite/tests/typecheck/should_run/T11715.hs +++ b/testsuite/tests/typecheck/should_run/T11715.hs @@ -3,17 +3,10 @@ import Data.Kind import Data.Typeable -type family F x a b -type instance F Type a b = a -type instance F Constraint a b = b - -foo :: x :~: y -> F x a b -> F y a b -foo Refl = id - unsafeCoerce :: a -> b unsafeCoerce x = case eqT :: Maybe (Type :~: Constraint) of Nothing -> error "No more bug!" - Just r -> foo r x + Just r -> error "Bug!" main :: IO () main = let x :: Int diff --git a/testsuite/tests/typecheck/should_run/T11715.stderr b/testsuite/tests/typecheck/should_run/T11715.stderr index 6b7b2dd10b..ef267fa85f 100644 --- a/testsuite/tests/typecheck/should_run/T11715.stderr +++ b/testsuite/tests/typecheck/should_run/T11715.stderr @@ -1,3 +1,3 @@ T11715: No more bug! CallStack (from HasCallStack): - error, called at T11715.hs:15:31 in main:Main + error, called at T11715.hs:8:31 in main:Main |