From 7f92ba4d1b02fffe2b348e5234902036ab05d080 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Fri, 9 Nov 2012 11:04:35 -0500 Subject: [PATCH] Fix build: remove stale constraint --- src/Dyna/Analysis/NormalizeParseSelftest.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Dyna/Analysis/NormalizeParseSelftest.hs b/src/Dyna/Analysis/NormalizeParseSelftest.hs index ed28c3d..616115a 100644 --- a/src/Dyna/Analysis/NormalizeParseSelftest.hs +++ b/src/Dyna/Analysis/NormalizeParseSelftest.hs @@ -12,8 +12,8 @@ import qualified Dyna.ParserHS.Parser as P import Dyna.Term.TTerm import Dyna.XXX.TrifectaTest -testNormTerm :: Monad m => B.ByteString -> (DTerm, ANFState) +testNormTerm :: B.ByteString -> (DTerm, ANFState) testNormTerm = runNormalize . normTerm False . unsafeParse P.dterm -testNormRule :: Monad m => B.ByteString -> (DRule, ANFState) +testNormRule :: B.ByteString -> (DRule, ANFState) testNormRule = runNormalize . normRule . unsafeParse P.drule -- 2.50.1