From 1fce00e5319ba63e6ecddb12fc64839e9b99dfcf Mon Sep 17 00:00:00 2001 From: "Niels G. W. Serup" Date: Sun, 6 Oct 2024 13:44:19 +0200 Subject: [PATCH] Refine unit requirement --- byg/src/DependencyGenerator.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/byg/src/DependencyGenerator.hs b/byg/src/DependencyGenerator.hs index 6f2c129..f9d37fb 100644 --- a/byg/src/DependencyGenerator.hs +++ b/byg/src/DependencyGenerator.hs @@ -104,7 +104,7 @@ runFunction f input = genDependency (makeDependency input (Function f)) runFunctionIO :: IsFunctionIO f a b => f -> Token a -> DepGenM' b runFunctionIO f input = genDependency (makeDependency input (FunctionIO f)) -runFunctionIO_ :: IsFunctionIO f a b => f -> Token a -> DepGenM () +runFunctionIO_ :: IsFunctionIO f a () => f -> Token a -> DepGenM () runFunctionIO_ f input = tellDep $ makeDependency input (FunctionIO f) NoToken class TokenableTo t s | s -> t where