KiCS-debugger-0.1.1: dist/build/Curry/DebugModule/Char.hs
{-# LANGUAGE DeriveDataTypeable, ScopedTypeVariables #-}
module Curry.DebugModule.Char where
import qualified Prelude
import qualified Curry.Debugger.DebugMonad as DM
import qualified Curry.Debugger.DebugInfo as DI
import qualified Curry.Debugger.PartCalls as PC
import qualified Data.Generics
import qualified Curry.DebugModule.Prelude
strict_isUpper ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isUpper x1
= DM.eval
(DM.funcDeclHook "isUpper"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x10 <- do x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(Curry.DebugModule.Prelude.strict_ord x2)
x5 <- do x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_GtEq x4 x5)
x11 <- do x8 <- do x6 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_ord x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'Z'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_LtEq x8 x9)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_AndAnd x10 x11)))
term_strict_isUpper x1 = DI.Term "isUpper" (DI.SrcID "Char" 0) x1
strict_isLower ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isLower x1
= DM.eval
(DM.funcDeclHook "isLower"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x10 <- do x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(Curry.DebugModule.Prelude.strict_ord x2)
x5 <- do x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_GtEq x4 x5)
x11 <- do x8 <- do x6 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_ord x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char 'z'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_LtEq x8 x9)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_AndAnd x10 x11)))
term_strict_isLower x1 = DI.Term "isLower" (DI.SrcID "Char" 0) x1
strict_isAlpha ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isAlpha x1
= DM.eval
(DM.funcDeclHook "isAlpha"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "isUpper"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isUpper x2)
x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "isLower"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(strict_isLower x3)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_OrOr x4 x5)))
term_strict_isAlpha x1 = DI.Term "isAlpha" (DI.SrcID "Char" 0) x1
strict_isDigit ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isDigit x1
= DM.eval
(DM.funcDeclHook "isDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x10 <- do x4 <- do x2 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '0'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(Curry.DebugModule.Prelude.strict_ord x2)
x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_LtEq x4 x5)
x11 <- do x8 <- do x6 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_ord x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '9'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_LtEq x8 x9)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_AndAnd x10 x11)))
term_strict_isDigit x1 = DI.Term "isDigit" (DI.SrcID "Char" 0) x1
strict_isAlphaNum ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isAlphaNum x1
= DM.eval
(DM.funcDeclHook "isAlphaNum"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "isAlpha"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isAlpha x2)
x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "isDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(strict_isDigit x3)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_OrOr x4 x5)))
term_strict_isAlphaNum x1
= DI.Term "isAlphaNum" (DI.SrcID "Char" 0) x1
strict_isOctDigit ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isOctDigit x1
= DM.eval
(DM.funcDeclHook "isOctDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x10 <- do x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(Curry.DebugModule.Prelude.strict_ord x2)
x5 <- do x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '0'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_GtEq x4 x5)
x11 <- do x8 <- do x6 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_ord x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '7'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_LtEq x8 x9)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11]))
(Curry.DebugModule.Prelude.op_AndAnd x10 x11)))
term_strict_isOctDigit x1
= DI.Term "isOctDigit" (DI.SrcID "Char" 0) x1
strict_isHexDigit ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isHexDigit x1
= DM.eval
(DM.funcDeclHook "isHexDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x25 <- do x2 <- Prelude.return x1
DM.funcCallHook "isDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isDigit x2)
x26 <- do x23 <- do x11 <- do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord x4)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_GtEq x5 x6)
x12 <- do x9 <- do x7 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
x10 <- do x8 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'F'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(Curry.DebugModule.Prelude.strict_ord x8)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x9, DI.genTerm x10]))
(Curry.DebugModule.Prelude.op_LtEq x9 x10)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12]))
(Curry.DebugModule.Prelude.op_AndAnd x11 x12)
x24 <- do x21 <- do x15 <- do x13 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13]))
(Curry.DebugModule.Prelude.strict_ord x13)
x16 <- do x14 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x14]))
(Curry.DebugModule.Prelude.strict_ord x14)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x15, DI.genTerm x16]))
(Curry.DebugModule.Prelude.op_GtEq x15 x16)
x22 <- do x19 <- do x17 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x17]))
(Curry.DebugModule.Prelude.strict_ord x17)
x20 <- do x18 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'f'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x18]))
(Curry.DebugModule.Prelude.strict_ord x18)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x19, DI.genTerm x20]))
(Curry.DebugModule.Prelude.op_LtEq x19 x20)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22]))
(Curry.DebugModule.Prelude.op_AndAnd x21 x22)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24]))
(Curry.DebugModule.Prelude.op_OrOr x23 x24)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26]))
(Curry.DebugModule.Prelude.op_OrOr x25 x26)))
term_strict_isHexDigit x1
= DI.Term "isHexDigit" (DI.SrcID "Char" 0) x1
strict_isSpace ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Bool
strict_isSpace x1
= DM.eval
(DM.funcDeclHook "isSpace"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x19 <- do x2 <- Prelude.return x1
x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char ' '))
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3]))
(Curry.DebugModule.Prelude.op_EqEq x2 x3)
x20 <- do x17 <- do x4 <- Prelude.return x1
x5 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return (Curry.DebugModule.Prelude.Char '\t'))
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_EqEq x4 x5)
x18 <- do x15 <- do x6 <- Prelude.return x1
x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char '\n'))
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(Curry.DebugModule.Prelude.op_EqEq x6 x7)
x16 <- do x13 <- do x8 <- Prelude.return x1
x9 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'\r'))
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_EqEq x8 x9)
x14 <- do x11 <- do x10 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x10]))
(Curry.DebugModule.Prelude.strict_ord
x10)
x12 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "=="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x11, DI.genTerm x12]))
(Curry.DebugModule.Prelude.op_EqEq x11 x12)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x13, DI.genTerm x14]))
(Curry.DebugModule.Prelude.op_OrOr x13 x14)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16]))
(Curry.DebugModule.Prelude.op_OrOr x15 x16)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18]))
(Curry.DebugModule.Prelude.op_OrOr x17 x18)
DM.funcCallHook "||"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20]))
(Curry.DebugModule.Prelude.op_OrOr x19 x20)))
term_strict_isSpace x1 = DI.Term "isSpace" (DI.SrcID "Char" 0) x1
strict_toUpper ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Char
strict_toUpper x1
= DM.eval
(DM.funcDeclHook "toUpper"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "isLower"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isLower x2)
DM.funcCallHook "_case_10"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_10 x3 x4)))
term_strict_toUpper x1 = DI.Term "toUpper" (DI.SrcID "Char" 0) x1
strict_toLower ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Char
strict_toLower x1
= DM.eval
(DM.funcDeclHook "toLower"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "isUpper"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isUpper x2)
DM.funcCallHook "_case_8"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_8 x3 x4)))
term_strict_toLower x1 = DI.Term "toLower" (DI.SrcID "Char" 0) x1
strict_digitToInt ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Char -> dm Curry.DebugModule.Prelude.Int
strict_digitToInt x1
= DM.eval
(DM.funcDeclHook "digitToInt"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x3 <- Prelude.return x1
x4 <- do x2 <- Prelude.return x1
DM.funcCallHook "isDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2]))
(strict_isDigit x2)
DM.funcCallHook "_case_6"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4]))
(strict__case_6 x3 x4)))
term_strict_digitToInt x1
= DI.Term "digitToInt" (DI.SrcID "Char" 0) x1
strict_intToDigit ::
(DM.DM dm) =>
Curry.DebugModule.Prelude.Int -> dm Curry.DebugModule.Prelude.Char
strict_intToDigit x1
= DM.eval
(DM.funcDeclHook "intToDigit"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x8 <- Prelude.return x1
x9 <- do x6 <- do x2 <- Prelude.return x1
x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return Curry.DebugModule.Prelude.Zero)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3]))
(Curry.DebugModule.Prelude.op_GtEq x2 x3)
x7 <- do x4 <- Prelude.return x1
x5 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_LtEq x4 x5)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(Curry.DebugModule.Prelude.op_AndAnd x6 x7)
DM.funcCallHook "_case_2"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(strict__case_2 x8 x9)))
term_strict_intToDigit x1
= DI.Term "intToDigit" (DI.SrcID "Char" 0) x1
strict__case_2 x1 x2
= DM.eval
(DM.funcDeclHook "_case_2"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x15 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x15]))
(case x15 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x6 <- do x4 <- do x3 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char '0'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
x5 <- Prelude.return x1
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_Plus x4 x5)
DM.funcCallHook "chr"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6]))
(Curry.DebugModule.Prelude.strict_chr x6)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x13 <- Prelude.return x1
x14 <- do x11 <- do x7 <- Prelude.return x1
x8 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x7, DI.genTerm x8]))
(Curry.DebugModule.Prelude.op_GtEq x7 x8)
x12 <- do x9 <- Prelude.return x1
x10 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.I
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x9, DI.genTerm x10]))
(Curry.DebugModule.Prelude.op_LtEq x9 x10)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x11, DI.genTerm x12]))
(Curry.DebugModule.Prelude.op_AndAnd x11 x12)
DM.funcCallHook "_case_1"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13, DI.genTerm x14]))
(strict__case_1 x13 x14)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x15])))
(strict__case_2 x1)
x15)))
term_strict__case_2 x1 = DI.Term "_case_2" (DI.SrcID "Char" 0) x1
strict__case_1 x1 x2
= DM.eval
(DM.funcDeclHook "_case_1"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x10 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10]))
(case x10 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x8 <- do x6 <- do x4 <- do x3 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord
x3)
x5 <- Prelude.return x1
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x4, DI.genTerm x5]))
(Curry.DebugModule.Prelude.op_Plus x4 x5)
x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7]))
(Curry.DebugModule.Prelude.op_Minus x6 x7)
DM.funcCallHook "chr"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8]))
(Curry.DebugModule.Prelude.strict_chr x8)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x9 <- DM.funcCallHook "otherwise"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_otherwise
DM.funcCallHook "_case_0"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x9]))
(strict__case_0 x9)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10])))
(strict__case_1 x1)
x10)))
term_strict__case_1 x1 = DI.Term "_case_1" (DI.SrcID "Char" 0) x1
strict__case_0 x1
= DM.eval
(DM.funcDeclHook "_case_0"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x89 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x89]))
(case x89 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x88 <- do x86 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'C'))
x87 <- do x84 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'h'))
x85 <- do x82 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x83 <- do x80 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'r'))
x81 <- do x78 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'.'))
x79 <- do x76 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x77 <- do x74 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x75 <- do x72 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x73 <- do x70 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'T'))
x71 <- do x68 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x69 <- do x66 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'D'))
x67 <- do x64 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x65 <- do x62 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x63 <- do x60 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x61 <- do x58 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x59 <- do x56 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
':'))
x57 <- do x54 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x55 <- do x52 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x53 <- do x50 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'r'))
x51 <- do x48 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x49 <- do x46 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'u'))
x47 <- do x44 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'm'))
x45 <- do x42 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'e'))
x43 <- do x40 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x41 <- do x38 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x39 <- do x36 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x37 <- do x34 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x35 <- do x32 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x33 <- do x30 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x31 <- do x28 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x29 <- do x26 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x27 <- do x24 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x25 <- do x22 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'd'))
x23 <- do x20 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x21 <- do x18 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x19 <- do x16 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x17 <- do x14 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x15 <- do x12 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x13 <- do x10 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'v'))
x11 <- do x8 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x9 <- do x6 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'l'))
x7 <- do x4 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'u'))
x5 <- do x2 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'e'))
x3 <- DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x2,
DI.genTerm
x3]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x2
x3))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x4,
DI.genTerm
x5]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x4
x5))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x6,
DI.genTerm
x7]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x6
x7))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x8,
DI.genTerm
x9]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x8
x9))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x10,
DI.genTerm
x11]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x10
x11))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x12,
DI.genTerm
x13]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x12
x13))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x14,
DI.genTerm
x15]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x14
x15))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x16,
DI.genTerm
x17]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x16
x17))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x18,
DI.genTerm
x19]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x18
x19))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x20,
DI.genTerm
x21]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x20
x21))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x22,
DI.genTerm
x23]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x22
x23))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x24,
DI.genTerm
x25]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x24
x25))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x26,
DI.genTerm
x27]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x26
x27))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x28,
DI.genTerm
x29]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x28
x29))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x30,
DI.genTerm
x31]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x30
x31))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x32,
DI.genTerm
x33]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x32
x33))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x34,
DI.genTerm
x35]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x34
x35))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x36,
DI.genTerm
x37]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x36
x37))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x38,
DI.genTerm
x39]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x38
x39))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x40,
DI.genTerm
x41]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x40
x41))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x42,
DI.genTerm
x43]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x42
x43))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x44,
DI.genTerm
x45]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x44
x45))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x46,
DI.genTerm
x47]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x46
x47))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x48,
DI.genTerm
x49]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x48
x49))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x50,
DI.genTerm
x51]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x50
x51))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x52,
DI.genTerm
x53]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x52
x53))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x54,
DI.genTerm
x55]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x54
x55))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x56,
DI.genTerm
x57]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x56
x57))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x58,
DI.genTerm
x59]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x58
x59))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x60,
DI.genTerm
x61]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x60
x61))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x62,
DI.genTerm
x63]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x62
x63))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x64,
DI.genTerm
x65]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x64
x65))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x66,
DI.genTerm
x67]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x66
x67))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x68,
DI.genTerm
x69]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x68
x69))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x70,
DI.genTerm
x71]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x70
x71))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x72,
DI.genTerm
x73]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x72
x73))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x74,
DI.genTerm
x75]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x74
x75))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x76,
DI.genTerm
x77]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x76
x77))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x78,
DI.genTerm
x79]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x78
x79))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x80,
DI.genTerm x81]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x80
x81))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x82,
DI.genTerm x83]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x82
x83))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x84, DI.genTerm x85]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x84 x85))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x86, DI.genTerm x87]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x86 x87))
DM.funcCallHook "error"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x88]))
(Curry.DebugModule.Prelude.strict_error x88)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.funcCallHook "failed"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_failed))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x89])))
strict__case_0
x89)))
term_strict__case_0 x1 = DI.Term "_case_0" (DI.SrcID "Char" 0) x1
strict__case_6 x1 x2
= DM.eval
(DM.funcDeclHook "_case_6"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x19 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x19]))
(case x19 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char '0'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord x4)
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Minus x5 x6)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x17 <- Prelude.return x1
x18 <- do x15 <- do x9 <- do x7 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord
x7)
x10 <- do x8 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x8]))
(Curry.DebugModule.Prelude.strict_ord
x8)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x9, DI.genTerm x10]))
(Curry.DebugModule.Prelude.op_GtEq x9 x10)
x16 <- do x13 <- do x11 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x11]))
(Curry.DebugModule.Prelude.strict_ord
x11)
x14 <- do x12 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'F'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x12]))
(Curry.DebugModule.Prelude.strict_ord
x12)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x13, DI.genTerm x14]))
(Curry.DebugModule.Prelude.op_LtEq x13 x14)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x15, DI.genTerm x16]))
(Curry.DebugModule.Prelude.op_AndAnd x15 x16)
DM.funcCallHook "_case_5"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18]))
(strict__case_5 x17 x18)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x19])))
(strict__case_6 x1)
x19)))
term_strict__case_6 x1 = DI.Term "_case_6" (DI.SrcID "Char" 0) x1
strict__case_5 x1 x2
= DM.eval
(DM.funcDeclHook "_case_5"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x21 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x21]))
(case x21 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x7 <- do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord x4)
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Minus x5 x6)
x8 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8]))
(Curry.DebugModule.Prelude.op_Plus x7 x8)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x19 <- Prelude.return x1
x20 <- do x17 <- do x11 <- do x9 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x9]))
(Curry.DebugModule.Prelude.strict_ord
x9)
x12 <- do x10 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x10]))
(Curry.DebugModule.Prelude.strict_ord
x10)
DM.funcCallHook ">="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x11, DI.genTerm x12]))
(Curry.DebugModule.Prelude.op_GtEq x11 x12)
x18 <- do x15 <- do x13 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x13]))
(Curry.DebugModule.Prelude.strict_ord
x13)
x16 <- do x14 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'f'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x14]))
(Curry.DebugModule.Prelude.strict_ord
x14)
DM.funcCallHook "<="
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x15, DI.genTerm x16]))
(Curry.DebugModule.Prelude.op_LtEq x15 x16)
DM.funcCallHook "&&"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x17, DI.genTerm x18]))
(Curry.DebugModule.Prelude.op_AndAnd x17 x18)
DM.funcCallHook "_case_4"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20]))
(strict__case_4 x19 x20)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x21])))
(strict__case_5 x1)
x21)))
term_strict__case_5 x1 = DI.Term "_case_5" (DI.SrcID "Char" 0) x1
strict__case_4 x1 x2
= DM.eval
(DM.funcDeclHook "_case_4"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x10 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10]))
(case x10 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x7 <- do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord x4)
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Minus x5 x6)
x8 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Pos
(Curry.DebugModule.Prelude.O
(Curry.DebugModule.Prelude.I
(Curry.DebugModule.Prelude.O
Curry.DebugModule.Prelude.IHi)))))
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8]))
(Curry.DebugModule.Prelude.op_Plus x7 x8)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x9 <- DM.funcCallHook "otherwise"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_otherwise
DM.funcCallHook "_case_3"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x9]))
(strict__case_3 x9)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10])))
(strict__case_4 x1)
x10)))
term_strict__case_4 x1 = DI.Term "_case_4" (DI.SrcID "Char" 0) x1
strict__case_3 x1
= DM.eval
(DM.funcDeclHook "_case_3"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1]))
(do x83 <- Prelude.return x1
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x83]))
(case x83 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x82 <- do x80 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char 'C'))
x81 <- do x78 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'h'))
x79 <- do x76 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x77 <- do x74 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'r'))
x75 <- do x72 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'.'))
x73 <- do x70 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'd'))
x71 <- do x68 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x69 <- do x66 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x67 <- do x64 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x65 <- do x62 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x63 <- do x60 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'T'))
x61 <- do x58 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x59 <- do x56 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'I'))
x57 <- do x54 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x55 <- do x52 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x53 <- do x50 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
':'))
x51 <- do x48 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x49 <- do x46 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x47 <- do x44 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'r'))
x45 <- do x42 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x43 <- do x40 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'u'))
x41 <- do x38 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'm'))
x39 <- do x36 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'e'))
x37 <- do x34 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x35 <- do x32 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x33 <- do x30 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x31 <- do x28 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x29 <- do x26 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
's'))
x27 <- do x24 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x25 <- do x22 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'n'))
x23 <- do x20 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'o'))
x21 <- do x18 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x19 <- do x16 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x17 <- do x14 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
x15 <- do x12 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
' '))
x13 <- do x10 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'd'))
x11 <- do x8 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x9 <- do x6 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'g'))
x7 <- do x4 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'i'))
x5 <- do x2 <- DM.litHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
(Curry.DebugModule.Prelude.Char
't'))
x3 <- DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[]))
(Prelude.return
Curry.DebugModule.Prelude.Nil)
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x2,
DI.genTerm
x3]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x2
x3))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x4,
DI.genTerm
x5]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x4
x5))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x6,
DI.genTerm
x7]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x6
x7))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x8,
DI.genTerm
x9]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x8
x9))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x10,
DI.genTerm
x11]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x10
x11))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x12,
DI.genTerm
x13]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x12
x13))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x14,
DI.genTerm
x15]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x14
x15))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x16,
DI.genTerm
x17]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x16
x17))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x18,
DI.genTerm
x19]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x18
x19))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x20,
DI.genTerm
x21]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x20
x21))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x22,
DI.genTerm
x23]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x22
x23))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x24,
DI.genTerm
x25]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x24
x25))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x26,
DI.genTerm
x27]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x26
x27))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x28,
DI.genTerm
x29]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x28
x29))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x30,
DI.genTerm
x31]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x30
x31))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x32,
DI.genTerm
x33]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x32
x33))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x34,
DI.genTerm
x35]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x34
x35))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x36,
DI.genTerm
x37]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x36
x37))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x38,
DI.genTerm
x39]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x38
x39))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x40,
DI.genTerm
x41]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x40
x41))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x42,
DI.genTerm
x43]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x42
x43))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x44,
DI.genTerm
x45]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x44
x45))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x46,
DI.genTerm
x47]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x46
x47))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x48,
DI.genTerm
x49]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x48
x49))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x50,
DI.genTerm
x51]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x50
x51))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x52,
DI.genTerm
x53]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x52
x53))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x54,
DI.genTerm
x55]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x54
x55))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x56,
DI.genTerm
x57]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x56
x57))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x58,
DI.genTerm
x59]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x58
x59))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x60,
DI.genTerm
x61]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x60
x61))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x62,
DI.genTerm
x63]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x62
x63))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x64,
DI.genTerm
x65]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x64
x65))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x66,
DI.genTerm
x67]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x66
x67))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x68,
DI.genTerm
x69]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x68
x69))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x70,
DI.genTerm
x71]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x70
x71))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID
"Char"
0)
(DI.DynamicInfo
[]
[DI.genTerm
x72,
DI.genTerm
x73]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x72
x73))
DM.constructorHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x74,
DI.genTerm x75]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x74
x75))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x76,
DI.genTerm x77]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons
x76
x77))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x78, DI.genTerm x79]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x78 x79))
DM.constructorHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x80, DI.genTerm x81]))
(Prelude.return
(Curry.DebugModule.Prelude.Cons x80 x81))
DM.funcCallHook "error"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x82]))
(Curry.DebugModule.Prelude.strict_error x82)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.funcCallHook "failed"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_failed))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x83])))
strict__case_3
x83)))
term_strict__case_3 x1 = DI.Term "_case_3" (DI.SrcID "Char" 0) x1
strict__case_8 x1 x2
= DM.eval
(DM.funcDeclHook "_case_8"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x13 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13]))
(case x13 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x10 <- do x8 <- do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord
x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord
x4)
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Minus x5 x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_Plus x8 x9)
DM.funcCallHook "chr"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10]))
(Curry.DebugModule.Prelude.strict_chr x10)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x11 <- Prelude.return x1
x12 <- DM.funcCallHook "otherwise"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_otherwise
DM.funcCallHook "_case_7"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12]))
(strict__case_7 x11 x12)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13])))
(strict__case_8 x1)
x13)))
term_strict__case_8 x1 = DI.Term "_case_8" (DI.SrcID "Char" 0) x1
strict__case_7 x1 x2
= DM.eval
(DM.funcDeclHook "_case_7"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(case x3 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x1))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.funcCallHook "failed"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_failed))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3])))
(strict__case_7 x1)
x3)))
term_strict__case_7 x1 = DI.Term "_case_7" (DI.SrcID "Char" 0) x1
strict__case_10 x1 x2
= DM.eval
(DM.funcDeclHook "_case_10"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x13 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13]))
(case x13 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x10 <- do x8 <- do x5 <- do x3 <- Prelude.return x1
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x3]))
(Curry.DebugModule.Prelude.strict_ord
x3)
x6 <- do x4 <- DM.litHook
(DI.DebugInfo
(DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'a'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x4]))
(Curry.DebugModule.Prelude.strict_ord
x4)
DM.funcCallHook "-"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo []
[DI.genTerm x5, DI.genTerm x6]))
(Curry.DebugModule.Prelude.op_Minus x5 x6)
x9 <- do x7 <- DM.litHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] []))
(Prelude.return
(Curry.DebugModule.Prelude.Char
'A'))
DM.funcCallHook "ord"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x7]))
(Curry.DebugModule.Prelude.strict_ord x7)
DM.funcCallHook "+"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9]))
(Curry.DebugModule.Prelude.op_Plus x8 x9)
DM.funcCallHook "chr"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x10]))
(Curry.DebugModule.Prelude.strict_chr x10)))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(do x11 <- Prelude.return x1
x12 <- DM.funcCallHook "otherwise"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_otherwise
DM.funcCallHook "_case_9"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12]))
(strict__case_9 x11 x12)))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x13])))
(strict__case_10 x1)
x13)))
term_strict__case_10 x1 = DI.Term "_case_10" (DI.SrcID "Char" 0) x1
strict__case_9 x1 x2
= DM.eval
(DM.funcDeclHook "_case_9"
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2]))
(do x3 <- Prelude.return x2
DM.caseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3]))
(case x3 of
Curry.DebugModule.Prelude.True
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval (Prelude.return x1))
Curry.DebugModule.Prelude.False
-> DM.branchHook
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
(DM.eval
(DM.funcCallHook "failed"
(DI.DebugInfo (DI.SrcID "Char" 0) (DI.DynamicInfo [] []))
Curry.DebugModule.Prelude.strict_failed))
_
-> DM.treatCase
(DM.nepCaseHook
(DI.DebugInfo (DI.SrcID "Char" 0)
(DI.DynamicInfo [] [DI.genTerm x3])))
(strict__case_9 x1)
x3)))
term_strict__case_9 x1 = DI.Term "_case_9" (DI.SrcID "Char" 0) x1