Remove INLINE pragma on loopbreaker
authorMatthew Pickering <matthewtpickering@gmail.com>
Thu, 2 Feb 2017 21:00:39 +0000 (21:00 +0000)
committerMatthew Pickering <matthewtpickering@gmail.com>
Thu, 2 Feb 2017 22:35:18 +0000 (22:35 +0000)
compiler/deSugar/Check.hs

index 5fd1adf..2b14739 100644 (file)
@@ -1202,7 +1202,6 @@ Main functions are:
 runMany :: (ValVec -> PmM PartialResult) -> (Uncovered -> PmM PartialResult)
 runMany _ [] = return mempty
 runMany pm (m:ms) = mappend <$> pm m <*> runMany pm ms
-{-# INLINE runMany #-}
 
 -- | Generate the initial uncovered set. It initializes the
 -- delta with all term and type constraints in scope.