Make Coverage.TM a newtype
authorRyan Scott <ryan.gl.scott@gmail.com>
Tue, 15 Oct 2019 13:27:58 +0000 (09:27 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 16 Oct 2019 20:00:29 +0000 (16:00 -0400)
compiler/deSugar/Coverage.hs

index b7bed75..6138c26 100644 (file)
@@ -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).