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

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

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("check-true",StrictFuncon stepCheck_true)]

-- |
-- /check-true(B)/ fails if /B/ is /false/ .
check_true_ fargs = FApp "check-true" (FTuple fargs)
stepCheck_true fargs =
    evalRules [rewrite1,rewrite2] []
    where rewrite1 = do
            let env = emptyEnv
            env <- vsMatch fargs [PADT "true" []] env
            rewriteTo (FTuple [])
          rewrite2 = do
            let env = emptyEnv
            env <- vsMatch fargs [PADT "false" []] env
            rewriteTo (FName "fail")