-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Control flow/Abnormal/Continuations/hole.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("hole",NullaryFuncon stepHole)]

-- |
-- A /hole/ in a term cannot proceed until it receives a /resume-signal/ containing a value to fill the hole.
hole_ = FName "hole"
stepHole = evalRules [] [step1]
    where step1 = do
            let env = emptyEnv
            env <- assignInput "resume-signal" "V" env
            stepTermTo (TVar "V") env