Commit 3e8a8777 authored by bbr's avatar bbr
Browse files

no autogenerated files

the autogenerated files removed from repositrory
parent 0c4f92f1
module AutoGenerated1 (module AutoGenerated1) where
import Curry
data Prim t0 = PrimValue t0
| PrimFreeVar (FreeVarRef (Prim t0))
| PrimFail C_Exceptions
| PrimOr OrRef (Branches (Prim t0))
| PrimSusp SuspRef (SuspCont (Prim t0))
data C_Four = C_F0
| C_F1
| C_F2
| C_F3
| C_FourFreeVar (FreeVarRef C_Four)
| C_FourFail C_Exceptions
| C_FourOr OrRef (Branches C_Four)
| C_FourSusp SuspRef (SuspCont C_Four)
deriving (Eq)
module AutoGenerated2 (module AutoGenerated2) where
import Curry
import DataPrelude
instance BaseCurry C_Success where
nf f state x = f(state)(x)
gnf f state x = f(state)(x)
free _ = orsCTC([C_Success])
pattern _ = orsCTC([C_Success])
failed = C_SuccessFail
freeVar = C_SuccessFreeVar
branching = C_SuccessOr
suspend = C_SuccessSusp
consKind (C_SuccessFreeVar _) = Free
consKind (C_SuccessOr _ _) = Branching
consKind (C_SuccessFail _) = Failed
consKind (C_SuccessSusp _ _) = Suspended
consKind _ = Val
exceptions (C_SuccessFail x) = x
freeVarRef (C_SuccessFreeVar x) = x
orRef (C_SuccessOr x _) = x
branches (C_SuccessOr _ x) = x
suspRef (C_SuccessSusp x _) = x
suspCont (C_SuccessSusp _ x) = x
instance BaseCurry C_Bool where
nf f state x = f(state)(x)
gnf f state x = f(state)(x)
free _ = orsCTC([C_True,C_False])
pattern _ = orsCTC([C_True,C_False])
failed = C_BoolFail
freeVar = C_BoolFreeVar
branching = C_BoolOr
suspend = C_BoolSusp
consKind (C_BoolFreeVar _) = Free
consKind (C_BoolOr _ _) = Branching
consKind (C_BoolFail _) = Failed
consKind (C_BoolSusp _ _) = Suspended
consKind _ = Val
exceptions (C_BoolFail x) = x
freeVarRef (C_BoolFreeVar x) = x
orRef (C_BoolOr x _) = x
branches (C_BoolOr _ x) = x
suspRef (C_BoolSusp x _) = x
suspCont (C_BoolSusp _ x) = x
instance BaseCurry C_Four where
nf f state x = f(state)(x)
gnf f state x = f(state)(x)
free _ = orsCTC([C_F0,C_F1,C_F2,C_F3])
pattern _ = orsCTC([C_F0,C_F1,C_F2,C_F3])
failed = C_FourFail
freeVar = C_FourFreeVar
branching = C_FourOr
suspend = C_FourSusp
consKind (C_FourFreeVar _) = Free
consKind (C_FourOr _ _) = Branching
consKind (C_FourFail _) = Failed
consKind (C_FourSusp _ _) = Suspended
consKind _ = Val
exceptions (C_FourFail x) = x
freeVarRef (C_FourFreeVar x) = x
orRef (C_FourOr x _) = x
branches (C_FourOr _ x) = x
suspRef (C_FourSusp x _) = x
suspCont (C_FourSusp _ x) = x
op_38_38 :: State -> C_Bool -> C_Bool -> C_Bool
op_38_38 st x1@C_True x2 = x2
op_38_38 st x1@C_False x2 = C_False
op_38_38 st x@(C_BoolFreeVar ref) x2 = narrowCTC(st)(x)(\ st x -> op_38_38(st)(x)(x2))
op_38_38 st (C_BoolOr i xs) x2 = mapOr(st)(\ st x -> op_38_38(st)(x)(x2))(i)(xs)
op_38_38 st (C_BoolSusp ref susp) x2 = treatSusp(st)(\ st x -> op_38_38(st)(x)(x2))(ref)(susp)
op_38_38 st x x2 = patternFail("Generate.&&")(x)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment