Commit 1f630025 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot

Add a test for #15712

parent 97d59db5
Pipeline #15577 passed with stages
in 473 minutes and 54 seconds
{-# Language RankNTypes #-}
{-# Language DerivingVia #-}
{-# Language DeriveFunctor #-}
-- import Control.Monad.Codensity
import Data.Kind
newtype Codensity f a = Codensity (forall xx. (a -> f xx) -> f xx)
deriving
(Functor)
newtype GEndo m a = GEndo (m a -> m a)
newtype LogicT m a = LogicT (forall xx. (a -> (m xx -> m xx)) -> (m xx -> m xx))
deriving
(Functor)
via
(Codensity GEndo)
T15712.hs:18:16: error:
• Expecting one more argument to ‘GEndo’
Expected kind ‘* -> *’, but ‘GEndo’ has kind ‘(* -> *) -> * -> *’
• In the first argument of ‘Codensity’, namely ‘GEndo’
In the newtype declaration for ‘LogicT’
......@@ -493,6 +493,7 @@ test('T15592a', normal, compile_fail, [''])
test('T15629', normal, compile_fail, [''])
test('T15767', normal, compile_fail, [''])
test('T15648', [extra_files(['T15648a.hs'])], multimod_compile_fail, ['T15648', '-v0 -fprint-equality-relations'])
test('T15712', normal, compile_fail, [''])
test('T15793', normal, compile_fail, [''])
test('T15796', normal, compile_fail, [''])
test('T15807', normal, compile_fail, [''])
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment