summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2019-10-15 09:27:58 -0400
committerRyan Scott <ryan.gl.scott@gmail.com>2019-10-15 09:27:58 -0400
commite4a25f62861ec45b9030c7322ed7315878add267 (patch)
tree34ec3c544ad4adfe2b5d56c1a46eddc9dd2d18d2
parent426b0ddc79890f80a8ceeef135371533f066b9ba (diff)
downloadhaskell-wip/make-tm-a-newtype.tar.gz
Make Coverage.TM a newtypewip/make-tm-a-newtype
-rw-r--r--compiler/deSugar/Coverage.hs2
1 files changed, 1 insertions, 1 deletions
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).