Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ArgsPlugin.hs | 2295 | logplain |
-rw-r--r-- | Common.hs | 3738 | logplain |
-rw-r--r-- | Definitions.hs | 846 | logplain |
-rw-r--r-- | EmitWantedPlugin.hs | 2332 | logplain |
-rw-r--r-- | NullaryPlugin.hs | 1474 | logplain |
-rw-r--r-- | RewritePerfDefs.hs | 3627 | logplain |
-rw-r--r-- | RewritePerfPlugin.hs | 2860 | logplain |
-rw-r--r-- | RewritePlugin.hs | 2244 | logplain |
-rw-r--r-- | TcPlugin_Args.hs | 259 | logplain |
-rw-r--r-- | TcPlugin_Args.stdout | 9 | logplain |
-rw-r--r-- | TcPlugin_EmitWanted.hs | 640 | logplain |
-rw-r--r-- | TcPlugin_EmitWanted.stderr | 498 | logplain |
-rw-r--r-- | TcPlugin_Nullary.hs | 192 | logplain |
-rw-r--r-- | TcPlugin_Nullary.stderr | 284 | logplain |
-rw-r--r-- | TcPlugin_Rewrite.hs | 458 | logplain |
-rw-r--r-- | TcPlugin_Rewrite.stderr | 284 | logplain |
-rw-r--r-- | TcPlugin_RewritePerf.hs | 582 | logplain |
-rw-r--r-- | TcPlugin_RewritePerf.stderr | 1908 | logplain |
-rw-r--r-- | TcPlugin_TyFam.hs | 284 | logplain |
-rw-r--r-- | TcPlugin_TyFam.stderr | 276 | logplain |
-rw-r--r-- | TyFamPlugin.hs | 2217 | logplain |
-rw-r--r-- | all.T | 2299 | logplain |