From dad5724af880a54e7f5ab2a0c715373908021693 Mon Sep 17 00:00:00 2001
From: "Niels G. W. Serup" <ngws@metanohi.name>
Date: Sat, 21 Sep 2024 17:33:02 +0200
Subject: [PATCH] Remove warnings and rename new token

---
 byg/src/ComputationM.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/byg/src/ComputationM.hs b/byg/src/ComputationM.hs
index 476d9c7..d718e01 100644
--- a/byg/src/ComputationM.hs
+++ b/byg/src/ComputationM.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE GADTs #-}
 module ComputationM
   ( ComputationM
   , Token
@@ -28,7 +29,7 @@ deriving instance (Show a, Show b) => Show (TypedRun a b)
 
 data Token a where
   Token :: Int -> Token a
-  ZipToken :: Token a -> Token b -> Token (a, b)
+  TupleToken :: Token a -> Token b -> Token (a, b)
   NoToken :: Token ()
 
 deriving instance Show (Token a)
@@ -104,4 +105,4 @@ mapComputationM_ f input = do
 filterComputationM :: Show a => (Token a -> ComputationM Bool) -> Token [a] -> ComputationM [a]
 filterComputationM f input = do
   conds <- mapComputationM f input
-  genDependency (Dependency (ZipToken input conds) FilterComp)
+  genDependency (Dependency (TupleToken input conds) FilterComp)