use subset

anoma · Feb 9, 2024 · d8edd80 · d8edd80
1 parent 6910c03
commit d8edd80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Tree/EvaluatorEff.hs b/src/Juvix/Compiler/Tree/EvaluatorEff.hs
@@ -30,7 +30,7 @@ emptyEvalCtx =
 eval :: (E.Output Value :> r, E.Error EvalError :> r) => InfoTable -> Node -> Eff r Value
 eval tab = E.runReader emptyEvalCtx . eval'
   where
-    eval' :: forall r'. (E.Output Value :> r', E.Reader EvalCtx :> r', E.Error EvalError :> r') => Node -> Eff r' Value
+    eval' :: forall r'. (E.Subset '[E.Output Value, E.Reader EvalCtx, E.Error EvalError] r') => Node -> Eff r' Value
     eval' node = case node of
       Binop x -> goBinop x
       Unop x -> goUnop x