From a00234388d1b4e14481067d030bf90031258b756 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 26 Mar 2025 15:11:48 +0100
Subject: D2[Array] now has a Maybe instead of zero-size for zero
Remaining problem: 'add' in Compile doesn't use the D2 stuff
---
src/Util/IdGen.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
(limited to 'src/Util/IdGen.hs')
diff --git a/src/Util/IdGen.hs b/src/Util/IdGen.hs
index fcfb6e7..3f6611d 100644
--- a/src/Util/IdGen.hs
+++ b/src/Util/IdGen.hs
@@ -2,11 +2,12 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Util.IdGen where
+import Control.Monad.Fix
import Control.Monad.Trans.State.Strict
newtype IdGen a = IdGen (State Int a)
- deriving newtype (Functor, Applicative, Monad)
+ deriving newtype (Functor, Applicative, Monad, MonadFix)
genId :: IdGen Int
genId = IdGen (state (\i -> (i, i + 1)))
--
cgit v1.2.3-70-g09d2