From e4a25f62861ec45b9030c7322ed7315878add267 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 15 Oct 2019 09:27:58 -0400 Subject: Make Coverage.TM a newtype --- compiler/deSugar/Coverage.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/deSugar/Coverage.hs b/compiler/deSugar/Coverage.hs index b7bed75f3d..6138c26ec2 100644 --- a/compiler/deSugar/Coverage.hs +++ b/compiler/deSugar/Coverage.hs @@ -1071,7 +1071,7 @@ noFVs = emptyOccEnv -- to filter additions to the latter. This gives us complete control -- over what free variables we track. -data TM a = TM { unTM :: TickTransEnv -> TickTransState -> (a,FreeVars,TickTransState) } +newtype TM a = TM { unTM :: TickTransEnv -> TickTransState -> (a,FreeVars,TickTransState) } deriving (Functor) -- a combination of a state monad (TickTransState) and a writer -- monad (FreeVars). -- cgit v1.2.1