testsuite/tests/parser/should_fail/T18130Fail.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{-# Language DerivingVia #-}
{-# Language KindSignatures #-}

module T18130Fail where

import Data.Functor.Classes
import Data.Kind

newtype Par a b = Par (a, b)
  deriving Eq
  via (a, b)
   :: Type -> Type

  deriving Eq1
  via (,) a
   :: Type -> Type

  deriving Eq2
  via (,)
   :: Type -> Type -> Type