diff options
Diffstat (limited to 'testsuite/tests/tcplugins/Common.hs')
| -rw-r--r-- | testsuite/tests/tcplugins/Common.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/tcplugins/Common.hs b/testsuite/tests/tcplugins/Common.hs index f2f425381d..d5eb1767d3 100644 --- a/testsuite/tests/tcplugins/Common.hs +++ b/testsuite/tests/tcplugins/Common.hs @@ -67,6 +67,7 @@ data PluginDefs = , zero :: !TyCon , succ :: !TyCon , add :: !TyCon + , ctIdFam :: !TyCon } definitionsModule :: TcPluginM Module @@ -87,6 +88,7 @@ lookupDefs = do ( promoteDataCon -> zero ) <- tcLookupDataCon =<< lookupOrig defs ( mkDataOcc "Zero" ) ( promoteDataCon -> succ ) <- tcLookupDataCon =<< lookupOrig defs ( mkDataOcc "Succ" ) add <- tcLookupTyCon =<< lookupOrig defs ( mkTcOcc "Add" ) + ctIdFam <- tcLookupTyCon =<< lookupOrig defs ( mkTcOcc "CtId" ) pure ( PluginDefs { .. } ) mkPlugin :: ( [String] -> PluginDefs -> EvBindsVar -> [Ct] -> [Ct] -> TcPluginM TcPluginSolveResult ) |