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

module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("fail",NullaryFuncon stepFail)]

-- |
-- /fail/ terminates abruptly.
fail_ = FName "fail"
stepFail = evalRules [] [step1]
    where step1 = do
            let env = emptyEnv
            raiseTerm "failed" (TTuple [TName "signal"]) env
            stepTo (FName "stuck")