diff options
Diffstat (limited to 'testsuite/tests/tcplugins/TcPlugin_Rewrite.hs')
-rw-r--r-- | testsuite/tests/tcplugins/TcPlugin_Rewrite.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs b/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs index 6df19b7b62..5cacd28618 100644 --- a/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs +++ b/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs @@ -2,13 +2,16 @@ {-# OPTIONS_GHC -fplugin RewritePlugin #-} {-# LANGUAGE Haskell2010 #-} -{-# LANGUAGE DataKinds, ScopedTypeVariables, TypeFamilies #-} +{-# LANGUAGE DataKinds, ScopedTypeVariables, TypeFamilies, TypeOperators #-} module TcPlugin_Rewrite where import Data.Kind ( Type ) +import Data.Type.Equality + ( type (~) ) + import Definitions ( Add, Nat(..) ) |