From c75defc821f8687bb413936e66fff338490c1052 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 20 Sep 2018 13:02:24 -0400 Subject: [PATCH] :memo: Open. --- src/Control/Abstract/Evaluator.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Abstract/Evaluator.hs b/src/Control/Abstract/Evaluator.hs index 80b0617a6..62528a324 100644 --- a/src/Control/Abstract/Evaluator.hs +++ b/src/Control/Abstract/Evaluator.hs @@ -39,6 +39,7 @@ deriving instance Member NonDet effects => Alternative (Evaluator term address v deriving instance Member (Lift IO) effects => MonadIO (Evaluator term address value effects) +-- | An open-recursive function. type Open a = a -> a