[commit: ghc] wip/gadtpm: Not sure that the performance issue is our creation (df93a2a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/df93a2a0e0633a4c686e5cc74c18eb8ad9c7c629/ghc

>---------------------------------------------------------------

commit df93a2a0e0633a4c686e5cc74c18eb8ad9c7c629
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Tue Oct 13 13:39:47 2015 +0200

    Not sure that the performance issue is our creation
    
    For example, performance test T3294 has no pattern matching in it
    and still has +200% more allocation than it should.


>---------------------------------------------------------------

df93a2a0e0633a4c686e5cc74c18eb8ad9c7c629
 compiler/deSugar/Check.hs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs
index a4cad2a..52aab18 100644
--- a/compiler/deSugar/Check.hs
+++ b/compiler/deSugar/Check.hs
@@ -47,6 +47,7 @@ import Type
 import UniqSupply
 import DsGRHSs    -- isTrueLHsExpr
 
+-- || import qualified Data.Map as Map -- let's check performance
 import Data.List     -- find
 import Data.Maybe    -- isNothing, isJust, fromJust
 import Control.Monad -- liftM3, forM
@@ -732,6 +733,10 @@ splitConstraints (c : rest)
 %************************************************************************
 -}
 
+-- || -- let's check performance
+-- || satisfiable :: [PmConstraint] -> PmM (Maybe ([ComplexEq], PmVarEnv))
+-- || satisfiable _ = return $ Just ([], Map.empty)
+
 -- Same interface to check all kinds of different constraints like in the paper
 satisfiable :: [PmConstraint] -> PmM (Maybe ([ComplexEq], PmVarEnv)) -- Bool -- Give back the substitution for pretty-printing
 satisfiable constraints = do