blob: a562796a6b64a53cc67390ce2f4c59610d99345a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# OPTIONS_GHC -dcore-lint #-}
{-# OPTIONS_GHC -fplugin TyFamPlugin #-}
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, GADTs, ScopedTypeVariables #-}
module TcPlugin_TyFam where
import Definitions
( MyTyFam )
foo :: proxy a -> proxy b -> MyTyFam a a -> ()
foo _ _ x = x
|