From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 29 Nov 2012 07:11:15 +0000 (-0500)
Subject: Widen the type on incState in MonadUtils
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=c3b26f0d4139ba9ed109e8fa6ce2d188002b0ef9;p=dyna2

Widen the type on incState in MonadUtils
---

diff --git a/src/Dyna/XXX/MonadUtils.hs b/src/Dyna/XXX/MonadUtils.hs
index cb0349a..9cfd7b3 100644
--- a/src/Dyna/XXX/MonadUtils.hs
+++ b/src/Dyna/XXX/MonadUtils.hs
@@ -14,7 +14,7 @@ bracketState bs m = do
  return (r, bs)
 
 
-incState :: (MonadState Int m) => m Int
+incState :: (Num a, MonadState a m) => m a
 incState = do
   s <- get
   put $! (s+1)