279.41/247.43 MAYBE 281.59/248.06 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 281.59/248.06 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 281.59/248.06 281.59/248.06 281.59/248.06 H-Termination with start terms of the given HASKELL could not be shown: 281.59/248.06 281.59/248.06 (0) HASKELL 281.59/248.06 (1) LR [EQUIVALENT, 0 ms] 281.59/248.06 (2) HASKELL 281.59/248.06 (3) CR [EQUIVALENT, 0 ms] 281.59/248.06 (4) HASKELL 281.59/248.06 (5) IFR [EQUIVALENT, 18 ms] 281.59/248.06 (6) HASKELL 281.59/248.06 (7) BR [EQUIVALENT, 0 ms] 281.59/248.06 (8) HASKELL 281.59/248.06 (9) COR [EQUIVALENT, 23 ms] 281.59/248.06 (10) HASKELL 281.59/248.06 (11) LetRed [EQUIVALENT, 46 ms] 281.59/248.06 (12) HASKELL 281.59/248.06 (13) NumRed [SOUND, 65 ms] 281.59/248.06 (14) HASKELL 281.59/248.06 281.59/248.06 281.59/248.06 ---------------------------------------- 281.59/248.06 281.59/248.06 (0) 281.59/248.06 Obligation: 281.59/248.06 mainModule Main 281.59/248.06 module Main where { 281.59/248.06 import qualified Prelude; 281.59/248.06 } 281.59/248.06 281.59/248.06 ---------------------------------------- 281.59/248.06 281.59/248.06 (1) LR (EQUIVALENT) 281.59/248.06 Lambda Reductions: 281.59/248.06 The following Lambda expression 281.59/248.06 "\nd->n * radix + d" 281.59/248.06 is transformed to 281.59/248.06 "readInt0 radix n d = n * radix + d; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu77->case vu77 of { 281.59/248.06 (ds,r) -> (foldl1 (readInt0 radix) (map (fromIntegral . digToInt) ds),r) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readInt1 radix digToInt vu77 = case vu77 of { 281.59/248.06 (ds,r) -> (foldl1 (readInt0 radix) (map (fromIntegral . digToInt) ds),r) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu54->case vu54 of { 281.59/248.06 (ch,''' : t) -> if ch /= ''' : [] then (''' : ch ++ ''' : [],t) : [] else []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex0 vu54 = case vu54 of { 281.59/248.06 (ch,''' : t) -> if ch /= ''' : [] then (''' : ch ++ ''' : [],t) : [] else []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu56->case vu56 of { 281.59/248.06 (str,u) -> (ch ++ str,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexString0 ch vu56 = case vu56 of { 281.59/248.06 (str,u) -> (ch ++ str,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu57->case vu57 of { 281.59/248.06 (ch,t) -> concatMap (lexString0 ch) (lexString t); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexString1 vu57 = case vu57 of { 281.59/248.06 (ch,t) -> concatMap (lexString0 ch) (lexString t); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu58->case vu58 of { 281.59/248.06 '\' : t -> ([],t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexStrItem0 vu58 = case vu58 of { 281.59/248.06 '\' : t -> ([],t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu55->case vu55 of { 281.59/248.06 (str,t) -> ('"' : str,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex1 vu55 = case vu55 of { 281.59/248.06 (str,t) -> ('"' : str,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu63->case vu63 of { 281.59/248.06 (e,u) -> ('.' : ds ++ e,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexFracExp0 ds vu63 = case vu63 of { 281.59/248.06 (e,u) -> ('.' : ds ++ e,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu64->case vu64 of { 281.59/248.06 (ds,t) -> concatMap (lexFracExp0 ds) (lexExp t); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexFracExp1 vu64 = case vu64 of { 281.59/248.06 (ds,t) -> concatMap (lexFracExp0 ds) (lexExp t); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu65->case vu65 of { 281.59/248.06 (ds,u) -> (e : c : ds,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexExp0 e c vu65 = case vu65 of { 281.59/248.06 (ds,u) -> (e : c : ds,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu66->case vu66 of { 281.59/248.06 c : t -> if c `elem` '+' : '-' : [] then concatMap (lexExp0 e c) (lexDigits t) else []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexExp1 e vu66 = case vu66 of { 281.59/248.06 c : t -> if c `elem` '+' : '-' : [] then concatMap (lexExp0 e c) (lexDigits t) else []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu67->case vu67 of { 281.59/248.06 (ds,t) -> (e : ds,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lexExp2 e vu67 = case vu67 of { 281.59/248.06 (ds,t) -> (e : ds,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu59->case vu59 of { 281.59/248.06 (sym,t) -> (c : sym,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex2 c vu59 = case vu59 of { 281.59/248.06 (sym,t) -> (c : sym,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu60->case vu60 of { 281.59/248.06 (nam,t) -> (c : nam,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex3 c vu60 = case vu60 of { 281.59/248.06 (nam,t) -> (c : nam,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu61->case vu61 of { 281.59/248.06 (fe,t) -> (c : ds ++ fe,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex4 c ds vu61 = case vu61 of { 281.59/248.06 (fe,t) -> (c : ds ++ fe,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu62->case vu62 of { 281.59/248.06 (ds,s) -> concatMap (lex4 c ds) (lexFracExp s); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "lex5 c vu62 = case vu62 of { 281.59/248.06 (ds,s) -> concatMap (lex4 c ds) (lexFracExp s); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\ab->(a,b)" 281.59/248.06 is transformed to 281.59/248.06 "zip0 a b = (a,b); 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu46->case vu46 of { 281.59/248.06 ([],[]) -> x : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read0 x vu46 = case vu46 of { 281.59/248.06 ([],[]) -> x : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu47->case vu47 of { 281.59/248.06 (x,t) -> concatMap (read0 x) (lex t); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read1 vu47 = case vu47 of { 281.59/248.06 (x,t) -> concatMap (read0 x) (lex t); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu68->case vu68 of { 281.59/248.06 (cs@(_ : _),t) -> (cs,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "nonnull0 vu68 = case vu68 of { 281.59/248.06 (cs@(_ : _),t) -> (cs,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu48->case vu48 of { 281.59/248.06 (')' : [],u) -> (x,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "mandatory0 x vu48 = case vu48 of { 281.59/248.06 (')' : [],u) -> (x,u) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu49->case vu49 of { 281.59/248.06 (x,t) -> concatMap (mandatory0 x) (lex t); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "mandatory1 vu49 = case vu49 of { 281.59/248.06 (x,t) -> concatMap (mandatory0 x) (lex t); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu50->case vu50 of { 281.59/248.06 ('(' : [],s) -> concatMap mandatory1 (optional s); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "mandatory2 vu50 = case vu50 of { 281.59/248.06 ('(' : [],s) -> concatMap mandatory1 (optional s); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu88->case vu88 of { 281.59/248.06 (k,t) -> (`negate` k,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readExp'0 vu88 = case vu88 of { 281.59/248.06 (k,t) -> (`negate` k,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu86->case vu86 of { 281.59/248.06 (ds',t) -> (read (ds ++ ds'),length ds',t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFix0 ds vu86 = case vu86 of { 281.59/248.06 (ds',t) -> (read (ds ++ ds'),length ds',t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu87->case vu87 of { 281.59/248.06 (ds,d) -> concatMap (readFix0 ds) (lexFrac d); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFix1 vu87 = case vu87 of { 281.59/248.06 (ds,d) -> concatMap (readFix0 ds) (lexFrac d); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu82->case vu82 of { 281.59/248.06 (k,t) -> (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFloat0 n d vu82 = case vu82 of { 281.59/248.06 (k,t) -> (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu83->case vu83 of { 281.59/248.06 (n,d,s) -> concatMap (readFloat0 n d) (readExp s); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFloat1 vu83 = case vu83 of { 281.59/248.06 (n,d,s) -> concatMap (readFloat0 n d) (readExp s); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu84->case vu84 of { 281.59/248.06 ('N' : 'a' : 'N' : [],t) -> (0 / 0,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFloat2 vu84 = case vu84 of { 281.59/248.06 ('N' : 'a' : 'N' : [],t) -> (0 / 0,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu85->case vu85 of { 281.59/248.06 ('I' : 'n' : 'f' : 'i' : 'n' : 'i' : 't' : 'y' : [],t) -> (1 / 0,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "readFloat3 vu85 = case vu85 of { 281.59/248.06 ('I' : 'n' : 'f' : 'i' : 'n' : 'i' : 't' : 'y' : [],t) -> (1 / 0,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu80->case vu80 of { 281.59/248.06 (n,[]) -> (n,s) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read''0 s vu80 = case vu80 of { 281.59/248.06 (n,[]) -> (n,s) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu81->case vu81 of { 281.59/248.06 (str,s) -> concatMap (read''0 s) (readPos str); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read''1 readPos vu81 = case vu81 of { 281.59/248.06 (str,s) -> concatMap (read''0 s) (readPos str); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu78->case vu78 of { 281.59/248.06 (x,t) -> (`negate` x,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read'0 vu78 = case vu78 of { 281.59/248.06 (x,t) -> (`negate` x,t) : []; 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\vu79->case vu79 of { 281.59/248.06 ('-' : [],s) -> concatMap read'0 (read'' s); 281.59/248.06 _ -> []} 281.59/248.06 " 281.59/248.06 is transformed to 281.59/248.06 "read'1 vu79 = case vu79 of { 281.59/248.06 ('-' : [],s) -> concatMap read'0 (read'' s); 281.59/248.06 _ -> []} 281.59/248.06 ; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\n_->n + 1" 281.59/248.06 is transformed to 281.59/248.06 "length0 n _ = n + 1; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.59/248.06 "\d->fromEnum d - fromEnum_0" 281.59/248.06 is transformed to 281.59/248.06 "readDec0 d = fromEnum d - fromEnum_0; 281.59/248.06 " 281.59/248.06 The following Lambda expression 281.88/248.07 "\vu69->case vu69 of { 281.88/248.07 ([],s') -> (mne,s') : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexEsc0 mne vu69 = case vu69 of { 281.88/248.07 ([],s') -> (mne,s') : []; 281.88/248.07 _ -> []} 281.88/248.07 ; 281.88/248.07 " 281.88/248.07 The following Lambda expression 281.88/248.07 "\vu70->case vu70 of { 281.88/248.07 (c,mne) -> concatMap (lexEsc0 mne) (lexmatch mne s : []); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexEsc1 s vu70 = case vu70 of { 281.88/248.07 (c,mne) -> concatMap (lexEsc0 mne) (lexmatch mne s : []); 281.88/248.07 _ -> []} 281.88/248.07 ; 281.88/248.07 " 281.88/248.07 The following Lambda expression 281.88/248.07 "\(_,zs)->zs" 281.88/248.07 is transformed to 281.88/248.07 "zs0 (_,zs) = zs; 281.88/248.07 " 281.88/248.07 The following Lambda expression 281.88/248.07 "\(ys,_)->ys" 281.88/248.07 is transformed to 281.88/248.07 "ys0 (ys,_) = ys; 281.88/248.07 " 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (2) 281.88/248.07 Obligation: 281.88/248.07 mainModule Main 281.88/248.07 module Main where { 281.88/248.07 import qualified Prelude; 281.88/248.07 } 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (3) CR (EQUIVALENT) 281.88/248.07 Case Reductions: 281.88/248.07 The following Case expression 281.88/248.07 "case vu55 of { 281.88/248.07 (str,t) -> ('"' : str,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex10 (str,t) = ('"' : str,t) : []; 281.88/248.07 lex10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu57 of { 281.88/248.07 (ch,t) -> concatMap (lexString0 ch) (lexString t); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexString10 (ch,t) = concatMap (lexString0 ch) (lexString t); 281.88/248.07 lexString10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu56 of { 281.88/248.07 (str,u) -> (ch ++ str,u) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexString00 ch (str,u) = (ch ++ str,u) : []; 281.88/248.07 lexString00 ch _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu58 of { 281.88/248.07 '\' : t -> ([],t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexStrItem00 ('\' : t) = ([],t) : []; 281.88/248.07 lexStrItem00 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu59 of { 281.88/248.07 (sym,t) -> (c : sym,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex20 c (sym,t) = (c : sym,t) : []; 281.88/248.07 lex20 c _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu67 of { 281.88/248.07 (ds,t) -> (e : ds,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexExp20 e (ds,t) = (e : ds,t) : []; 281.88/248.07 lexExp20 e _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu65 of { 281.88/248.07 (ds,u) -> (e : c : ds,u) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexExp00 e c (ds,u) = (e : c : ds,u) : []; 281.88/248.07 lexExp00 e c _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu62 of { 281.88/248.07 (ds,s) -> concatMap (lex4 c ds) (lexFracExp s); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex50 c (ds,s) = concatMap (lex4 c ds) (lexFracExp s); 281.88/248.07 lex50 c _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu66 of { 281.88/248.07 c : t -> if c `elem` '+' : '-' : [] then concatMap (lexExp0 e c) (lexDigits t) else []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexExp10 e (c : t) = if c `elem` '+' : '-' : [] then concatMap (lexExp0 e c) (lexDigits t) else []; 281.88/248.07 lexExp10 e _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu60 of { 281.88/248.07 (nam,t) -> (c : nam,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex30 c (nam,t) = (c : nam,t) : []; 281.88/248.07 lex30 c _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu61 of { 281.88/248.07 (fe,t) -> (c : ds ++ fe,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex40 c ds (fe,t) = (c : ds ++ fe,t) : []; 281.88/248.07 lex40 c ds _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu63 of { 281.88/248.07 (e,u) -> ('.' : ds ++ e,u) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexFracExp00 ds (e,u) = ('.' : ds ++ e,u) : []; 281.88/248.07 lexFracExp00 ds _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu64 of { 281.88/248.07 (ds,t) -> concatMap (lexFracExp0 ds) (lexExp t); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexFracExp10 (ds,t) = concatMap (lexFracExp0 ds) (lexExp t); 281.88/248.07 lexFracExp10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu47 of { 281.88/248.07 (x,t) -> concatMap (read0 x) (lex t); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read10 (x,t) = concatMap (read0 x) (lex t); 281.88/248.07 read10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu46 of { 281.88/248.07 ([],[]) -> x : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read00 x ([],[]) = x : []; 281.88/248.07 read00 x _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu68 of { 281.88/248.07 (cs@(_ : _),t) -> (cs,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "nonnull00 (cs@(_ : _),t) = (cs,t) : []; 281.88/248.07 nonnull00 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu84 of { 281.88/248.07 ('N' : 'a' : 'N' : [],t) -> (0 / 0,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFloat20 ('N' : 'a' : 'N' : [],t) = (0 / 0,t) : []; 281.88/248.07 readFloat20 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu85 of { 281.88/248.07 ('I' : 'n' : 'f' : 'i' : 'n' : 'i' : 't' : 'y' : [],t) -> (1 / 0,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFloat30 ('I' : 'n' : 'f' : 'i' : 'n' : 'i' : 't' : 'y' : [],t) = (1 / 0,t) : []; 281.88/248.07 readFloat30 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu82 of { 281.88/248.07 (k,t) -> (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFloat00 n d (k,t) = (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 281.88/248.07 readFloat00 n d _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu88 of { 281.88/248.07 (k,t) -> (`negate` k,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readExp'00 (k,t) = (`negate` k,t) : []; 281.88/248.07 readExp'00 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu86 of { 281.88/248.07 (ds',t) -> (read (ds ++ ds'),length ds',t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFix00 ds (ds',t) = (read (ds ++ ds'),length ds',t) : []; 281.88/248.07 readFix00 ds _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu83 of { 281.88/248.07 (n,d,s) -> concatMap (readFloat0 n d) (readExp s); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFloat10 (n,d,s) = concatMap (readFloat0 n d) (readExp s); 281.88/248.07 readFloat10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu87 of { 281.88/248.07 (ds,d) -> concatMap (readFix0 ds) (lexFrac d); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readFix10 (ds,d) = concatMap (readFix0 ds) (lexFrac d); 281.88/248.07 readFix10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu77 of { 281.88/248.07 (ds,r) -> (foldl1 (readInt0 radix) (map (fromIntegral . digToInt) ds),r) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "readInt10 radix digToInt (ds,r) = (foldl1 (readInt0 radix) (map (fromIntegral . digToInt) ds),r) : []; 281.88/248.07 readInt10 radix digToInt _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case concatMap read1 (reads s) of { 281.88/248.07 x : [] -> x; 281.88/248.07 [] -> error []; 281.88/248.07 _ -> error []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read2 (x : []) = x; 281.88/248.07 read2 [] = error []; 281.88/248.07 read2 _ = error []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu54 of { 281.88/248.07 (ch,''' : t) -> if ch /= ''' : [] then (''' : ch ++ ''' : [],t) : [] else []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lex00 (ch,''' : t) = if ch /= ''' : [] then (''' : ch ++ ''' : [],t) : [] else []; 281.88/248.07 lex00 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu48 of { 281.88/248.07 (')' : [],u) -> (x,u) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "mandatory00 x (')' : [],u) = (x,u) : []; 281.88/248.07 mandatory00 x _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu49 of { 281.88/248.07 (x,t) -> concatMap (mandatory0 x) (lex t); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "mandatory10 (x,t) = concatMap (mandatory0 x) (lex t); 281.88/248.07 mandatory10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu50 of { 281.88/248.07 ('(' : [],s) -> concatMap mandatory1 (optional s); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "mandatory20 ('(' : [],s) = concatMap mandatory1 (optional s); 281.88/248.07 mandatory20 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu79 of { 281.88/248.07 ('-' : [],s) -> concatMap read'0 (read'' s); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read'10 ('-' : [],s) = concatMap read'0 (read'' s); 281.88/248.07 read'10 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu78 of { 281.88/248.07 (x,t) -> (`negate` x,t) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read'00 (x,t) = (`negate` x,t) : []; 281.88/248.07 read'00 _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu80 of { 281.88/248.07 (n,[]) -> (n,s) : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read''00 s (n,[]) = (n,s) : []; 281.88/248.07 read''00 s _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu81 of { 281.88/248.07 (str,s) -> concatMap (read''0 s) (readPos str); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "read''10 readPos (str,s) = concatMap (read''0 s) (readPos str); 281.88/248.07 read''10 readPos _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case concatMap (lexEsc1 s) table of { 281.88/248.07 pr : _ -> pr : []; 281.88/248.07 [] -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexEsc2 (pr : _) = pr : []; 281.88/248.07 lexEsc2 [] = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu69 of { 281.88/248.07 ([],s') -> (mne,s') : []; 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexEsc00 mne ([],s') = (mne,s') : []; 281.88/248.07 lexEsc00 mne _ = []; 281.88/248.07 " 281.88/248.07 The following Case expression 281.88/248.07 "case vu70 of { 281.88/248.07 (c,mne) -> concatMap (lexEsc0 mne) (lexmatch mne s : []); 281.88/248.07 _ -> []} 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexEsc10 s (c,mne) = concatMap (lexEsc0 mne) (lexmatch mne s : []); 281.88/248.07 lexEsc10 s _ = []; 281.88/248.07 " 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (4) 281.88/248.07 Obligation: 281.88/248.07 mainModule Main 281.88/248.07 module Main where { 281.88/248.07 import qualified Prelude; 281.88/248.07 } 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (5) IFR (EQUIVALENT) 281.88/248.07 If Reductions: 281.88/248.07 The following If expression 281.88/248.07 "if c `elem` '+' : '-' : [] then concatMap (lexExp0 e c) (lexDigits t) else []" 281.88/248.07 is transformed to 281.88/248.07 "lexExp100 e c t True = concatMap (lexExp0 e c) (lexDigits t); 281.88/248.07 lexExp100 e c t False = []; 281.88/248.07 " 281.88/248.07 The following If expression 281.88/248.07 "if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero" 281.88/248.07 is transformed to 281.88/248.07 "primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y)); 281.88/248.07 primDivNatS0 x y False = Zero; 281.88/248.07 " 281.88/248.07 The following If expression 281.88/248.07 "if ch /= ''' : [] then (''' : ch ++ ''' : [],t) : [] else []" 281.88/248.07 is transformed to 281.88/248.07 "lex000 ch t True = (''' : ch ++ ''' : [],t) : []; 281.88/248.07 lex000 ch t False = []; 281.88/248.07 " 281.88/248.07 The following If expression 281.88/248.07 "if n >= 0 then x ^ n else recip (x ^ (`negate` n))" 281.88/248.07 is transformed to 281.88/248.07 "prPr0 x n True = x ^ n; 281.88/248.07 prPr0 x n False = recip (x ^ (`negate` n)); 281.88/248.07 " 281.88/248.07 The following If expression 281.88/248.07 "if b then mandatory else optional" 281.88/248.07 is transformed to 281.88/248.07 "readParen0 True = mandatory; 281.88/248.07 readParen0 False = optional; 281.88/248.07 " 281.88/248.07 The following If expression 281.88/248.07 "if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x" 281.88/248.07 is transformed to 281.88/248.07 "primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y); 281.88/248.07 primModNatS0 x y False = Succ x; 281.88/248.07 " 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (6) 281.88/248.07 Obligation: 281.88/248.07 mainModule Main 281.88/248.07 module Main where { 281.88/248.07 import qualified Prelude; 281.88/248.07 } 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (7) BR (EQUIVALENT) 281.88/248.07 Replaced joker patterns by fresh variables and removed binding patterns. 281.88/248.07 281.88/248.07 Binding Reductions: 281.88/248.07 The bind variable of the following binding Pattern 281.88/248.07 "xs@(vvy : vvz)" 281.88/248.07 is replaced by the following term 281.88/248.07 "vvy : vvz" 281.88/248.07 The bind variable of the following binding Pattern 281.88/248.07 "xs@(vww : vwx)" 281.88/248.07 is replaced by the following term 281.88/248.07 "vww : vwx" 281.88/248.07 The bind variable of the following binding Pattern 281.88/248.07 "cs@(vxw : vxx)" 281.88/248.07 is replaced by the following term 281.88/248.07 "vxw : vxx" 281.88/248.07 The bind variable of the following binding Pattern 281.88/248.07 "s@(wuw : wux)" 281.88/248.07 is replaced by the following term 281.88/248.07 "wuw : wux" 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (8) 281.88/248.07 Obligation: 281.88/248.07 mainModule Main 281.88/248.07 module Main where { 281.88/248.07 import qualified Prelude; 281.88/248.07 } 281.88/248.07 281.88/248.07 ---------------------------------------- 281.88/248.07 281.88/248.07 (9) COR (EQUIVALENT) 281.88/248.07 Cond Reductions: 281.88/248.07 The following Function with conditions 281.88/248.07 "takeWhile p [] = []; 281.88/248.07 takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[]; 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "takeWhile p [] = takeWhile3 p []; 281.88/248.07 takeWhile p (x : xs) = takeWhile2 p (x : xs); 281.88/248.07 " 281.88/248.07 "takeWhile1 p x xs True = x : takeWhile p xs; 281.88/248.07 takeWhile1 p x xs False = takeWhile0 p x xs otherwise; 281.88/248.07 " 281.88/248.07 "takeWhile0 p x xs True = []; 281.88/248.07 " 281.88/248.07 "takeWhile2 p (x : xs) = takeWhile1 p x xs (p x); 281.88/248.07 " 281.88/248.07 "takeWhile3 p [] = []; 281.88/248.07 takeWhile3 wvy wvz = takeWhile2 wvy wvz; 281.88/248.07 " 281.88/248.07 The following Function with conditions 281.88/248.07 "gcd' x 0 = x; 281.88/248.07 gcd' x y = gcd' y (x `rem` y); 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "gcd' x wwu = gcd'2 x wwu; 281.88/248.07 gcd' x y = gcd'0 x y; 281.88/248.07 " 281.88/248.07 "gcd'0 x y = gcd' y (x `rem` y); 281.88/248.07 " 281.88/248.07 "gcd'1 True x wwu = x; 281.88/248.07 gcd'1 wwv www wwx = gcd'0 www wwx; 281.88/248.07 " 281.88/248.07 "gcd'2 x wwu = gcd'1 (wwu == 0) x wwu; 281.88/248.07 gcd'2 wwy wwz = gcd'0 wwy wwz; 281.88/248.07 " 281.88/248.07 The following Function with conditions 281.88/248.07 "gcd 0 0 = error []; 281.88/248.07 gcd x y = gcd' (abs x) (abs y) where { 281.88/248.07 gcd' x 0 = x; 281.88/248.07 gcd' x y = gcd' y (x `rem` y); 281.88/248.07 } 281.88/248.07 ; 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "gcd wxu wxv = gcd3 wxu wxv; 281.88/248.07 gcd x y = gcd0 x y; 281.88/248.07 " 281.88/248.07 "gcd0 x y = gcd' (abs x) (abs y) where { 281.88/248.07 gcd' x wwu = gcd'2 x wwu; 281.88/248.07 gcd' x y = gcd'0 x y; 281.88/248.07 ; 281.88/248.07 gcd'0 x y = gcd' y (x `rem` y); 281.88/248.07 ; 281.88/248.07 gcd'1 True x wwu = x; 281.88/248.07 gcd'1 wwv www wwx = gcd'0 www wwx; 281.88/248.07 ; 281.88/248.07 gcd'2 x wwu = gcd'1 (wwu == 0) x wwu; 281.88/248.07 gcd'2 wwy wwz = gcd'0 wwy wwz; 281.88/248.07 } 281.88/248.07 ; 281.88/248.07 " 281.88/248.07 "gcd1 True wxu wxv = error []; 281.88/248.07 gcd1 wxw wxx wxy = gcd0 wxx wxy; 281.88/248.07 " 281.88/248.07 "gcd2 True wxu wxv = gcd1 (wxv == 0) wxu wxv; 281.88/248.07 gcd2 wxz wyu wyv = gcd0 wyu wyv; 281.88/248.07 " 281.88/248.07 "gcd3 wxu wxv = gcd2 (wxu == 0) wxu wxv; 281.88/248.07 gcd3 wyw wyx = gcd0 wyw wyx; 281.88/248.07 " 281.88/248.07 The following Function with conditions 281.88/248.07 "lexString ('"' : s) = ('"' : [],s) : []; 281.88/248.07 lexString s = concatMap lexString1 (lexStrItem s); 281.88/248.07 " 281.88/248.07 is transformed to 281.88/248.07 "lexString (wyz : s) = lexString4 (wyz : s); 281.88/248.07 lexString s = lexString2 s; 281.88/248.07 " 281.88/248.07 "lexString2 s = concatMap lexString1 (lexStrItem s); 281.88/248.07 " 281.88/248.07 "lexString3 True (wyz : s) = ('"' : [],s) : []; 281.88/248.07 lexString3 wzu wzv = lexString2 wzv; 281.88/248.07 " 281.88/248.07 "lexString4 (wyz : s) = lexString3 (wyz == '"') (wyz : s); 281.88/248.07 lexString4 wzw = lexString2 wzw; 281.88/248.07 " 281.88/248.07 The following Function with conditions 281.88/248.07 "lexStrItem ('\' : '&' : s) = ('\' : '&' : [],s) : []; 281.88/248.07 lexStrItem ('\' : c : s)|isSpace cconcatMap lexStrItem0 (dropWhile isSpace s : []); 281.88/248.07 lexStrItem s = lexLitChar s; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lexStrItem (xvu : xvy) = lexStrItem7 (xvu : xvy); 281.88/248.08 lexStrItem (wzy : xuv) = lexStrItem4 (wzy : xuv); 281.88/248.08 lexStrItem s = lexStrItem1 s; 281.88/248.08 " 281.88/248.08 "lexStrItem1 s = lexLitChar s; 281.88/248.08 " 281.88/248.08 "lexStrItem2 wzy c s True = concatMap lexStrItem0 (dropWhile isSpace s : []); 281.88/248.08 lexStrItem2 wzy c s False = lexStrItem1 (wzy : c : s); 281.88/248.08 " 281.88/248.08 "lexStrItem3 True (wzy : c : s) = lexStrItem2 wzy c s (isSpace c); 281.88/248.08 lexStrItem3 xuw xux = lexStrItem1 xux; 281.88/248.08 " 281.88/248.08 "lexStrItem4 (wzy : xuv) = lexStrItem3 (wzy == '\') (wzy : xuv); 281.88/248.08 lexStrItem4 xuy = lexStrItem1 xuy; 281.88/248.08 " 281.88/248.08 "lexStrItem5 True (xvu : xvw : s) = ('\' : '&' : [],s) : []; 281.88/248.08 lexStrItem5 xvz xwu = lexStrItem4 xwu; 281.88/248.08 " 281.88/248.08 "lexStrItem6 True (xvu : xvw : s) = lexStrItem5 (xvw == '&') (xvu : xvw : s); 281.88/248.08 lexStrItem6 xwv xww = lexStrItem4 xww; 281.88/248.08 " 281.88/248.08 "lexStrItem7 (xvu : xvy) = lexStrItem6 (xvu == '\') (xvu : xvy); 281.88/248.08 lexStrItem7 xwx = lexStrItem4 xwx; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "lexStrItem00 ('\' : t) = ([],t) : []; 281.88/248.08 lexStrItem00 xu = []; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lexStrItem00 (xwz : t) = lexStrItem002 (xwz : t); 281.88/248.08 lexStrItem00 xu = lexStrItem000 xu; 281.88/248.08 " 281.88/248.08 "lexStrItem000 xu = []; 281.88/248.08 " 281.88/248.08 "lexStrItem001 True (xwz : t) = ([],t) : []; 281.88/248.08 lexStrItem001 xxu xxv = lexStrItem000 xxv; 281.88/248.08 " 281.88/248.08 "lexStrItem002 (xwz : t) = lexStrItem001 (xwz == '\') (xwz : t); 281.88/248.08 lexStrItem002 xxw = lexStrItem000 xxw; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "lexExp (e : s)|e `elem` 'e' : 'E' : []concatMap (lexExp1 e) (s : []) ++ concatMap (lexExp2 e) (lexDigits s); 281.88/248.08 lexExp s = ([],s) : []; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lexExp (e : s) = lexExp5 (e : s); 281.88/248.08 lexExp s = lexExp3 s; 281.88/248.08 " 281.88/248.08 "lexExp3 s = ([],s) : []; 281.88/248.08 " 281.88/248.08 "lexExp4 e s True = concatMap (lexExp1 e) (s : []) ++ concatMap (lexExp2 e) (lexDigits s); 281.88/248.08 lexExp4 e s False = lexExp3 (e : s); 281.88/248.08 " 281.88/248.08 "lexExp5 (e : s) = lexExp4 e s (e `elem` 'e' : 'E' : []); 281.88/248.08 lexExp5 xxy = lexExp3 xxy; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "lexFracExp ('.' : c : cs)|isDigit cconcatMap lexFracExp1 (lexDigits (c : cs)); 281.88/248.08 lexFracExp s = lexExp s; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lexFracExp (xyu : xyx) = lexFracExp5 (xyu : xyx); 281.88/248.08 lexFracExp s = lexFracExp2 s; 281.88/248.08 " 281.88/248.08 "lexFracExp2 s = lexExp s; 281.88/248.08 " 281.88/248.08 "lexFracExp3 xyu c cs True = concatMap lexFracExp1 (lexDigits (c : cs)); 281.88/248.08 lexFracExp3 xyu c cs False = lexFracExp2 (xyu : c : cs); 281.88/248.08 " 281.88/248.08 "lexFracExp4 True (xyu : c : cs) = lexFracExp3 xyu c cs (isDigit c); 281.88/248.08 lexFracExp4 xyy xyz = lexFracExp2 xyz; 281.88/248.08 " 281.88/248.08 "lexFracExp5 (xyu : xyx) = lexFracExp4 (xyu == '.') (xyu : xyx); 281.88/248.08 lexFracExp5 xzu = lexFracExp2 xzu; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "lex [] = ([],[]) : []; 281.88/248.08 lex (c : s)|isSpace clex (dropWhile isSpace s); 281.88/248.08 lex (''' : s) = concatMap lex0 (lexLitChar s); 281.88/248.08 lex ('"' : s) = concatMap lex1 (lexString s) where { 281.88/248.08 lex1 vu55 = lex10 vu55; 281.88/248.08 ; 281.88/248.08 lex10 (str,t) = ('"' : str,t) : []; 281.88/248.08 lex10 xv = []; 281.88/248.08 ; 281.88/248.08 lexStrItem ('\' : '&' : s) = ('\' : '&' : [],s) : []; 281.88/248.08 lexStrItem ('\' : c : s)|isSpace cconcatMap lexStrItem0 (dropWhile isSpace s : []); 281.88/248.08 lexStrItem s = lexLitChar s; 281.88/248.08 ; 281.88/248.08 lexStrItem0 vu58 = lexStrItem00 vu58; 281.88/248.08 ; 281.88/248.08 lexStrItem00 ('\' : t) = ([],t) : []; 281.88/248.08 lexStrItem00 xu = []; 281.88/248.08 ; 281.88/248.08 lexString ('"' : s) = ('"' : [],s) : []; 281.88/248.08 lexString s = concatMap lexString1 (lexStrItem s); 281.88/248.08 ; 281.88/248.08 lexString0 ch vu56 = lexString00 ch vu56; 281.88/248.08 ; 281.88/248.08 lexString00 ch (str,u) = (ch ++ str,u) : []; 281.88/248.08 lexString00 ch wy = []; 281.88/248.08 ; 281.88/248.08 lexString1 vu57 = lexString10 vu57; 281.88/248.08 ; 281.88/248.08 lexString10 (ch,t) = concatMap (lexString0 ch) (lexString t); 281.88/248.08 lexString10 wz = []; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 lex (c : s)|isSingle c(c : [],s) : []|isSym cconcatMap (lex2 c) (span isSym s : [])|isAlpha cconcatMap (lex3 c) (span isIdChar s : [])|isDigit cconcatMap (lex5 c) (span isDigit s : [])|otherwise[] where { 281.88/248.08 isIdChar c = isAlphaNum c || c `elem` '_' : ''' : []; 281.88/248.08 ; 281.88/248.08 isSingle c = c `elem` ',' : ';' : '(' : ')' : '[' : ']' : '{' : '}' : '_' : '`' : []; 281.88/248.08 ; 281.88/248.08 isSym c = c `elem` '!' : '@' : '#' : '$' : '%' : '&' : '*' : '+' : '.' : '/' : '<' : '=' : '>' : '?' : '\' : '^' : '|' : ':' : '-' : '~' : []; 281.88/248.08 ; 281.88/248.08 lex2 c vu59 = lex20 c vu59; 281.88/248.08 ; 281.88/248.08 lex20 c (sym,t) = (c : sym,t) : []; 281.88/248.08 lex20 c yx = []; 281.88/248.08 ; 281.88/248.08 lex3 c vu60 = lex30 c vu60; 281.88/248.08 ; 281.88/248.08 lex30 c (nam,t) = (c : nam,t) : []; 281.88/248.08 lex30 c yy = []; 281.88/248.08 ; 281.88/248.08 lex4 c ds vu61 = lex40 c ds vu61; 281.88/248.08 ; 281.88/248.08 lex40 c ds (fe,t) = (c : ds ++ fe,t) : []; 281.88/248.08 lex40 c ds yv = []; 281.88/248.08 ; 281.88/248.08 lex5 c vu62 = lex50 c vu62; 281.88/248.08 ; 281.88/248.08 lex50 c (ds,s) = concatMap (lex4 c ds) (lexFracExp s); 281.88/248.08 lex50 c yw = []; 281.88/248.08 ; 281.88/248.08 lexExp (e : s)|e `elem` 'e' : 'E' : []concatMap (lexExp1 e) (s : []) ++ concatMap (lexExp2 e) (lexDigits s); 281.88/248.08 lexExp s = ([],s) : []; 281.88/248.08 ; 281.88/248.08 lexExp0 e c vu65 = lexExp00 e c vu65; 281.88/248.08 ; 281.88/248.08 lexExp00 e c (ds,u) = (e : c : ds,u) : []; 281.88/248.08 lexExp00 e c xw = []; 281.88/248.08 ; 281.88/248.08 lexExp1 e vu66 = lexExp10 e vu66; 281.88/248.08 ; 281.88/248.08 lexExp10 e (c : t) = lexExp100 e c t (c `elem` '+' : '-' : []); 281.88/248.08 lexExp10 e xy = []; 281.88/248.08 ; 281.88/248.08 lexExp100 e c t True = concatMap (lexExp0 e c) (lexDigits t); 281.88/248.08 lexExp100 e c t False = []; 281.88/248.08 ; 281.88/248.08 lexExp2 e vu67 = lexExp20 e vu67; 281.88/248.08 ; 281.88/248.08 lexExp20 e (ds,t) = (e : ds,t) : []; 281.88/248.08 lexExp20 e xx = []; 281.88/248.08 ; 281.88/248.08 lexFracExp ('.' : c : cs)|isDigit cconcatMap lexFracExp1 (lexDigits (c : cs)); 281.88/248.08 lexFracExp s = lexExp s; 281.88/248.08 ; 281.88/248.08 lexFracExp0 ds vu63 = lexFracExp00 ds vu63; 281.88/248.08 ; 281.88/248.08 lexFracExp00 ds (e,u) = ('.' : ds ++ e,u) : []; 281.88/248.08 lexFracExp00 ds yu = []; 281.88/248.08 ; 281.88/248.08 lexFracExp1 vu64 = lexFracExp10 vu64; 281.88/248.08 ; 281.88/248.08 lexFracExp10 (ds,t) = concatMap (lexFracExp0 ds) (lexExp t); 281.88/248.08 lexFracExp10 xz = []; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lex [] = lex19 []; 281.88/248.08 lex (c : s) = lex18 (c : s); 281.88/248.08 lex (yuw : s) = lex16 (yuw : s); 281.88/248.08 lex (xzx : s) = lex14 (xzx : s); 281.88/248.08 lex (c : s) = lex12 (c : s); 281.88/248.08 " 281.88/248.08 "lex12 (c : s) = lex11 c s (isSingle c) where { 281.88/248.08 isIdChar c = isAlphaNum c || c `elem` '_' : ''' : []; 281.88/248.08 ; 281.88/248.08 isSingle c = c `elem` ',' : ';' : '(' : ')' : '[' : ']' : '{' : '}' : '_' : '`' : []; 281.88/248.08 ; 281.88/248.08 isSym c = c `elem` '!' : '@' : '#' : '$' : '%' : '&' : '*' : '+' : '.' : '/' : '<' : '=' : '>' : '?' : '\' : '^' : '|' : ':' : '-' : '~' : []; 281.88/248.08 ; 281.88/248.08 lex11 c s True = (c : [],s) : []; 281.88/248.08 lex11 c s False = lex9 c s (isSym c); 281.88/248.08 ; 281.88/248.08 lex2 c vu59 = lex20 c vu59; 281.88/248.08 ; 281.88/248.08 lex20 c (sym,t) = (c : sym,t) : []; 281.88/248.08 lex20 c yx = []; 281.88/248.08 ; 281.88/248.08 lex3 c vu60 = lex30 c vu60; 281.88/248.08 ; 281.88/248.08 lex30 c (nam,t) = (c : nam,t) : []; 281.88/248.08 lex30 c yy = []; 281.88/248.08 ; 281.88/248.08 lex4 c ds vu61 = lex40 c ds vu61; 281.88/248.08 ; 281.88/248.08 lex40 c ds (fe,t) = (c : ds ++ fe,t) : []; 281.88/248.08 lex40 c ds yv = []; 281.88/248.08 ; 281.88/248.08 lex5 c vu62 = lex50 c vu62; 281.88/248.08 ; 281.88/248.08 lex50 c (ds,s) = concatMap (lex4 c ds) (lexFracExp s); 281.88/248.08 lex50 c yw = []; 281.88/248.08 ; 281.88/248.08 lex6 c s True = []; 281.88/248.08 ; 281.88/248.08 lex7 c s True = concatMap (lex5 c) (span isDigit s : []); 281.88/248.08 lex7 c s False = lex6 c s otherwise; 281.88/248.08 ; 281.88/248.08 lex8 c s True = concatMap (lex3 c) (span isIdChar s : []); 281.88/248.08 lex8 c s False = lex7 c s (isDigit c); 281.88/248.08 ; 281.88/248.08 lex9 c s True = concatMap (lex2 c) (span isSym s : []); 281.88/248.08 lex9 c s False = lex8 c s (isAlpha c); 281.88/248.08 ; 281.88/248.08 lexExp (e : s) = lexExp5 (e : s); 281.88/248.08 lexExp s = lexExp3 s; 281.88/248.08 ; 281.88/248.08 lexExp0 e c vu65 = lexExp00 e c vu65; 281.88/248.08 ; 281.88/248.08 lexExp00 e c (ds,u) = (e : c : ds,u) : []; 281.88/248.08 lexExp00 e c xw = []; 281.88/248.08 ; 281.88/248.08 lexExp1 e vu66 = lexExp10 e vu66; 281.88/248.08 ; 281.88/248.08 lexExp10 e (c : t) = lexExp100 e c t (c `elem` '+' : '-' : []); 281.88/248.08 lexExp10 e xy = []; 281.88/248.08 ; 281.88/248.08 lexExp100 e c t True = concatMap (lexExp0 e c) (lexDigits t); 281.88/248.08 lexExp100 e c t False = []; 281.88/248.08 ; 281.88/248.08 lexExp2 e vu67 = lexExp20 e vu67; 281.88/248.08 ; 281.88/248.08 lexExp20 e (ds,t) = (e : ds,t) : []; 281.88/248.08 lexExp20 e xx = []; 281.88/248.08 ; 281.88/248.08 lexExp3 s = ([],s) : []; 281.88/248.08 ; 281.88/248.08 lexExp4 e s True = concatMap (lexExp1 e) (s : []) ++ concatMap (lexExp2 e) (lexDigits s); 281.88/248.08 lexExp4 e s False = lexExp3 (e : s); 281.88/248.08 ; 281.88/248.08 lexExp5 (e : s) = lexExp4 e s (e `elem` 'e' : 'E' : []); 281.88/248.08 lexExp5 xxy = lexExp3 xxy; 281.88/248.08 ; 281.88/248.08 lexFracExp (xyu : xyx) = lexFracExp5 (xyu : xyx); 281.88/248.08 lexFracExp s = lexFracExp2 s; 281.88/248.08 ; 281.88/248.08 lexFracExp0 ds vu63 = lexFracExp00 ds vu63; 281.88/248.08 ; 281.88/248.08 lexFracExp00 ds (e,u) = ('.' : ds ++ e,u) : []; 281.88/248.08 lexFracExp00 ds yu = []; 281.88/248.08 ; 281.88/248.08 lexFracExp1 vu64 = lexFracExp10 vu64; 281.88/248.08 ; 281.88/248.08 lexFracExp10 (ds,t) = concatMap (lexFracExp0 ds) (lexExp t); 281.88/248.08 lexFracExp10 xz = []; 281.88/248.08 ; 281.88/248.08 lexFracExp2 s = lexExp s; 281.88/248.08 ; 281.88/248.08 lexFracExp3 xyu c cs True = concatMap lexFracExp1 (lexDigits (c : cs)); 281.88/248.08 lexFracExp3 xyu c cs False = lexFracExp2 (xyu : c : cs); 281.88/248.08 ; 281.88/248.08 lexFracExp4 True (xyu : c : cs) = lexFracExp3 xyu c cs (isDigit c); 281.88/248.08 lexFracExp4 xyy xyz = lexFracExp2 xyz; 281.88/248.08 ; 281.88/248.08 lexFracExp5 (xyu : xyx) = lexFracExp4 (xyu == '.') (xyu : xyx); 281.88/248.08 lexFracExp5 xzu = lexFracExp2 xzu; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 " 281.88/248.08 "lex13 True (xzx : s) = concatMap lex1 (lexString s) where { 281.88/248.08 lex1 vu55 = lex10 vu55; 281.88/248.08 ; 281.88/248.08 lex10 (str,t) = ('"' : str,t) : []; 281.88/248.08 lex10 xv = []; 281.88/248.08 ; 281.88/248.08 lexStrItem (xvu : xvy) = lexStrItem7 (xvu : xvy); 281.88/248.08 lexStrItem (wzy : xuv) = lexStrItem4 (wzy : xuv); 281.88/248.08 lexStrItem s = lexStrItem1 s; 281.88/248.08 ; 281.88/248.08 lexStrItem0 vu58 = lexStrItem00 vu58; 281.88/248.08 ; 281.88/248.08 lexStrItem00 (xwz : t) = lexStrItem002 (xwz : t); 281.88/248.08 lexStrItem00 xu = lexStrItem000 xu; 281.88/248.08 ; 281.88/248.08 lexStrItem000 xu = []; 281.88/248.08 ; 281.88/248.08 lexStrItem001 True (xwz : t) = ([],t) : []; 281.88/248.08 lexStrItem001 xxu xxv = lexStrItem000 xxv; 281.88/248.08 ; 281.88/248.08 lexStrItem002 (xwz : t) = lexStrItem001 (xwz == '\') (xwz : t); 281.88/248.08 lexStrItem002 xxw = lexStrItem000 xxw; 281.88/248.08 ; 281.88/248.08 lexStrItem1 s = lexLitChar s; 281.88/248.08 ; 281.88/248.08 lexStrItem2 wzy c s True = concatMap lexStrItem0 (dropWhile isSpace s : []); 281.88/248.08 lexStrItem2 wzy c s False = lexStrItem1 (wzy : c : s); 281.88/248.08 ; 281.88/248.08 lexStrItem3 True (wzy : c : s) = lexStrItem2 wzy c s (isSpace c); 281.88/248.08 lexStrItem3 xuw xux = lexStrItem1 xux; 281.88/248.08 ; 281.88/248.08 lexStrItem4 (wzy : xuv) = lexStrItem3 (wzy == '\') (wzy : xuv); 281.88/248.08 lexStrItem4 xuy = lexStrItem1 xuy; 281.88/248.08 ; 281.88/248.08 lexStrItem5 True (xvu : xvw : s) = ('\' : '&' : [],s) : []; 281.88/248.08 lexStrItem5 xvz xwu = lexStrItem4 xwu; 281.88/248.08 ; 281.88/248.08 lexStrItem6 True (xvu : xvw : s) = lexStrItem5 (xvw == '&') (xvu : xvw : s); 281.88/248.08 lexStrItem6 xwv xww = lexStrItem4 xww; 281.88/248.08 ; 281.88/248.08 lexStrItem7 (xvu : xvy) = lexStrItem6 (xvu == '\') (xvu : xvy); 281.88/248.08 lexStrItem7 xwx = lexStrItem4 xwx; 281.88/248.08 ; 281.88/248.08 lexString (wyz : s) = lexString4 (wyz : s); 281.88/248.08 lexString s = lexString2 s; 281.88/248.08 ; 281.88/248.08 lexString0 ch vu56 = lexString00 ch vu56; 281.88/248.08 ; 281.88/248.08 lexString00 ch (str,u) = (ch ++ str,u) : []; 281.88/248.08 lexString00 ch wy = []; 281.88/248.08 ; 281.88/248.08 lexString1 vu57 = lexString10 vu57; 281.88/248.08 ; 281.88/248.08 lexString10 (ch,t) = concatMap (lexString0 ch) (lexString t); 281.88/248.08 lexString10 wz = []; 281.88/248.08 ; 281.88/248.08 lexString2 s = concatMap lexString1 (lexStrItem s); 281.88/248.08 ; 281.88/248.08 lexString3 True (wyz : s) = ('"' : [],s) : []; 281.88/248.08 lexString3 wzu wzv = lexString2 wzv; 281.88/248.08 ; 281.88/248.08 lexString4 (wyz : s) = lexString3 (wyz == '"') (wyz : s); 281.88/248.08 lexString4 wzw = lexString2 wzw; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 lex13 xzy xzz = lex12 xzz; 281.88/248.08 " 281.88/248.08 "lex14 (xzx : s) = lex13 (xzx == '"') (xzx : s); 281.88/248.08 lex14 yuu = lex12 yuu; 281.88/248.08 " 281.88/248.08 "lex15 True (yuw : s) = concatMap lex0 (lexLitChar s); 281.88/248.08 lex15 yux yuy = lex14 yuy; 281.88/248.08 " 281.88/248.08 "lex16 (yuw : s) = lex15 (yuw == ''') (yuw : s); 281.88/248.08 lex16 yuz = lex14 yuz; 281.88/248.08 " 281.88/248.08 "lex17 c s True = lex (dropWhile isSpace s); 281.88/248.08 lex17 c s False = lex16 (c : s); 281.88/248.08 " 281.88/248.08 "lex18 (c : s) = lex17 c s (isSpace c); 281.88/248.08 lex18 yvv = lex16 yvv; 281.88/248.08 " 281.88/248.08 "lex19 [] = ([],[]) : []; 281.88/248.08 lex19 yvx = lex18 yvx; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where { 281.88/248.08 d = gcd x y; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "reduce x y = reduce2 x y; 281.88/248.08 " 281.88/248.08 "reduce2 x y = reduce1 x y (y == 0) where { 281.88/248.08 d = gcd x y; 281.88/248.08 ; 281.88/248.08 reduce0 x y True = x `quot` d :% (y `quot` d); 281.88/248.08 ; 281.88/248.08 reduce1 x y True = error []; 281.88/248.08 reduce1 x y False = reduce0 x y otherwise; 281.88/248.08 } 281.88/248.08 ; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "signumReal x|x == 00|x > 01|otherwise-1; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "signumReal x = signumReal3 x; 281.88/248.08 " 281.88/248.08 "signumReal0 x True = -1; 281.88/248.08 " 281.88/248.08 "signumReal1 x True = 1; 281.88/248.08 signumReal1 x False = signumReal0 x otherwise; 281.88/248.08 " 281.88/248.08 "signumReal2 x True = 0; 281.88/248.08 signumReal2 x False = signumReal1 x (x > 0); 281.88/248.08 " 281.88/248.08 "signumReal3 x = signumReal2 x (x == 0); 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "undefined |Falseundefined; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "undefined = undefined1; 281.88/248.08 " 281.88/248.08 "undefined0 True = undefined; 281.88/248.08 " 281.88/248.08 "undefined1 = undefined0 False; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "readExp (e : s)|e `elem` 'e' : 'E' : []readExp' s; 281.88/248.08 readExp s = (0,s) : []; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "readExp (e : s) = readExp2 (e : s); 281.88/248.08 readExp s = readExp0 s; 281.88/248.08 " 281.88/248.08 "readExp0 s = (0,s) : []; 281.88/248.08 " 281.88/248.08 "readExp1 e s True = readExp' s; 281.88/248.08 readExp1 e s False = readExp0 (e : s); 281.88/248.08 " 281.88/248.08 "readExp2 (e : s) = readExp1 e s (e `elem` 'e' : 'E' : []); 281.88/248.08 readExp2 yvz = readExp0 yvz; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "readExp' ('-' : s) = concatMap readExp'0 (readDec s); 281.88/248.08 readExp' ('+' : s) = readDec s; 281.88/248.08 readExp' s = readDec s; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "readExp' (yxu : s) = readExp'5 (yxu : s); 281.88/248.08 readExp' (ywv : s) = readExp'3 (ywv : s); 281.88/248.08 readExp' s = readExp'1 s; 281.88/248.08 " 281.88/248.08 "readExp'1 s = readDec s; 281.88/248.08 " 281.88/248.08 "readExp'2 True (ywv : s) = readDec s; 281.88/248.08 readExp'2 yww ywx = readExp'1 ywx; 281.88/248.08 " 281.88/248.08 "readExp'3 (ywv : s) = readExp'2 (ywv == '+') (ywv : s); 281.88/248.08 readExp'3 ywy = readExp'1 ywy; 281.88/248.08 " 281.88/248.08 "readExp'4 True (yxu : s) = concatMap readExp'0 (readDec s); 281.88/248.08 readExp'4 yxv yxw = readExp'3 yxw; 281.88/248.08 " 281.88/248.08 "readExp'5 (yxu : s) = readExp'4 (yxu == '-') (yxu : s); 281.88/248.08 readExp'5 yxx = readExp'3 yxx; 281.88/248.08 " 281.88/248.08 The following Function with conditions 281.88/248.08 "lexFrac ('.' : s) = lexDigits s; 281.88/248.08 lexFrac s = ([],s) : []; 281.88/248.08 " 281.88/248.08 is transformed to 281.88/248.08 "lexFrac (yxz : s) = lexFrac2 (yxz : s); 281.88/248.08 lexFrac s = lexFrac0 s; 281.88/248.08 " 281.88/248.08 "lexFrac0 s = ([],s) : []; 281.88/248.08 " 281.88/248.08 "lexFrac1 True (yxz : s) = lexDigits s; 282.00/248.13 lexFrac1 yyu yyv = lexFrac0 yyv; 282.00/248.13 " 282.00/248.13 "lexFrac2 (yxz : s) = lexFrac1 (yxz == '.') (yxz : s); 282.00/248.13 lexFrac2 yyw = lexFrac0 yyw; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "readFloat20 ('N' : 'a' : 'N' : [],t) = (0 / 0,t) : []; 282.00/248.13 readFloat20 vuy = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "readFloat20 (yyz : zuw,t) = readFloat204 (yyz : zuw,t); 282.00/248.13 readFloat20 vuy = readFloat200 vuy; 282.00/248.13 " 282.00/248.13 "readFloat200 vuy = []; 282.00/248.13 " 282.00/248.13 "readFloat201 True (yyz : yzv : yzx : [],t) = (0 / 0,t) : []; 282.00/248.13 readFloat201 zux zuy = readFloat200 zuy; 282.00/248.13 " 282.00/248.13 "readFloat202 True (yyz : yzv : yzx : yzy,t) = readFloat201 (yzx == 'N') (yyz : yzv : yzx : yzy,t); 282.00/248.13 readFloat202 zuz zvu = readFloat200 zvu; 282.00/248.13 " 282.00/248.13 "readFloat203 True (yyz : yzv : zuu,t) = readFloat202 (yzv == 'a') (yyz : yzv : zuu,t); 282.00/248.13 readFloat203 zvv zvw = readFloat200 zvw; 282.00/248.13 " 282.00/248.13 "readFloat204 (yyz : zuw,t) = readFloat203 (yyz == 'N') (yyz : zuw,t); 282.00/248.13 readFloat204 zvx = readFloat200 zvx; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "readFloat30 ('I' : 'n' : 'f' : 'i' : 'n' : 'i' : 't' : 'y' : [],t) = (1 / 0,t) : []; 282.00/248.13 readFloat30 vvu = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "readFloat30 (zwu : vuuz,t) = readFloat309 (zwu : vuuz,t); 282.00/248.13 readFloat30 vvu = readFloat300 vvu; 282.00/248.13 " 282.00/248.13 "readFloat300 vvu = []; 282.00/248.13 " 282.00/248.13 "readFloat301 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : [],t) = (1 / 0,t) : []; 282.00/248.13 readFloat301 vuvu vuvv = readFloat300 vuvv; 282.00/248.13 " 282.00/248.13 "readFloat302 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t) = readFloat301 (zyw == 'y') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t); 282.00/248.13 readFloat302 vuvw vuvx = readFloat300 vuvx; 282.00/248.13 " 282.00/248.13 "readFloat303 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t) = readFloat302 (zyu == 't') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t); 282.00/248.13 readFloat303 vuvy vuvz = readFloat300 vuvz; 282.00/248.13 " 282.00/248.13 "readFloat304 True (zwu : zww : zwy : zxu : zxw : zxy : zzv,t) = readFloat303 (zxy == 'i') (zwu : zww : zwy : zxu : zxw : zxy : zzv,t); 282.00/248.13 readFloat304 vuwu vuwv = readFloat300 vuwv; 282.00/248.13 " 282.00/248.13 "readFloat305 True (zwu : zww : zwy : zxu : zxw : zzx,t) = readFloat304 (zxw == 'n') (zwu : zww : zwy : zxu : zxw : zzx,t); 282.00/248.13 readFloat305 vuww vuwx = readFloat300 vuwx; 282.00/248.13 " 282.00/248.13 "readFloat306 True (zwu : zww : zwy : zxu : zzz,t) = readFloat305 (zxu == 'i') (zwu : zww : zwy : zxu : zzz,t); 282.00/248.13 readFloat306 vuwy vuwz = readFloat300 vuwz; 282.00/248.13 " 282.00/248.13 "readFloat307 True (zwu : zww : zwy : vuuv,t) = readFloat306 (zwy == 'f') (zwu : zww : zwy : vuuv,t); 282.00/248.13 readFloat307 vuxu vuxv = readFloat300 vuxv; 282.00/248.13 " 282.00/248.13 "readFloat308 True (zwu : zww : vuux,t) = readFloat307 (zww == 'n') (zwu : zww : vuux,t); 282.00/248.13 readFloat308 vuxw vuxx = readFloat300 vuxx; 282.00/248.13 " 282.00/248.13 "readFloat309 (zwu : vuuz,t) = readFloat308 (zwu == 'I') (zwu : vuuz,t); 282.00/248.13 readFloat309 vuxy = readFloat300 vuxy; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "g x n|even ng (x * x) (n `quot` 2)|otherwisef x (n - 1) (x * y); 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "g x n = g2 x n; 282.00/248.13 " 282.00/248.13 "g0 x n True = f x (n - 1) (x * y); 282.00/248.13 " 282.00/248.13 "g1 x n True = g (x * x) (n `quot` 2); 282.00/248.13 g1 x n False = g0 x n otherwise; 282.00/248.13 " 282.00/248.13 "g2 x n = g1 x n (even n); 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "f vvv 0 y = y; 282.00/248.13 f x n y = g x n where { 282.00/248.13 g x n|even ng (x * x) (n `quot` 2)|otherwisef x (n - 1) (x * y); 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "f vvv vuxz y = f4 vvv vuxz y; 282.00/248.13 f x n y = f0 x n y; 282.00/248.13 " 282.00/248.13 "f0 x n y = g x n where { 282.00/248.13 g x n = g2 x n; 282.00/248.13 ; 282.00/248.13 g0 x n True = f x (n - 1) (x * y); 282.00/248.13 ; 282.00/248.13 g1 x n True = g (x * x) (n `quot` 2); 282.00/248.13 g1 x n False = g0 x n otherwise; 282.00/248.13 ; 282.00/248.13 g2 x n = g1 x n (even n); 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 "f3 True vvv vuxz y = y; 282.00/248.13 f3 vuyu vuyv vuyw vuyx = f0 vuyv vuyw vuyx; 282.00/248.13 " 282.00/248.13 "f4 vvv vuxz y = f3 (vuxz == 0) vvv vuxz y; 282.00/248.13 f4 vuyy vuyz vuzu = f0 vuyy vuyz vuzu; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "^ x 0 = 1; 282.00/248.13 ^ x n|n > 0f x (n - 1) x where { 282.00/248.13 f vvv 0 y = y; 282.00/248.13 f x n y = g x n where { 282.00/248.13 g x n|even ng (x * x) (n `quot` 2)|otherwisef x (n - 1) (x * y); 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 ^ vvw vvx = error []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "^ x vuzx = pr4 x vuzx; 282.00/248.13 ^ x n = pr2 x n; 282.00/248.13 ^ vvw vvx = pr0 vvw vvx; 282.00/248.13 " 282.00/248.13 "pr0 vvw vvx = error []; 282.00/248.13 " 282.00/248.13 "pr2 x n = pr1 x n (n > 0) where { 282.00/248.13 f vvv vuxz y = f4 vvv vuxz y; 282.00/248.13 f x n y = f0 x n y; 282.00/248.13 ; 282.00/248.13 f0 x n y = g x n where { 282.00/248.13 g x n = g2 x n; 282.00/248.13 ; 282.00/248.13 g0 x n True = f x (n - 1) (x * y); 282.00/248.13 ; 282.00/248.13 g1 x n True = g (x * x) (n `quot` 2); 282.00/248.13 g1 x n False = g0 x n otherwise; 282.00/248.13 ; 282.00/248.13 g2 x n = g1 x n (even n); 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 ; 282.00/248.13 f3 True vvv vuxz y = y; 282.00/248.13 f3 vuyu vuyv vuyw vuyx = f0 vuyv vuyw vuyx; 282.00/248.13 ; 282.00/248.13 f4 vvv vuxz y = f3 (vuxz == 0) vvv vuxz y; 282.00/248.13 f4 vuyy vuyz vuzu = f0 vuyy vuyz vuzu; 282.00/248.13 ; 282.00/248.13 pr1 x n True = f x (n - 1) x; 282.00/248.13 pr1 x n False = pr0 x n; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 pr2 vuzv vuzw = pr0 vuzv vuzw; 282.00/248.13 " 282.00/248.13 "pr3 True x vuzx = 1; 282.00/248.13 pr3 vuzy vuzz vvuu = pr2 vuzz vvuu; 282.00/248.13 " 282.00/248.13 "pr4 x vuzx = pr3 (vuzx == 0) x vuzx; 282.00/248.13 pr4 vvuv vvuw = pr2 vvuv vvuw; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "dropWhile p [] = []; 282.00/248.13 dropWhile p (vvy : vvz)|p vvydropWhile p vvz|otherwisevvy : vvz; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "dropWhile p [] = dropWhile3 p []; 282.00/248.13 dropWhile p (vvy : vvz) = dropWhile2 p (vvy : vvz); 282.00/248.13 " 282.00/248.13 "dropWhile0 p vvy vvz True = vvy : vvz; 282.00/248.13 " 282.00/248.13 "dropWhile1 p vvy vvz True = dropWhile p vvz; 282.00/248.13 dropWhile1 p vvy vvz False = dropWhile0 p vvy vvz otherwise; 282.00/248.13 " 282.00/248.13 "dropWhile2 p (vvy : vvz) = dropWhile1 p vvy vvz (p vvy); 282.00/248.13 " 282.00/248.13 "dropWhile3 p [] = []; 282.00/248.13 dropWhile3 vvuz vvvu = dropWhile2 vvuz vvvu; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "lex00 (ch,''' : t) = lex000 ch t (ch /= ''' : []); 282.00/248.13 lex00 vwv = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "lex00 (ch,vvvx : t) = lex003 (ch,vvvx : t); 282.00/248.13 lex00 vwv = lex001 vwv; 282.00/248.13 " 282.00/248.13 "lex001 vwv = []; 282.00/248.13 " 282.00/248.13 "lex002 True (ch,vvvx : t) = lex000 ch t (ch /= ''' : []); 282.00/248.13 lex002 vvvy vvvz = lex001 vvvz; 282.00/248.13 " 282.00/248.13 "lex003 (ch,vvvx : t) = lex002 (vvvx == ''') (ch,vvvx : t); 282.00/248.13 lex003 vvwu = lex001 vvwu; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "span p [] = ([],[]); 282.00/248.13 span p (vww : vwx)|p vww(vww : ys,zs)|otherwise([],vww : vwx) where { 282.00/248.13 vu43 = span p vwx; 282.00/248.13 ; 282.00/248.13 ys = ys0 vu43; 282.00/248.13 ; 282.00/248.13 ys0 (ys,vwz) = ys; 282.00/248.13 ; 282.00/248.13 zs = zs0 vu43; 282.00/248.13 ; 282.00/248.13 zs0 (vwy,zs) = zs; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "span p [] = span3 p []; 282.00/248.13 span p (vww : vwx) = span2 p (vww : vwx); 282.00/248.13 " 282.00/248.13 "span2 p (vww : vwx) = span1 p vww vwx (p vww) where { 282.00/248.13 span0 p vww vwx True = ([],vww : vwx); 282.00/248.13 ; 282.00/248.13 span1 p vww vwx True = (vww : ys,zs); 282.00/248.13 span1 p vww vwx False = span0 p vww vwx otherwise; 282.00/248.13 ; 282.00/248.13 vu43 = span p vwx; 282.00/248.13 ; 282.00/248.13 ys = ys0 vu43; 282.00/248.13 ; 282.00/248.13 ys0 (ys,vwz) = ys; 282.00/248.13 ; 282.00/248.13 zs = zs0 vu43; 282.00/248.13 ; 282.00/248.13 zs0 (vwy,zs) = zs; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 "span3 p [] = ([],[]); 282.00/248.13 span3 vvwx vvwy = span2 vvwx vvwy; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "lexmatch (x : xs) (y : ys)|x == ylexmatch xs ys; 282.00/248.13 lexmatch xs ys = (xs,ys); 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "lexmatch (x : xs) (y : ys) = lexmatch2 (x : xs) (y : ys); 282.00/248.13 lexmatch xs ys = lexmatch0 xs ys; 282.00/248.13 " 282.00/248.13 "lexmatch0 xs ys = (xs,ys); 282.00/248.13 " 282.00/248.13 "lexmatch1 x xs y ys True = lexmatch xs ys; 282.00/248.13 lexmatch1 x xs y ys False = lexmatch0 (x : xs) (y : ys); 282.00/248.13 " 282.00/248.13 "lexmatch2 (x : xs) (y : ys) = lexmatch1 x xs y ys (x == y); 282.00/248.13 lexmatch2 vvxv vvxw = lexmatch0 vvxv vvxw; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "absReal x|x >= 0x|otherwise`negate` x; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "absReal x = absReal2 x; 282.00/248.13 " 282.00/248.13 "absReal0 x True = `negate` x; 282.00/248.13 " 282.00/248.13 "absReal1 x True = x; 282.00/248.13 absReal1 x False = absReal0 x otherwise; 282.00/248.13 " 282.00/248.13 "absReal2 x = absReal1 x (x >= 0); 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "mandatory20 ('(' : [],s) = concatMap mandatory1 (optional s); 282.00/248.13 mandatory20 vzu = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "mandatory20 (vvxz : vvyu,s) = mandatory202 (vvxz : vvyu,s); 282.00/248.13 mandatory20 vzu = mandatory200 vzu; 282.00/248.13 " 282.00/248.13 "mandatory200 vzu = []; 282.00/248.13 " 282.00/248.13 "mandatory201 True (vvxz : [],s) = concatMap mandatory1 (optional s); 282.00/248.13 mandatory201 vvyv vvyw = mandatory200 vvyw; 282.00/248.13 " 282.00/248.13 "mandatory202 (vvxz : vvyu,s) = mandatory201 (vvxz == '(') (vvxz : vvyu,s); 282.00/248.13 mandatory202 vvyx = mandatory200 vvyx; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "mandatory00 x (')' : [],u) = (x,u) : []; 282.00/248.13 mandatory00 x vzv = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "mandatory00 x (vvzu : vvzv,u) = mandatory002 x (vvzu : vvzv,u); 282.00/248.13 mandatory00 x vzv = mandatory000 x vzv; 282.00/248.13 " 282.00/248.13 "mandatory000 x vzv = []; 282.00/248.13 " 282.00/248.13 "mandatory001 True x (vvzu : [],u) = (x,u) : []; 282.00/248.13 mandatory001 vvzw vvzx vvzy = mandatory000 vvzx vvzy; 282.00/248.13 " 282.00/248.13 "mandatory002 x (vvzu : vvzv,u) = mandatory001 (vvzu == ')') x (vvzu : vvzv,u); 282.00/248.13 mandatory002 vvzz vwuu = mandatory000 vvzz vwuu; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "read'10 ('-' : [],s) = concatMap read'0 (read'' s); 282.00/248.13 read'10 vzz = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "read'10 (vwux : vwuy,s) = read'102 (vwux : vwuy,s); 282.00/248.13 read'10 vzz = read'100 vzz; 282.00/248.13 " 282.00/248.13 "read'100 vzz = []; 282.00/248.13 " 282.00/248.13 "read'101 True (vwux : [],s) = concatMap read'0 (read'' s); 282.00/248.13 read'101 vwuz vwvu = read'100 vwvu; 282.00/248.13 " 282.00/248.13 "read'102 (vwux : vwuy,s) = read'101 (vwux == '-') (vwux : vwuy,s); 282.00/248.13 read'102 vwvv = read'100 vwvv; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "lexEsc (c : s)|c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : [](c : [],s) : []; 282.00/248.13 lexEsc ('^' : c : s)|c >= '@' && c <= '_'('^' : c : [],s) : []; 282.00/248.13 lexEsc ('o' : s) = prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexEsc ('x' : s) = prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexEsc (wuw : wux)|isDigit wuwspan isDigit (wuw : wux) : []|isUpper wuwlexEsc2 (concatMap (lexEsc1 (wuw : wux)) table); 282.00/248.13 lexEsc wuy = []; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "lexEsc (c : s) = lexEsc16 (c : s); 282.00/248.13 lexEsc (vwxx : vwyu) = lexEsc14 (vwxx : vwyu); 282.00/248.13 lexEsc (vwwy : s) = lexEsc11 (vwwy : s); 282.00/248.13 lexEsc (vwvz : s) = lexEsc8 (vwvz : s); 282.00/248.13 lexEsc (wuw : wux) = lexEsc6 (wuw : wux); 282.00/248.13 lexEsc wuy = lexEsc3 wuy; 282.00/248.13 " 282.00/248.13 "lexEsc3 wuy = []; 282.00/248.13 " 282.00/248.13 "lexEsc5 wuw wux True = span isDigit (wuw : wux) : []; 282.00/248.13 lexEsc5 wuw wux False = lexEsc4 wuw wux (isUpper wuw); 282.00/248.13 " 282.00/248.13 "lexEsc4 wuw wux True = lexEsc2 (concatMap (lexEsc1 (wuw : wux)) table); 282.00/248.13 lexEsc4 wuw wux False = lexEsc3 (wuw : wux); 282.00/248.13 " 282.00/248.13 "lexEsc6 (wuw : wux) = lexEsc5 wuw wux (isDigit wuw); 282.00/248.13 lexEsc6 vwvx = lexEsc3 vwvx; 282.00/248.13 " 282.00/248.13 "lexEsc7 True (vwvz : s) = prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexEsc7 vwwu vwwv = lexEsc6 vwwv; 282.00/248.13 " 282.00/248.13 "lexEsc8 (vwvz : s) = lexEsc7 (vwvz == 'x') (vwvz : s); 282.00/248.13 lexEsc8 vwww = lexEsc6 vwww; 282.00/248.13 " 282.00/248.13 "lexEsc9 True (vwwy : s) = prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexEsc9 vwwz vwxu = lexEsc8 vwxu; 282.00/248.13 " 282.00/248.13 "lexEsc11 (vwwy : s) = lexEsc9 (vwwy == 'o') (vwwy : s); 282.00/248.13 lexEsc11 vwxv = lexEsc8 vwxv; 282.00/248.13 " 282.00/248.13 "lexEsc12 vwxx c s True = ('^' : c : [],s) : []; 282.00/248.13 lexEsc12 vwxx c s False = lexEsc11 (vwxx : c : s); 282.00/248.13 " 282.00/248.13 "lexEsc13 True (vwxx : c : s) = lexEsc12 vwxx c s (c >= '@' && c <= '_'); 282.00/248.13 lexEsc13 vwyv vwyw = lexEsc11 vwyw; 282.00/248.13 " 282.00/248.13 "lexEsc14 (vwxx : vwyu) = lexEsc13 (vwxx == '^') (vwxx : vwyu); 282.00/248.13 lexEsc14 vwyx = lexEsc11 vwyx; 282.00/248.13 " 282.00/248.13 "lexEsc15 c s True = (c : [],s) : []; 282.00/248.13 lexEsc15 c s False = lexEsc14 (c : s); 282.00/248.13 " 282.00/248.13 "lexEsc16 (c : s) = lexEsc15 c s (c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : []); 282.00/248.13 lexEsc16 vwyz = lexEsc14 vwyz; 282.00/248.13 " 282.00/248.13 The following Function with conditions 282.00/248.13 "lexLitChar [] = []; 282.00/248.13 lexLitChar (c : s)|c /= '\'(c : [],s) : []|otherwisemap (prefix '\') (lexEsc s) where { 282.00/248.13 lexEsc (c : s)|c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : [](c : [],s) : []; 282.00/248.13 lexEsc ('^' : c : s)|c >= '@' && c <= '_'('^' : c : [],s) : []; 282.00/248.13 lexEsc ('o' : s) = prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexEsc ('x' : s) = prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexEsc (wuw : wux)|isDigit wuwspan isDigit (wuw : wux) : []|isUpper wuwlexEsc2 (concatMap (lexEsc1 (wuw : wux)) table); 282.00/248.13 lexEsc wuy = []; 282.00/248.13 ; 282.00/248.13 lexEsc0 mne vu69 = lexEsc00 mne vu69; 282.00/248.13 ; 282.00/248.13 lexEsc00 mne ([],s') = (mne,s') : []; 282.00/248.13 lexEsc00 mne wvu = []; 282.00/248.13 ; 282.00/248.13 lexEsc1 s vu70 = lexEsc10 s vu70; 282.00/248.13 ; 282.00/248.13 lexEsc10 s (c,mne) = concatMap (lexEsc0 mne) (lexmatch mne s : []); 282.00/248.13 lexEsc10 s wvv = []; 282.00/248.13 ; 282.00/248.13 lexEsc2 (pr : wuz) = pr : []; 282.00/248.13 lexEsc2 [] = []; 282.00/248.13 ; 282.00/248.13 prefix c (t,s) = (c : t,s); 282.00/248.13 ; 282.00/248.13 table = ('\127','D' : 'E' : 'L' : []) : asciiTab; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 is transformed to 282.00/248.13 "lexLitChar [] = lexLitChar3 []; 282.00/248.13 lexLitChar (c : s) = lexLitChar2 (c : s); 282.00/248.13 " 282.00/248.13 "lexLitChar2 (c : s) = lexLitChar1 c s (c /= '\') where { 282.00/248.13 lexEsc (c : s) = lexEsc16 (c : s); 282.00/248.13 lexEsc (vwxx : vwyu) = lexEsc14 (vwxx : vwyu); 282.00/248.13 lexEsc (vwwy : s) = lexEsc11 (vwwy : s); 282.00/248.13 lexEsc (vwvz : s) = lexEsc8 (vwvz : s); 282.00/248.13 lexEsc (wuw : wux) = lexEsc6 (wuw : wux); 282.00/248.13 lexEsc wuy = lexEsc3 wuy; 282.00/248.13 ; 282.00/248.13 lexEsc0 mne vu69 = lexEsc00 mne vu69; 282.00/248.13 ; 282.00/248.13 lexEsc00 mne ([],s') = (mne,s') : []; 282.00/248.13 lexEsc00 mne wvu = []; 282.00/248.13 ; 282.00/248.13 lexEsc1 s vu70 = lexEsc10 s vu70; 282.00/248.13 ; 282.00/248.13 lexEsc10 s (c,mne) = concatMap (lexEsc0 mne) (lexmatch mne s : []); 282.00/248.13 lexEsc10 s wvv = []; 282.00/248.13 ; 282.00/248.13 lexEsc11 (vwwy : s) = lexEsc9 (vwwy == 'o') (vwwy : s); 282.00/248.13 lexEsc11 vwxv = lexEsc8 vwxv; 282.00/248.13 ; 282.00/248.13 lexEsc12 vwxx c s True = ('^' : c : [],s) : []; 282.00/248.13 lexEsc12 vwxx c s False = lexEsc11 (vwxx : c : s); 282.00/248.13 ; 282.00/248.13 lexEsc13 True (vwxx : c : s) = lexEsc12 vwxx c s (c >= '@' && c <= '_'); 282.00/248.13 lexEsc13 vwyv vwyw = lexEsc11 vwyw; 282.00/248.13 ; 282.00/248.13 lexEsc14 (vwxx : vwyu) = lexEsc13 (vwxx == '^') (vwxx : vwyu); 282.00/248.13 lexEsc14 vwyx = lexEsc11 vwyx; 282.00/248.13 ; 282.00/248.13 lexEsc15 c s True = (c : [],s) : []; 282.00/248.13 lexEsc15 c s False = lexEsc14 (c : s); 282.00/248.13 ; 282.00/248.13 lexEsc16 (c : s) = lexEsc15 c s (c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : []); 282.00/248.13 lexEsc16 vwyz = lexEsc14 vwyz; 282.00/248.13 ; 282.00/248.13 lexEsc2 (pr : wuz) = pr : []; 282.00/248.13 lexEsc2 [] = []; 282.00/248.13 ; 282.00/248.13 lexEsc3 wuy = []; 282.00/248.13 ; 282.00/248.13 lexEsc4 wuw wux True = lexEsc2 (concatMap (lexEsc1 (wuw : wux)) table); 282.00/248.13 lexEsc4 wuw wux False = lexEsc3 (wuw : wux); 282.00/248.13 ; 282.00/248.13 lexEsc5 wuw wux True = span isDigit (wuw : wux) : []; 282.00/248.13 lexEsc5 wuw wux False = lexEsc4 wuw wux (isUpper wuw); 282.00/248.13 ; 282.00/248.13 lexEsc6 (wuw : wux) = lexEsc5 wuw wux (isDigit wuw); 282.00/248.13 lexEsc6 vwvx = lexEsc3 vwvx; 282.00/248.13 ; 282.00/248.13 lexEsc7 True (vwvz : s) = prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexEsc7 vwwu vwwv = lexEsc6 vwwv; 282.00/248.13 ; 282.00/248.13 lexEsc8 (vwvz : s) = lexEsc7 (vwvz == 'x') (vwvz : s); 282.00/248.13 lexEsc8 vwww = lexEsc6 vwww; 282.00/248.13 ; 282.00/248.13 lexEsc9 True (vwwy : s) = prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexEsc9 vwwz vwxu = lexEsc8 vwxu; 282.00/248.13 ; 282.00/248.13 lexLitChar0 c s True = map (prefix '\') (lexEsc s); 282.00/248.13 ; 282.00/248.13 lexLitChar1 c s True = (c : [],s) : []; 282.00/248.13 lexLitChar1 c s False = lexLitChar0 c s otherwise; 282.00/248.13 ; 282.00/248.13 prefix c (t,s) = (c : t,s); 282.00/248.13 ; 282.00/248.13 table = ('\127','D' : 'E' : 'L' : []) : asciiTab; 282.00/248.13 } 282.00/248.13 ; 282.00/248.13 " 282.00/248.13 "lexLitChar3 [] = []; 282.00/248.13 lexLitChar3 vwzw = lexLitChar2 vwzw; 282.00/248.13 " 282.00/248.13 282.00/248.13 ---------------------------------------- 282.00/248.13 282.00/248.13 (10) 282.00/248.13 Obligation: 282.00/248.13 mainModule Main 282.00/248.13 module Main where { 282.00/248.13 import qualified Prelude; 282.00/248.13 } 282.00/248.13 282.00/248.13 ---------------------------------------- 282.00/248.13 282.00/248.13 (11) LetRed (EQUIVALENT) 282.00/248.13 Let/Where Reductions: 282.00/248.13 The bindings of the following Let/Where expression 282.00/248.13 "gcd' (abs x) (abs y) where { 282.00/248.13 gcd' x wwu = gcd'2 x wwu; 282.00/248.13 gcd' x y = gcd'0 x y; 282.00/248.13 ; 282.00/248.13 gcd'0 x y = gcd' y (x `rem` y); 282.00/248.13 ; 282.00/248.13 gcd'1 True x wwu = x; 282.00/248.13 gcd'1 wwv www wwx = gcd'0 www wwx; 282.00/248.13 ; 282.00/248.13 gcd'2 x wwu = gcd'1 (wwu == 0) x wwu; 282.00/248.13 gcd'2 wwy wwz = gcd'0 wwy wwz; 282.00/248.13 } 282.00/248.13 " 282.00/248.13 are unpacked to the following functions on top level 282.00/248.13 "gcd0Gcd'1 True x wwu = x; 282.00/248.13 gcd0Gcd'1 wwv www wwx = gcd0Gcd'0 www wwx; 282.00/248.13 " 282.00/248.13 "gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y); 282.00/248.13 " 282.00/248.13 "gcd0Gcd'2 x wwu = gcd0Gcd'1 (wwu == 0) x wwu; 282.00/248.13 gcd0Gcd'2 wwy wwz = gcd0Gcd'0 wwy wwz; 282.00/248.13 " 282.00/248.13 "gcd0Gcd' x wwu = gcd0Gcd'2 x wwu; 282.00/248.13 gcd0Gcd' x y = gcd0Gcd'0 x y; 282.00/248.13 " 282.00/248.13 The bindings of the following Let/Where expression 282.00/248.13 "reduce1 x y (y == 0) where { 282.00/248.13 d = gcd x y; 282.00/248.13 ; 282.00/248.13 reduce0 x y True = x `quot` d :% (y `quot` d); 282.00/248.13 ; 282.00/248.13 reduce1 x y True = error []; 282.00/248.13 reduce1 x y False = reduce0 x y otherwise; 282.00/248.13 } 282.00/248.13 " 282.00/248.13 are unpacked to the following functions on top level 282.00/248.13 "reduce2Reduce1 vwzx vwzy x y True = error []; 282.00/248.13 reduce2Reduce1 vwzx vwzy x y False = reduce2Reduce0 vwzx vwzy x y otherwise; 282.00/248.13 " 282.00/248.13 "reduce2Reduce0 vwzx vwzy x y True = x `quot` reduce2D vwzx vwzy :% (y `quot` reduce2D vwzx vwzy); 282.00/248.13 " 282.00/248.13 "reduce2D vwzx vwzy = gcd vwzx vwzy; 282.00/248.13 " 282.00/248.13 The bindings of the following Let/Where expression 282.00/248.13 "lexLitChar1 c s (c /= '\') where { 282.00/248.13 lexEsc (c : s) = lexEsc16 (c : s); 282.00/248.13 lexEsc (vwxx : vwyu) = lexEsc14 (vwxx : vwyu); 282.00/248.13 lexEsc (vwwy : s) = lexEsc11 (vwwy : s); 282.00/248.13 lexEsc (vwvz : s) = lexEsc8 (vwvz : s); 282.00/248.13 lexEsc (wuw : wux) = lexEsc6 (wuw : wux); 282.00/248.13 lexEsc wuy = lexEsc3 wuy; 282.00/248.13 ; 282.00/248.13 lexEsc0 mne vu69 = lexEsc00 mne vu69; 282.00/248.13 ; 282.00/248.13 lexEsc00 mne ([],s') = (mne,s') : []; 282.00/248.13 lexEsc00 mne wvu = []; 282.00/248.13 ; 282.00/248.13 lexEsc1 s vu70 = lexEsc10 s vu70; 282.00/248.13 ; 282.00/248.13 lexEsc10 s (c,mne) = concatMap (lexEsc0 mne) (lexmatch mne s : []); 282.00/248.13 lexEsc10 s wvv = []; 282.00/248.13 ; 282.00/248.13 lexEsc11 (vwwy : s) = lexEsc9 (vwwy == 'o') (vwwy : s); 282.00/248.13 lexEsc11 vwxv = lexEsc8 vwxv; 282.00/248.13 ; 282.00/248.13 lexEsc12 vwxx c s True = ('^' : c : [],s) : []; 282.00/248.13 lexEsc12 vwxx c s False = lexEsc11 (vwxx : c : s); 282.00/248.13 ; 282.00/248.13 lexEsc13 True (vwxx : c : s) = lexEsc12 vwxx c s (c >= '@' && c <= '_'); 282.00/248.13 lexEsc13 vwyv vwyw = lexEsc11 vwyw; 282.00/248.13 ; 282.00/248.13 lexEsc14 (vwxx : vwyu) = lexEsc13 (vwxx == '^') (vwxx : vwyu); 282.00/248.13 lexEsc14 vwyx = lexEsc11 vwyx; 282.00/248.13 ; 282.00/248.13 lexEsc15 c s True = (c : [],s) : []; 282.00/248.13 lexEsc15 c s False = lexEsc14 (c : s); 282.00/248.13 ; 282.00/248.13 lexEsc16 (c : s) = lexEsc15 c s (c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : []); 282.00/248.13 lexEsc16 vwyz = lexEsc14 vwyz; 282.00/248.13 ; 282.00/248.13 lexEsc2 (pr : wuz) = pr : []; 282.00/248.13 lexEsc2 [] = []; 282.00/248.13 ; 282.00/248.13 lexEsc3 wuy = []; 282.00/248.13 ; 282.00/248.13 lexEsc4 wuw wux True = lexEsc2 (concatMap (lexEsc1 (wuw : wux)) table); 282.00/248.13 lexEsc4 wuw wux False = lexEsc3 (wuw : wux); 282.00/248.13 ; 282.00/248.13 lexEsc5 wuw wux True = span isDigit (wuw : wux) : []; 282.00/248.13 lexEsc5 wuw wux False = lexEsc4 wuw wux (isUpper wuw); 282.00/248.13 ; 282.00/248.13 lexEsc6 (wuw : wux) = lexEsc5 wuw wux (isDigit wuw); 282.00/248.13 lexEsc6 vwvx = lexEsc3 vwvx; 282.00/248.13 ; 282.00/248.13 lexEsc7 True (vwvz : s) = prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexEsc7 vwwu vwwv = lexEsc6 vwwv; 282.00/248.13 ; 282.00/248.13 lexEsc8 (vwvz : s) = lexEsc7 (vwvz == 'x') (vwvz : s); 282.00/248.13 lexEsc8 vwww = lexEsc6 vwww; 282.00/248.13 ; 282.00/248.13 lexEsc9 True (vwwy : s) = prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexEsc9 vwwz vwxu = lexEsc8 vwxu; 282.00/248.13 ; 282.00/248.13 lexLitChar0 c s True = map (prefix '\') (lexEsc s); 282.00/248.13 ; 282.00/248.13 lexLitChar1 c s True = (c : [],s) : []; 282.00/248.13 lexLitChar1 c s False = lexLitChar0 c s otherwise; 282.00/248.13 ; 282.00/248.13 prefix c (t,s) = (c : t,s); 282.00/248.13 ; 282.00/248.13 table = ('\127','D' : 'E' : 'L' : []) : asciiTab; 282.00/248.13 } 282.00/248.13 " 282.00/248.13 are unpacked to the following functions on top level 282.00/248.13 "lexLitChar2LexEsc14 (vwxx : vwyu) = lexLitChar2LexEsc13 (vwxx == '^') (vwxx : vwyu); 282.00/248.13 lexLitChar2LexEsc14 vwyx = lexLitChar2LexEsc11 vwyx; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc6 (wuw : wux) = lexLitChar2LexEsc5 wuw wux (isDigit wuw); 282.00/248.13 lexLitChar2LexEsc6 vwvx = lexLitChar2LexEsc3 vwvx; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc2 (pr : wuz) = pr : []; 282.00/248.13 lexLitChar2LexEsc2 [] = []; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc3 wuy = []; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc0 mne vu69 = lexLitChar2LexEsc00 mne vu69; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc4 wuw wux True = lexLitChar2LexEsc2 (concatMap (lexLitChar2LexEsc1 (wuw : wux)) lexLitChar2Table); 282.00/248.13 lexLitChar2LexEsc4 wuw wux False = lexLitChar2LexEsc3 (wuw : wux); 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc10 s (c,mne) = concatMap (lexLitChar2LexEsc0 mne) (lexmatch mne s : []); 282.00/248.13 lexLitChar2LexEsc10 s wvv = []; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc12 vwxx c s True = ('^' : c : [],s) : []; 282.00/248.13 lexLitChar2LexEsc12 vwxx c s False = lexLitChar2LexEsc11 (vwxx : c : s); 282.00/248.13 " 282.00/248.13 "lexLitChar2Prefix c (t,s) = (c : t,s); 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc9 True (vwwy : s) = lexLitChar2Prefix 'o' (span isOctDigit s) : []; 282.00/248.13 lexLitChar2LexEsc9 vwwz vwxu = lexLitChar2LexEsc8 vwxu; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc1 s vu70 = lexLitChar2LexEsc10 s vu70; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc11 (vwwy : s) = lexLitChar2LexEsc9 (vwwy == 'o') (vwwy : s); 282.00/248.13 lexLitChar2LexEsc11 vwxv = lexLitChar2LexEsc8 vwxv; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc5 wuw wux True = span isDigit (wuw : wux) : []; 282.00/248.13 lexLitChar2LexEsc5 wuw wux False = lexLitChar2LexEsc4 wuw wux (isUpper wuw); 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc13 True (vwxx : c : s) = lexLitChar2LexEsc12 vwxx c s (c >= '@' && c <= '_'); 282.00/248.13 lexLitChar2LexEsc13 vwyv vwyw = lexLitChar2LexEsc11 vwyw; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc7 True (vwvz : s) = lexLitChar2Prefix 'x' (span isHexDigit s) : []; 282.00/248.13 lexLitChar2LexEsc7 vwwu vwwv = lexLitChar2LexEsc6 vwwv; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc16 (c : s) = lexLitChar2LexEsc15 c s (c `elem` 'a' : 'b' : 'f' : 'n' : 'r' : 't' : 'v' : '\' : '"' : ''' : []); 282.00/248.13 lexLitChar2LexEsc16 vwyz = lexLitChar2LexEsc14 vwyz; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc00 mne ([],s') = (mne,s') : []; 282.00/248.13 lexLitChar2LexEsc00 mne wvu = []; 282.00/248.13 " 282.00/248.13 "lexLitChar2Table = ('\127','D' : 'E' : 'L' : []) : asciiTab; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc8 (vwvz : s) = lexLitChar2LexEsc7 (vwvz == 'x') (vwvz : s); 282.00/248.13 lexLitChar2LexEsc8 vwww = lexLitChar2LexEsc6 vwww; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc15 c s True = (c : [],s) : []; 282.00/248.13 lexLitChar2LexEsc15 c s False = lexLitChar2LexEsc14 (c : s); 282.00/248.13 " 282.00/248.13 "lexLitChar2LexLitChar1 c s True = (c : [],s) : []; 282.00/248.13 lexLitChar2LexLitChar1 c s False = lexLitChar2LexLitChar0 c s otherwise; 282.00/248.13 " 282.00/248.13 "lexLitChar2LexLitChar0 c s True = map (lexLitChar2Prefix '\') (lexLitChar2LexEsc s); 282.00/248.13 " 282.00/248.13 "lexLitChar2LexEsc (c : s) = lexLitChar2LexEsc16 (c : s); 282.00/248.13 lexLitChar2LexEsc (vwxx : vwyu) = lexLitChar2LexEsc14 (vwxx : vwyu); 282.00/248.13 lexLitChar2LexEsc (vwwy : s) = lexLitChar2LexEsc11 (vwwy : s); 282.00/248.13 lexLitChar2LexEsc (vwvz : s) = lexLitChar2LexEsc8 (vwvz : s); 282.00/248.13 lexLitChar2LexEsc (wuw : wux) = lexLitChar2LexEsc6 (wuw : wux); 282.00/248.13 lexLitChar2LexEsc wuy = lexLitChar2LexEsc3 wuy; 282.00/248.13 " 282.00/248.13 The bindings of the following Let/Where expression 282.00/248.13 "concatMap readFloat1 (readFix r) ++ concatMap readFloat2 (lex r) ++ concatMap readFloat3 (lex r) where { 282.00/248.13 lexFrac (yxz : s) = lexFrac2 (yxz : s); 282.00/248.13 lexFrac s = lexFrac0 s; 282.00/248.13 ; 282.00/248.13 lexFrac0 s = ([],s) : []; 282.00/248.13 ; 282.00/248.13 lexFrac1 True (yxz : s) = lexDigits s; 282.00/248.13 lexFrac1 yyu yyv = lexFrac0 yyv; 282.00/248.13 ; 282.00/248.13 lexFrac2 (yxz : s) = lexFrac1 (yxz == '.') (yxz : s); 282.00/248.13 lexFrac2 yyw = lexFrac0 yyw; 282.00/248.13 ; 282.00/248.13 readExp (e : s) = readExp2 (e : s); 282.00/248.13 readExp s = readExp0 s; 282.00/248.13 ; 282.00/248.13 readExp' (yxu : s) = readExp'5 (yxu : s); 282.00/248.13 readExp' (ywv : s) = readExp'3 (ywv : s); 282.00/248.13 readExp' s = readExp'1 s; 282.00/248.13 ; 282.00/248.13 readExp'0 vu88 = readExp'00 vu88; 282.00/248.13 ; 282.00/248.13 readExp'00 (k,t) = (`negate` k,t) : []; 282.00/248.13 readExp'00 vuu = []; 282.00/248.13 ; 282.00/248.13 readExp'1 s = readDec s; 282.00/248.13 ; 282.00/248.13 readExp'2 True (ywv : s) = readDec s; 282.00/248.13 readExp'2 yww ywx = readExp'1 ywx; 282.00/248.13 ; 282.00/248.13 readExp'3 (ywv : s) = readExp'2 (ywv == '+') (ywv : s); 282.00/248.13 readExp'3 ywy = readExp'1 ywy; 282.00/248.13 ; 282.00/248.13 readExp'4 True (yxu : s) = concatMap readExp'0 (readDec s); 282.00/248.13 readExp'4 yxv yxw = readExp'3 yxw; 282.00/248.13 ; 282.00/248.13 readExp'5 (yxu : s) = readExp'4 (yxu == '-') (yxu : s); 282.00/248.13 readExp'5 yxx = readExp'3 yxx; 282.00/248.13 ; 282.00/248.13 readExp0 s = (0,s) : []; 282.00/248.13 ; 282.00/248.13 readExp1 e s True = readExp' s; 282.00/248.13 readExp1 e s False = readExp0 (e : s); 282.00/248.13 ; 282.00/248.13 readExp2 (e : s) = readExp1 e s (e `elem` 'e' : 'E' : []); 282.00/248.13 readExp2 yvz = readExp0 yvz; 282.00/248.13 ; 282.00/248.13 readFix r = concatMap readFix1 (lexDigits r); 282.00/248.13 ; 282.00/248.13 readFix0 ds vu86 = readFix00 ds vu86; 282.00/248.13 ; 282.00/248.13 readFix00 ds (ds',t) = (read (ds ++ ds'),length ds',t) : []; 282.00/248.13 readFix00 ds vuv = []; 282.00/248.13 ; 282.00/248.13 readFix1 vu87 = readFix10 vu87; 282.00/248.13 ; 282.00/248.13 readFix10 (ds,d) = concatMap (readFix0 ds) (lexFrac d); 282.00/248.13 readFix10 vuw = []; 282.00/248.13 ; 282.00/248.13 readFloat0 n d vu82 = readFloat00 n d vu82; 282.00/248.13 ; 282.00/248.13 readFloat00 n d (k,t) = (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 282.00/248.13 readFloat00 n d vux = []; 282.00/248.13 ; 282.00/248.13 readFloat1 vu83 = readFloat10 vu83; 282.00/248.13 ; 282.00/248.13 readFloat10 (n,d,s) = concatMap (readFloat0 n d) (readExp s); 282.00/248.13 readFloat10 vuz = []; 282.00/248.13 ; 282.00/248.13 readFloat2 vu84 = readFloat20 vu84; 282.00/248.13 ; 282.00/248.13 readFloat20 (yyz : zuw,t) = readFloat204 (yyz : zuw,t); 282.10/248.13 readFloat20 vuy = readFloat200 vuy; 282.10/248.13 ; 282.10/248.13 readFloat200 vuy = []; 282.10/248.13 ; 282.10/248.13 readFloat201 True (yyz : yzv : yzx : [],t) = (0 / 0,t) : []; 282.10/248.13 readFloat201 zux zuy = readFloat200 zuy; 282.10/248.13 ; 282.10/248.13 readFloat202 True (yyz : yzv : yzx : yzy,t) = readFloat201 (yzx == 'N') (yyz : yzv : yzx : yzy,t); 282.10/248.13 readFloat202 zuz zvu = readFloat200 zvu; 282.10/248.13 ; 282.10/248.13 readFloat203 True (yyz : yzv : zuu,t) = readFloat202 (yzv == 'a') (yyz : yzv : zuu,t); 282.10/248.13 readFloat203 zvv zvw = readFloat200 zvw; 282.10/248.13 ; 282.10/248.13 readFloat204 (yyz : zuw,t) = readFloat203 (yyz == 'N') (yyz : zuw,t); 282.10/248.13 readFloat204 zvx = readFloat200 zvx; 282.10/248.13 ; 282.10/248.13 readFloat3 vu85 = readFloat30 vu85; 282.10/248.13 ; 282.10/248.13 readFloat30 (zwu : vuuz,t) = readFloat309 (zwu : vuuz,t); 282.10/248.13 readFloat30 vvu = readFloat300 vvu; 282.10/248.13 ; 282.10/248.13 readFloat300 vvu = []; 282.10/248.13 ; 282.10/248.13 readFloat301 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : [],t) = (1 / 0,t) : []; 282.10/248.13 readFloat301 vuvu vuvv = readFloat300 vuvv; 282.10/248.13 ; 282.10/248.13 readFloat302 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t) = readFloat301 (zyw == 'y') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t); 282.10/248.13 readFloat302 vuvw vuvx = readFloat300 vuvx; 282.10/248.13 ; 282.10/248.13 readFloat303 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t) = readFloat302 (zyu == 't') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t); 282.10/248.13 readFloat303 vuvy vuvz = readFloat300 vuvz; 282.10/248.13 ; 282.10/248.13 readFloat304 True (zwu : zww : zwy : zxu : zxw : zxy : zzv,t) = readFloat303 (zxy == 'i') (zwu : zww : zwy : zxu : zxw : zxy : zzv,t); 282.10/248.13 readFloat304 vuwu vuwv = readFloat300 vuwv; 282.10/248.13 ; 282.10/248.13 readFloat305 True (zwu : zww : zwy : zxu : zxw : zzx,t) = readFloat304 (zxw == 'n') (zwu : zww : zwy : zxu : zxw : zzx,t); 282.10/248.13 readFloat305 vuww vuwx = readFloat300 vuwx; 282.10/248.13 ; 282.10/248.13 readFloat306 True (zwu : zww : zwy : zxu : zzz,t) = readFloat305 (zxu == 'i') (zwu : zww : zwy : zxu : zzz,t); 282.10/248.13 readFloat306 vuwy vuwz = readFloat300 vuwz; 282.10/248.13 ; 282.10/248.13 readFloat307 True (zwu : zww : zwy : vuuv,t) = readFloat306 (zwy == 'f') (zwu : zww : zwy : vuuv,t); 282.10/248.13 readFloat307 vuxu vuxv = readFloat300 vuxv; 282.10/248.13 ; 282.10/248.13 readFloat308 True (zwu : zww : vuux,t) = readFloat307 (zww == 'n') (zwu : zww : vuux,t); 282.10/248.13 readFloat308 vuxw vuxx = readFloat300 vuxx; 282.10/248.13 ; 282.10/248.13 readFloat309 (zwu : vuuz,t) = readFloat308 (zwu == 'I') (zwu : vuuz,t); 282.10/248.13 readFloat309 vuxy = readFloat300 vuxy; 282.10/248.13 } 282.10/248.13 " 282.10/248.13 are unpacked to the following functions on top level 282.10/248.13 "readFloatReadExp' (yxu : s) = readFloatReadExp'5 (yxu : s); 282.10/248.13 readFloatReadExp' (ywv : s) = readFloatReadExp'3 (ywv : s); 282.10/248.13 readFloatReadExp' s = readFloatReadExp'1 s; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat306 True (zwu : zww : zwy : zxu : zzz,t) = readFloatReadFloat305 (zxu == 'i') (zwu : zww : zwy : zxu : zzz,t); 282.10/248.13 readFloatReadFloat306 vuwy vuwz = readFloatReadFloat300 vuwz; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat202 True (yyz : yzv : yzx : yzy,t) = readFloatReadFloat201 (yzx == 'N') (yyz : yzv : yzx : yzy,t); 282.10/248.13 readFloatReadFloat202 zuz zvu = readFloatReadFloat200 zvu; 282.10/248.13 " 282.10/248.13 "readFloatLexFrac (yxz : s) = readFloatLexFrac2 (yxz : s); 282.10/248.13 readFloatLexFrac s = readFloatLexFrac0 s; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'1 s = readDec s; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat203 True (yyz : yzv : zuu,t) = readFloatReadFloat202 (yzv == 'a') (yyz : yzv : zuu,t); 282.10/248.13 readFloatReadFloat203 zvv zvw = readFloatReadFloat200 zvw; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat204 (yyz : zuw,t) = readFloatReadFloat203 (yyz == 'N') (yyz : zuw,t); 282.10/248.13 readFloatReadFloat204 zvx = readFloatReadFloat200 zvx; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'2 True (ywv : s) = readDec s; 282.10/248.13 readFloatReadExp'2 yww ywx = readFloatReadExp'1 ywx; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat308 True (zwu : zww : vuux,t) = readFloatReadFloat307 (zww == 'n') (zwu : zww : vuux,t); 282.10/248.13 readFloatReadFloat308 vuxw vuxx = readFloatReadFloat300 vuxx; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat305 True (zwu : zww : zwy : zxu : zxw : zzx,t) = readFloatReadFloat304 (zxw == 'n') (zwu : zww : zwy : zxu : zxw : zzx,t); 282.10/248.13 readFloatReadFloat305 vuww vuwx = readFloatReadFloat300 vuwx; 282.10/248.13 " 282.10/248.13 "readFloatReadExp0 s = (0,s) : []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat10 (n,d,s) = concatMap (readFloatReadFloat0 n d) (readFloatReadExp s); 282.10/248.13 readFloatReadFloat10 vuz = []; 282.10/248.13 " 282.10/248.13 "readFloatReadExp1 e s True = readFloatReadExp' s; 282.10/248.13 readFloatReadExp1 e s False = readFloatReadExp0 (e : s); 282.10/248.13 " 282.10/248.13 "readFloatReadExp'00 (k,t) = (`negate` k,t) : []; 282.10/248.13 readFloatReadExp'00 vuu = []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat309 (zwu : vuuz,t) = readFloatReadFloat308 (zwu == 'I') (zwu : vuuz,t); 282.10/248.13 readFloatReadFloat309 vuxy = readFloatReadFloat300 vuxy; 282.10/248.13 " 282.10/248.13 "readFloatReadExp (e : s) = readFloatReadExp2 (e : s); 282.10/248.13 readFloatReadExp s = readFloatReadExp0 s; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat1 vu83 = readFloatReadFloat10 vu83; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'5 (yxu : s) = readFloatReadExp'4 (yxu == '-') (yxu : s); 282.10/248.13 readFloatReadExp'5 yxx = readFloatReadExp'3 yxx; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat0 n d vu82 = readFloatReadFloat00 n d vu82; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat2 vu84 = readFloatReadFloat20 vu84; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat3 vu85 = readFloatReadFloat30 vu85; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat30 (zwu : vuuz,t) = readFloatReadFloat309 (zwu : vuuz,t); 282.10/248.13 readFloatReadFloat30 vvu = readFloatReadFloat300 vvu; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat302 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t) = readFloatReadFloat301 (zyw == 'y') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : zyx,t); 282.10/248.13 readFloatReadFloat302 vuvw vuvx = readFloatReadFloat300 vuvx; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat00 n d (k,t) = (fromRational (n % 1 * 10 ^^ (k - d)),t) : []; 282.10/248.13 readFloatReadFloat00 n d vux = []; 282.10/248.13 " 282.10/248.13 "readFloatReadFix00 ds (ds',t) = (read (ds ++ ds'),length ds',t) : []; 282.10/248.13 readFloatReadFix00 ds vuv = []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat20 (yyz : zuw,t) = readFloatReadFloat204 (yyz : zuw,t); 282.10/248.13 readFloatReadFloat20 vuy = readFloatReadFloat200 vuy; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'4 True (yxu : s) = concatMap readFloatReadExp'0 (readDec s); 282.10/248.13 readFloatReadExp'4 yxv yxw = readFloatReadExp'3 yxw; 282.10/248.13 " 282.10/248.13 "readFloatLexFrac2 (yxz : s) = readFloatLexFrac1 (yxz == '.') (yxz : s); 282.10/248.13 readFloatLexFrac2 yyw = readFloatLexFrac0 yyw; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'3 (ywv : s) = readFloatReadExp'2 (ywv == '+') (ywv : s); 282.10/248.13 readFloatReadExp'3 ywy = readFloatReadExp'1 ywy; 282.10/248.13 " 282.10/248.13 "readFloatReadFix r = concatMap readFloatReadFix1 (lexDigits r); 282.10/248.13 " 282.10/248.13 "readFloatReadFloat301 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyw : [],t) = (1 / 0,t) : []; 282.10/248.13 readFloatReadFloat301 vuvu vuvv = readFloatReadFloat300 vuvv; 282.10/248.13 " 282.10/248.13 "readFloatReadFix1 vu87 = readFloatReadFix10 vu87; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat200 vuy = []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat303 True (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t) = readFloatReadFloat302 (zyu == 't') (zwu : zww : zwy : zxu : zxw : zxy : zyu : zyz,t); 282.10/248.13 readFloatReadFloat303 vuvy vuvz = readFloatReadFloat300 vuvz; 282.10/248.13 " 282.10/248.13 "readFloatReadExp2 (e : s) = readFloatReadExp1 e s (e `elem` 'e' : 'E' : []); 282.10/248.13 readFloatReadExp2 yvz = readFloatReadExp0 yvz; 282.10/248.13 " 282.10/248.13 "readFloatReadFix10 (ds,d) = concatMap (readFloatReadFix0 ds) (readFloatLexFrac d); 282.10/248.13 readFloatReadFix10 vuw = []; 282.10/248.13 " 282.10/248.13 "readFloatLexFrac1 True (yxz : s) = lexDigits s; 282.10/248.13 readFloatLexFrac1 yyu yyv = readFloatLexFrac0 yyv; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat304 True (zwu : zww : zwy : zxu : zxw : zxy : zzv,t) = readFloatReadFloat303 (zxy == 'i') (zwu : zww : zwy : zxu : zxw : zxy : zzv,t); 282.10/248.13 readFloatReadFloat304 vuwu vuwv = readFloatReadFloat300 vuwv; 282.10/248.13 " 282.10/248.13 "readFloatReadFix0 ds vu86 = readFloatReadFix00 ds vu86; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat201 True (yyz : yzv : yzx : [],t) = (0 / 0,t) : []; 282.10/248.13 readFloatReadFloat201 zux zuy = readFloatReadFloat200 zuy; 282.10/248.13 " 282.10/248.13 "readFloatReadExp'0 vu88 = readFloatReadExp'00 vu88; 282.10/248.13 " 282.10/248.13 "readFloatLexFrac0 s = ([],s) : []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat300 vvu = []; 282.10/248.13 " 282.10/248.13 "readFloatReadFloat307 True (zwu : zww : zwy : vuuv,t) = readFloatReadFloat306 (zwy == 'f') (zwu : zww : zwy : vuuv,t); 282.10/248.13 readFloatReadFloat307 vuxu vuxv = readFloatReadFloat300 vuxv; 282.10/248.13 " 282.10/248.13 The bindings of the following Let/Where expression 282.10/248.13 "pr1 x n (n > 0) where { 282.10/248.13 f vvv vuxz y = f4 vvv vuxz y; 282.10/248.13 f x n y = f0 x n y; 282.10/248.13 ; 282.10/248.13 f0 x n y = g x n where { 282.10/248.13 g x n = g2 x n; 282.10/248.13 ; 282.10/248.13 g0 x n True = f x (n - 1) (x * y); 282.10/248.13 ; 282.10/248.13 g1 x n True = g (x * x) (n `quot` 2); 282.10/248.13 g1 x n False = g0 x n otherwise; 282.10/248.13 ; 282.10/248.13 g2 x n = g1 x n (even n); 282.10/248.13 } 282.10/248.13 ; 282.10/248.13 ; 282.10/248.13 f3 True vvv vuxz y = y; 282.10/248.13 f3 vuyu vuyv vuyw vuyx = f0 vuyv vuyw vuyx; 282.10/248.13 ; 282.10/248.13 f4 vvv vuxz y = f3 (vuxz == 0) vvv vuxz y; 282.10/248.13 f4 vuyy vuyz vuzu = f0 vuyy vuyz vuzu; 282.10/248.13 ; 282.10/248.13 pr1 x n True = f x (n - 1) x; 282.10/248.13 pr1 x n False = pr0 x n; 282.10/248.13 } 282.10/248.13 " 282.10/248.13 are unpacked to the following functions on top level 282.10/248.13 "pr2F vvv vuxz y = pr2F4 vvv vuxz y; 282.10/248.13 pr2F x n y = pr2F0 x n y; 282.10/248.13 " 282.10/248.13 "pr2F4 vvv vuxz y = pr2F3 (vuxz == 0) vvv vuxz y; 282.10/248.13 pr2F4 vuyy vuyz vuzu = pr2F0 vuyy vuyz vuzu; 282.10/248.13 " 282.10/248.13 "pr2Pr1 x n True = pr2F x (n - 1) x; 282.10/248.13 pr2Pr1 x n False = pr0 x n; 282.10/248.13 " 282.10/248.13 "pr2F0 x n y = pr2F0G y x n; 282.10/248.13 " 282.10/248.13 "pr2F3 True vvv vuxz y = y; 282.10/248.13 pr2F3 vuyu vuyv vuyw vuyx = pr2F0 vuyv vuyw vuyx; 282.10/248.13 " 282.10/248.13 The bindings of the following Let/Where expression 282.10/248.13 "concatMap lex1 (lexString s) where { 282.10/248.13 lex1 vu55 = lex10 vu55; 282.10/248.13 ; 282.10/248.13 lex10 (str,t) = ('"' : str,t) : []; 282.10/248.13 lex10 xv = []; 282.10/248.13 ; 282.10/248.13 lexStrItem (xvu : xvy) = lexStrItem7 (xvu : xvy); 282.10/248.13 lexStrItem (wzy : xuv) = lexStrItem4 (wzy : xuv); 282.10/248.13 lexStrItem s = lexStrItem1 s; 282.10/248.13 ; 282.10/248.13 lexStrItem0 vu58 = lexStrItem00 vu58; 282.10/248.13 ; 282.10/248.13 lexStrItem00 (xwz : t) = lexStrItem002 (xwz : t); 282.10/248.13 lexStrItem00 xu = lexStrItem000 xu; 282.10/248.13 ; 282.10/248.13 lexStrItem000 xu = []; 282.10/248.13 ; 282.10/248.13 lexStrItem001 True (xwz : t) = ([],t) : []; 282.10/248.13 lexStrItem001 xxu xxv = lexStrItem000 xxv; 282.10/248.13 ; 282.10/248.13 lexStrItem002 (xwz : t) = lexStrItem001 (xwz == '\') (xwz : t); 282.10/248.13 lexStrItem002 xxw = lexStrItem000 xxw; 282.10/248.13 ; 282.10/248.13 lexStrItem1 s = lexLitChar s; 282.10/248.13 ; 282.10/248.13 lexStrItem2 wzy c s True = concatMap lexStrItem0 (dropWhile isSpace s : []); 282.10/248.13 lexStrItem2 wzy c s False = lexStrItem1 (wzy : c : s); 282.10/248.13 ; 282.10/248.13 lexStrItem3 True (wzy : c : s) = lexStrItem2 wzy c s (isSpace c); 282.10/248.13 lexStrItem3 xuw xux = lexStrItem1 xux; 282.10/248.14 ; 282.10/248.14 lexStrItem4 (wzy : xuv) = lexStrItem3 (wzy == '\') (wzy : xuv); 282.10/248.14 lexStrItem4 xuy = lexStrItem1 xuy; 282.10/248.14 ; 282.10/248.14 lexStrItem5 True (xvu : xvw : s) = ('\' : '&' : [],s) : []; 282.10/248.14 lexStrItem5 xvz xwu = lexStrItem4 xwu; 282.10/248.14 ; 282.10/248.14 lexStrItem6 True (xvu : xvw : s) = lexStrItem5 (xvw == '&') (xvu : xvw : s); 282.10/248.14 lexStrItem6 xwv xww = lexStrItem4 xww; 282.10/248.14 ; 282.10/248.14 lexStrItem7 (xvu : xvy) = lexStrItem6 (xvu == '\') (xvu : xvy); 282.10/248.14 lexStrItem7 xwx = lexStrItem4 xwx; 282.10/248.14 ; 282.10/248.14 lexString (wyz : s) = lexString4 (wyz : s); 282.10/248.14 lexString s = lexString2 s; 282.10/248.14 ; 282.10/248.14 lexString0 ch vu56 = lexString00 ch vu56; 282.10/248.14 ; 282.10/248.14 lexString00 ch (str,u) = (ch ++ str,u) : []; 282.10/248.14 lexString00 ch wy = []; 282.10/248.14 ; 282.10/248.14 lexString1 vu57 = lexString10 vu57; 282.10/248.14 ; 282.10/248.14 lexString10 (ch,t) = concatMap (lexString0 ch) (lexString t); 282.10/248.14 lexString10 wz = []; 282.10/248.14 ; 282.10/248.14 lexString2 s = concatMap lexString1 (lexStrItem s); 282.10/248.14 ; 282.10/248.14 lexString3 True (wyz : s) = ('"' : [],s) : []; 282.10/248.14 lexString3 wzu wzv = lexString2 wzv; 282.10/248.14 ; 282.10/248.14 lexString4 (wyz : s) = lexString3 (wyz == '"') (wyz : s); 282.10/248.14 lexString4 wzw = lexString2 wzw; 282.10/248.14 } 282.10/248.14 " 282.10/248.14 are unpacked to the following functions on top level 282.10/248.14 "lex13LexStrItem002 (xwz : t) = lex13LexStrItem001 (xwz == '\') (xwz : t); 282.10/248.14 lex13LexStrItem002 xxw = lex13LexStrItem000 xxw; 282.10/248.14 " 282.10/248.14 "lex13LexString0 ch vu56 = lex13LexString00 ch vu56; 282.10/248.14 " 282.10/248.14 "lex13LexString3 True (wyz : s) = ('"' : [],s) : []; 282.10/248.14 lex13LexString3 wzu wzv = lex13LexString2 wzv; 282.10/248.14 " 282.10/248.14 "lex13LexStrItem1 s = lexLitChar s; 282.10/248.14 " 282.10/248.14 "lex13LexStrItem2 wzy c s True = concatMap lex13LexStrItem0 (dropWhile isSpace s : []); 282.10/248.14 lex13LexStrItem2 wzy c s False = lex13LexStrItem1 (wzy : c : s); 282.10/248.14 " 282.10/248.14 "lex13LexStrItem4 (wzy : xuv) = lex13LexStrItem3 (wzy == '\') (wzy : xuv); 282.10/248.14 lex13LexStrItem4 xuy = lex13LexStrItem1 xuy; 282.10/248.14 " 282.10/248.14 "lex13LexStrItem000 xu = []; 282.10/248.14 " 282.10/248.14 "lex13LexString (wyz : s) = lex13LexString4 (wyz : s); 282.10/248.14 lex13LexString s = lex13LexString2 s; 282.10/248.14 " 282.10/248.14 "lex13LexStrItem7 (xvu : xvy) = lex13LexStrItem6 (xvu == '\') (xvu : xvy); 282.10/248.14 lex13LexStrItem7 xwx = lex13LexStrItem4 xwx; 282.10/248.14 " 282.10/248.14 "lex13LexStrItem6 True (xvu : xvw : s) = lex13LexStrItem5 (xvw == '&') (xvu : xvw : s); 282.10/248.14 lex13LexStrItem6 xwv xww = lex13LexStrItem4 xww; 282.10/248.14 " 282.10/248.14 "lex13LexString1 vu57 = lex13LexString10 vu57; 282.10/248.17 " 282.10/248.17 "lex13LexStrItem0 vu58 = lex13LexStrItem00 vu58; 282.10/248.17 " 282.10/248.17 "lex13LexString4 (wyz : s) = lex13LexString3 (wyz == '"') (wyz : s); 282.10/248.17 lex13LexString4 wzw = lex13LexString2 wzw; 282.10/248.17 " 282.10/248.17 "lex13Lex1 vu55 = lex13Lex10 vu55; 282.10/248.17 " 282.10/248.17 "lex13LexString10 (ch,t) = concatMap (lex13LexString0 ch) (lex13LexString t); 282.10/248.17 lex13LexString10 wz = []; 282.10/248.17 " 282.10/248.17 "lex13LexString2 s = concatMap lex13LexString1 (lex13LexStrItem s); 282.10/248.17 " 282.10/248.17 "lex13LexStrItem3 True (wzy : c : s) = lex13LexStrItem2 wzy c s (isSpace c); 282.10/248.17 lex13LexStrItem3 xuw xux = lex13LexStrItem1 xux; 282.10/248.17 " 282.10/248.17 "lex13LexStrItem (xvu : xvy) = lex13LexStrItem7 (xvu : xvy); 282.10/248.17 lex13LexStrItem (wzy : xuv) = lex13LexStrItem4 (wzy : xuv); 282.10/248.17 lex13LexStrItem s = lex13LexStrItem1 s; 282.10/248.17 " 282.10/248.17 "lex13LexString00 ch (str,u) = (ch ++ str,u) : []; 282.10/248.17 lex13LexString00 ch wy = []; 282.10/248.17 " 282.10/248.17 "lex13LexStrItem5 True (xvu : xvw : s) = ('\' : '&' : [],s) : []; 282.10/248.17 lex13LexStrItem5 xvz xwu = lex13LexStrItem4 xwu; 282.10/248.17 " 282.10/248.17 "lex13LexStrItem00 (xwz : t) = lex13LexStrItem002 (xwz : t); 282.10/248.17 lex13LexStrItem00 xu = lex13LexStrItem000 xu; 282.10/248.17 " 282.10/248.17 "lex13Lex10 (str,t) = ('"' : str,t) : []; 282.10/248.17 lex13Lex10 xv = []; 282.10/248.17 " 282.10/248.17 "lex13LexStrItem001 True (xwz : t) = ([],t) : []; 282.10/248.17 lex13LexStrItem001 xxu xxv = lex13LexStrItem000 xxv; 282.10/248.17 " 282.10/248.17 The bindings of the following Let/Where expression 282.10/248.17 "span1 p vww vwx (p vww) where { 282.10/248.17 span0 p vww vwx True = ([],vww : vwx); 282.10/248.17 ; 282.10/248.17 span1 p vww vwx True = (vww : ys,zs); 282.10/248.17 span1 p vww vwx False = span0 p vww vwx otherwise; 282.10/248.17 ; 282.10/248.17 vu43 = span p vwx; 282.10/248.17 ; 282.10/248.17 ys = ys0 vu43; 282.10/248.17 ; 282.10/248.17 ys0 (ys,vwz) = ys; 282.10/248.17 ; 282.10/248.17 zs = zs0 vu43; 282.10/248.17 ; 282.10/248.17 zs0 (vwy,zs) = zs; 282.10/248.17 } 282.10/248.17 " 282.10/248.17 are unpacked to the following functions on top level 282.10/248.17 "span2Vu43 vwzz vxuu = span vwzz vxuu; 282.10/248.17 " 282.10/248.17 "span2Zs0 vwzz vxuu (vwy,zs) = zs; 282.10/248.17 " 282.10/248.17 "span2Ys vwzz vxuu = span2Ys0 vwzz vxuu (span2Vu43 vwzz vxuu); 282.10/248.17 " 282.10/248.17 "span2Ys0 vwzz vxuu (ys,vwz) = ys; 282.10/248.17 " 282.10/248.17 "span2Span1 vwzz vxuu p vww vwx True = (vww : span2Ys vwzz vxuu,span2Zs vwzz vxuu); 282.10/248.17 span2Span1 vwzz vxuu p vww vwx False = span2Span0 vwzz vxuu p vww vwx otherwise; 282.10/248.17 " 282.10/248.17 "span2Zs vwzz vxuu = span2Zs0 vwzz vxuu (span2Vu43 vwzz vxuu); 282.10/248.17 " 282.10/248.17 "span2Span0 vwzz vxuu p vww vwx True = ([],vww : vwx); 282.10/248.17 " 282.10/248.17 The bindings of the following Let/Where expression 282.10/248.17 "lex11 c s (isSingle c) where { 282.10/248.17 isIdChar c = isAlphaNum c || c `elem` '_' : ''' : []; 282.10/248.17 ; 282.10/248.17 isSingle c = c `elem` ',' : ';' : '(' : ')' : '[' : ']' : '{' : '}' : '_' : '`' : []; 282.10/248.17 ; 282.10/248.17 isSym c = c `elem` '!' : '@' : '#' : '$' : '%' : '&' : '*' : '+' : '.' : '/' : '<' : '=' : '>' : '?' : '\' : '^' : '|' : ':' : '-' : '~' : []; 282.10/248.17 ; 282.10/248.17 lex11 c s True = (c : [],s) : []; 282.10/248.17 lex11 c s False = lex9 c s (isSym c); 282.10/248.17 ; 282.10/248.17 lex2 c vu59 = lex20 c vu59; 282.10/248.17 ; 282.10/248.17 lex20 c (sym,t) = (c : sym,t) : []; 282.10/248.17 lex20 c yx = []; 282.10/248.17 ; 282.10/248.17 lex3 c vu60 = lex30 c vu60; 282.10/248.17 ; 282.10/248.17 lex30 c (nam,t) = (c : nam,t) : []; 282.10/248.17 lex30 c yy = []; 282.10/248.17 ; 282.10/248.17 lex4 c ds vu61 = lex40 c ds vu61; 282.10/248.17 ; 282.10/248.17 lex40 c ds (fe,t) = (c : ds ++ fe,t) : []; 282.10/248.17 lex40 c ds yv = []; 282.10/248.17 ; 282.10/248.17 lex5 c vu62 = lex50 c vu62; 282.10/248.17 ; 282.10/248.17 lex50 c (ds,s) = concatMap (lex4 c ds) (lexFracExp s); 282.10/248.17 lex50 c yw = []; 282.10/248.17 ; 282.10/248.17 lex6 c s True = []; 282.10/248.17 ; 282.10/248.17 lex7 c s True = concatMap (lex5 c) (span isDigit s : []); 282.10/248.17 lex7 c s False = lex6 c s otherwise; 282.10/248.17 ; 282.10/248.17 lex8 c s True = concatMap (lex3 c) (span isIdChar s : []); 282.10/248.17 lex8 c s False = lex7 c s (isDigit c); 282.10/248.17 ; 282.10/248.17 lex9 c s True = concatMap (lex2 c) (span isSym s : []); 282.10/248.17 lex9 c s False = lex8 c s (isAlpha c); 282.10/248.17 ; 282.10/248.17 lexExp (e : s) = lexExp5 (e : s); 282.10/248.17 lexExp s = lexExp3 s; 282.10/248.17 ; 282.10/248.17 lexExp0 e c vu65 = lexExp00 e c vu65; 282.10/248.17 ; 282.10/248.17 lexExp00 e c (ds,u) = (e : c : ds,u) : []; 282.10/248.17 lexExp00 e c xw = []; 282.10/248.17 ; 282.10/248.17 lexExp1 e vu66 = lexExp10 e vu66; 282.10/248.17 ; 282.10/248.17 lexExp10 e (c : t) = lexExp100 e c t (c `elem` '+' : '-' : []); 282.10/248.17 lexExp10 e xy = []; 282.10/248.17 ; 282.10/248.17 lexExp100 e c t True = concatMap (lexExp0 e c) (lexDigits t); 282.10/248.17 lexExp100 e c t False = []; 282.10/248.17 ; 282.10/248.17 lexExp2 e vu67 = lexExp20 e vu67; 282.10/248.17 ; 282.10/248.17 lexExp20 e (ds,t) = (e : ds,t) : []; 282.10/248.17 lexExp20 e xx = []; 282.10/248.17 ; 282.10/248.17 lexExp3 s = ([],s) : []; 282.10/248.17 ; 282.10/248.17 lexExp4 e s True = concatMap (lexExp1 e) (s : []) ++ concatMap (lexExp2 e) (lexDigits s); 282.10/248.17 lexExp4 e s False = lexExp3 (e : s); 282.10/248.17 ; 282.10/248.17 lexExp5 (e : s) = lexExp4 e s (e `elem` 'e' : 'E' : []); 282.10/248.17 lexExp5 xxy = lexExp3 xxy; 282.10/248.17 ; 282.10/248.17 lexFracExp (xyu : xyx) = lexFracExp5 (xyu : xyx); 282.10/248.17 lexFracExp s = lexFracExp2 s; 282.10/248.17 ; 282.10/248.17 lexFracExp0 ds vu63 = lexFracExp00 ds vu63; 282.10/248.17 ; 282.10/248.17 lexFracExp00 ds (e,u) = ('.' : ds ++ e,u) : []; 282.10/248.17 lexFracExp00 ds yu = []; 282.10/248.17 ; 282.10/248.17 lexFracExp1 vu64 = lexFracExp10 vu64; 282.10/248.17 ; 282.10/248.17 lexFracExp10 (ds,t) = concatMap (lexFracExp0 ds) (lexExp t); 282.10/248.17 lexFracExp10 xz = []; 282.10/248.17 ; 282.10/248.17 lexFracExp2 s = lexExp s; 282.10/248.17 ; 282.10/248.17 lexFracExp3 xyu c cs True = concatMap lexFracExp1 (lexDigits (c : cs)); 282.10/248.17 lexFracExp3 xyu c cs False = lexFracExp2 (xyu : c : cs); 282.10/248.17 ; 282.10/248.17 lexFracExp4 True (xyu : c : cs) = lexFracExp3 xyu c cs (isDigit c); 282.10/248.17 lexFracExp4 xyy xyz = lexFracExp2 xyz; 282.10/248.17 ; 282.10/248.17 lexFracExp5 (xyu : xyx) = lexFracExp4 (xyu == '.') (xyu : xyx); 282.10/248.17 lexFracExp5 xzu = lexFracExp2 xzu; 282.10/248.17 } 282.10/248.17 " 282.10/248.17 are unpacked to the following functions on top level 282.10/248.17 "lex12LexExp2 e vu67 = lex12LexExp20 e vu67; 282.10/248.17 " 282.10/248.17 "lex12Lex8 c s True = concatMap (lex12Lex3 c) (span lex12IsIdChar s : []); 282.10/248.17 lex12Lex8 c s False = lex12Lex7 c s (isDigit c); 282.10/248.17 " 282.10/248.17 "lex12Lex6 c s True = []; 282.10/248.17 " 282.10/248.17 "lex12Lex3 c vu60 = lex12Lex30 c vu60; 282.10/248.17 " 282.10/248.17 "lex12Lex20 c (sym,t) = (c : sym,t) : []; 282.10/248.17 lex12Lex20 c yx = []; 282.10/248.17 " 282.10/248.17 "lex12IsSym c = c `elem` '!' : '@' : '#' : '$' : '%' : '&' : '*' : '+' : '.' : '/' : '<' : '=' : '>' : '?' : '\' : '^' : '|' : ':' : '-' : '~' : []; 282.10/248.17 " 282.10/248.17 "lex12LexExp3 s = ([],s) : []; 282.10/248.17 " 282.10/248.17 "lex12LexExp1 e vu66 = lex12LexExp10 e vu66; 282.10/248.17 " 282.10/248.17 "lex12LexExp4 e s True = concatMap (lex12LexExp1 e) (s : []) ++ concatMap (lex12LexExp2 e) (lexDigits s); 282.10/248.17 lex12LexExp4 e s False = lex12LexExp3 (e : s); 282.10/248.17 " 282.10/248.17 "lex12LexFracExp4 True (xyu : c : cs) = lex12LexFracExp3 xyu c cs (isDigit c); 282.10/248.17 lex12LexFracExp4 xyy xyz = lex12LexFracExp2 xyz; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp1 vu64 = lex12LexFracExp10 vu64; 282.10/248.17 " 282.10/248.17 "lex12Lex11 c s True = (c : [],s) : []; 282.10/248.17 lex12Lex11 c s False = lex12Lex9 c s (lex12IsSym c); 282.10/248.17 " 282.10/248.17 "lex12Lex30 c (nam,t) = (c : nam,t) : []; 282.10/248.17 lex12Lex30 c yy = []; 282.10/248.17 " 282.10/248.17 "lex12Lex5 c vu62 = lex12Lex50 c vu62; 282.10/248.17 " 282.10/248.17 "lex12Lex4 c ds vu61 = lex12Lex40 c ds vu61; 282.10/248.17 " 282.10/248.17 "lex12LexExp5 (e : s) = lex12LexExp4 e s (e `elem` 'e' : 'E' : []); 282.10/248.17 lex12LexExp5 xxy = lex12LexExp3 xxy; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp10 (ds,t) = concatMap (lex12LexFracExp0 ds) (lex12LexExp t); 282.10/248.17 lex12LexFracExp10 xz = []; 282.10/248.17 " 282.10/248.17 "lex12LexExp (e : s) = lex12LexExp5 (e : s); 282.10/248.17 lex12LexExp s = lex12LexExp3 s; 282.10/248.17 " 282.10/248.17 "lex12IsIdChar c = isAlphaNum c || c `elem` '_' : ''' : []; 282.10/248.17 " 282.10/248.17 "lex12Lex9 c s True = concatMap (lex12Lex2 c) (span lex12IsSym s : []); 282.10/248.17 lex12Lex9 c s False = lex12Lex8 c s (isAlpha c); 282.10/248.17 " 282.10/248.17 "lex12LexExp10 e (c : t) = lex12LexExp100 e c t (c `elem` '+' : '-' : []); 282.10/248.17 lex12LexExp10 e xy = []; 282.10/248.17 " 282.10/248.17 "lex12Lex50 c (ds,s) = concatMap (lex12Lex4 c ds) (lex12LexFracExp s); 282.10/248.17 lex12Lex50 c yw = []; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp2 s = lex12LexExp s; 282.10/248.17 " 282.10/248.17 "lex12IsSingle c = c `elem` ',' : ';' : '(' : ')' : '[' : ']' : '{' : '}' : '_' : '`' : []; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp5 (xyu : xyx) = lex12LexFracExp4 (xyu == '.') (xyu : xyx); 282.10/248.17 lex12LexFracExp5 xzu = lex12LexFracExp2 xzu; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp3 xyu c cs True = concatMap lex12LexFracExp1 (lexDigits (c : cs)); 282.10/248.17 lex12LexFracExp3 xyu c cs False = lex12LexFracExp2 (xyu : c : cs); 282.10/248.17 " 282.10/248.17 "lex12LexExp00 e c (ds,u) = (e : c : ds,u) : []; 282.10/248.17 lex12LexExp00 e c xw = []; 282.10/248.17 " 282.10/248.17 "lex12LexExp20 e (ds,t) = (e : ds,t) : []; 282.10/248.17 lex12LexExp20 e xx = []; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp (xyu : xyx) = lex12LexFracExp5 (xyu : xyx); 282.10/248.17 lex12LexFracExp s = lex12LexFracExp2 s; 282.10/248.17 " 282.10/248.17 "lex12Lex40 c ds (fe,t) = (c : ds ++ fe,t) : []; 282.10/248.17 lex12Lex40 c ds yv = []; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp00 ds (e,u) = ('.' : ds ++ e,u) : []; 282.10/248.17 lex12LexFracExp00 ds yu = []; 282.10/248.17 " 282.10/248.17 "lex12LexFracExp0 ds vu63 = lex12LexFracExp00 ds vu63; 282.10/248.17 " 282.10/248.17 "lex12Lex7 c s True = concatMap (lex12Lex5 c) (span isDigit s : []); 282.10/248.17 lex12Lex7 c s False = lex12Lex6 c s otherwise; 282.10/248.17 " 282.10/248.17 "lex12LexExp100 e c t True = concatMap (lex12LexExp0 e c) (lexDigits t); 282.10/248.17 lex12LexExp100 e c t False = []; 282.10/248.17 " 282.10/248.17 "lex12Lex2 c vu59 = lex12Lex20 c vu59; 282.10/248.17 " 282.10/248.17 "lex12LexExp0 e c vu65 = lex12LexExp00 e c vu65; 282.10/248.17 " 282.10/248.17 The bindings of the following Let/Where expression 282.10/248.17 "readParen0 b where { 282.10/248.17 mandatory r = concatMap mandatory2 (lex r); 282.10/248.17 ; 282.10/248.17 mandatory0 x vu48 = mandatory00 x vu48; 282.10/248.17 ; 282.10/248.17 mandatory00 x (vvzu : vvzv,u) = mandatory002 x (vvzu : vvzv,u); 282.10/248.17 mandatory00 x vzv = mandatory000 x vzv; 282.10/248.17 ; 282.10/248.17 mandatory000 x vzv = []; 282.10/248.17 ; 282.10/248.17 mandatory001 True x (vvzu : [],u) = (x,u) : []; 282.10/248.17 mandatory001 vvzw vvzx vvzy = mandatory000 vvzx vvzy; 282.10/248.17 ; 282.10/248.17 mandatory002 x (vvzu : vvzv,u) = mandatory001 (vvzu == ')') x (vvzu : vvzv,u); 282.10/248.17 mandatory002 vvzz vwuu = mandatory000 vvzz vwuu; 282.10/248.17 ; 282.10/248.17 mandatory1 vu49 = mandatory10 vu49; 282.10/248.17 ; 282.10/248.17 mandatory10 (x,t) = concatMap (mandatory0 x) (lex t); 282.10/248.17 mandatory10 vzw = []; 282.10/248.17 ; 282.10/248.17 mandatory2 vu50 = mandatory20 vu50; 282.10/248.17 ; 282.10/248.17 mandatory20 (vvxz : vvyu,s) = mandatory202 (vvxz : vvyu,s); 282.10/248.17 mandatory20 vzu = mandatory200 vzu; 282.10/248.17 ; 282.10/248.17 mandatory200 vzu = []; 282.10/248.17 ; 282.10/248.17 mandatory201 True (vvxz : [],s) = concatMap mandatory1 (optional s); 282.10/248.17 mandatory201 vvyv vvyw = mandatory200 vvyw; 282.10/248.17 ; 282.10/248.17 mandatory202 (vvxz : vvyu,s) = mandatory201 (vvxz == '(') (vvxz : vvyu,s); 282.10/248.17 mandatory202 vvyx = mandatory200 vvyx; 282.10/248.17 ; 282.10/248.17 optional r = g r ++ mandatory r; 282.10/248.17 ; 282.10/248.17 readParen0 True = mandatory; 282.10/248.17 readParen0 False = optional; 282.10/248.17 } 282.10/248.17 " 282.10/248.17 are unpacked to the following functions on top level 282.10/248.17 "readParenReadParen0 vxuv True = readParenMandatory vxuv; 282.10/248.17 readParenReadParen0 vxuv False = readParenOptional vxuv; 282.10/248.17 " 282.10/248.17 "readParenMandatory00 vxuv x (vvzu : vvzv,u) = readParenMandatory002 vxuv x (vvzu : vvzv,u); 282.10/248.17 readParenMandatory00 vxuv x vzv = readParenMandatory000 vxuv x vzv; 282.10/248.17 " 282.10/248.17 "readParenOptional vxuv r = vxuv r ++ readParenMandatory vxuv r; 282.10/248.17 " 282.10/248.17 "readParenMandatory vxuv r = concatMap (readParenMandatory2 vxuv) (lex r); 282.10/248.17 " 282.10/248.17 "readParenMandatory10 vxuv (x,t) = concatMap (readParenMandatory0 vxuv x) (lex t); 282.10/248.17 readParenMandatory10 vxuv vzw = []; 282.10/248.17 " 282.10/248.17 "readParenMandatory2 vxuv vu50 = readParenMandatory20 vxuv vu50; 282.10/248.17 " 282.10/248.17 "readParenMandatory202 vxuv (vvxz : vvyu,s) = readParenMandatory201 vxuv (vvxz == '(') (vvxz : vvyu,s); 282.10/248.17 readParenMandatory202 vxuv vvyx = readParenMandatory200 vxuv vvyx; 282.10/248.17 " 282.10/248.17 "readParenMandatory201 vxuv True (vvxz : [],s) = concatMap (readParenMandatory1 vxuv) (readParenOptional vxuv s); 282.10/248.17 readParenMandatory201 vxuv vvyv vvyw = readParenMandatory200 vxuv vvyw; 282.10/248.17 " 282.10/248.17 "readParenMandatory20 vxuv (vvxz : vvyu,s) = readParenMandatory202 vxuv (vvxz : vvyu,s); 282.10/248.17 readParenMandatory20 vxuv vzu = readParenMandatory200 vxuv vzu; 282.10/248.17 " 282.10/248.17 "readParenMandatory000 vxuv x vzv = []; 282.10/248.17 " 282.10/248.17 "readParenMandatory1 vxuv vu49 = readParenMandatory10 vxuv vu49; 282.10/248.17 " 282.10/248.17 "readParenMandatory001 vxuv True x (vvzu : [],u) = (x,u) : []; 282.10/248.17 readParenMandatory001 vxuv vvzw vvzx vvzy = readParenMandatory000 vxuv vvzx vvzy; 282.10/248.17 " 282.10/248.17 "readParenMandatory0 vxuv x vu48 = readParenMandatory00 vxuv x vu48; 282.10/248.17 " 282.10/248.17 "readParenMandatory200 vxuv vzu = []; 282.10/248.17 " 282.10/248.17 "readParenMandatory002 vxuv x (vvzu : vvzv,u) = readParenMandatory001 vxuv (vvzu == ')') x (vvzu : vvzv,u); 282.10/248.17 readParenMandatory002 vxuv vvzz vwuu = readParenMandatory000 vxuv vvzz vwuu; 282.10/248.17 " 282.10/248.17 The bindings of the following Let/Where expression 282.10/248.17 "readParen False read' where { 282.10/248.17 read' r = read'' r ++ concatMap read'1 (lex r); 282.10/248.17 ; 282.10/248.17 read'' r = concatMap (read''1 readPos) (lex r); 282.10/248.17 ; 282.10/248.17 read''0 s vu80 = read''00 s vu80; 282.10/248.17 ; 282.10/248.17 read''00 s (n,[]) = (n,s) : []; 282.10/248.17 read''00 s vzy = []; 282.10/248.17 ; 282.10/248.17 read''1 readPos vu81 = read''10 readPos vu81; 282.10/248.17 ; 282.10/248.17 read''10 readPos (str,s) = concatMap (read''0 s) (readPos str); 282.10/248.17 read''10 readPos vzx = []; 282.10/248.17 ; 282.10/248.17 read'0 vu78 = read'00 vu78; 282.10/248.17 ; 282.10/248.17 read'00 (x,t) = (`negate` x,t) : []; 282.10/248.17 read'00 wuu = []; 282.10/248.17 ; 282.10/248.17 read'1 vu79 = read'10 vu79; 282.10/248.17 ; 282.10/248.17 read'10 (vwux : vwuy,s) = read'102 (vwux : vwuy,s); 282.10/248.17 read'10 vzz = read'100 vzz; 282.10/248.17 ; 282.10/248.17 read'100 vzz = []; 282.10/248.17 ; 282.10/248.17 read'101 True (vwux : [],s) = concatMap read'0 (read'' s); 282.10/248.17 read'101 vwuz vwvu = read'100 vwvu; 282.10/248.17 ; 282.10/248.17 read'102 (vwux : vwuy,s) = read'101 (vwux == '-') (vwux : vwuy,s); 282.10/248.17 read'102 vwvv = read'100 vwvv; 282.10/248.17 } 282.10/248.17 " 282.10/248.17 are unpacked to the following functions on top level 282.10/248.17 "readSignedRead'10 vxuw (vwux : vwuy,s) = readSignedRead'102 vxuw (vwux : vwuy,s); 282.10/248.17 readSignedRead'10 vxuw vzz = readSignedRead'100 vxuw vzz; 282.10/248.17 " 282.10/248.17 "readSignedRead'1 vxuw vu79 = readSignedRead'10 vxuw vu79; 282.10/248.17 " 282.10/248.17 "readSignedRead'100 vxuw vzz = []; 282.10/248.17 " 282.10/248.17 "readSignedRead'102 vxuw (vwux : vwuy,s) = readSignedRead'101 vxuw (vwux == '-') (vwux : vwuy,s); 282.10/248.17 readSignedRead'102 vxuw vwvv = readSignedRead'100 vxuw vwvv; 282.10/248.17 " 282.10/248.17 "readSignedRead''1 vxuw readPos vu81 = readSignedRead''10 vxuw readPos vu81; 282.10/248.17 " 282.10/248.17 "readSignedRead'' vxuw r = concatMap (readSignedRead''1 vxuw vxuw) (lex r); 282.10/248.17 " 282.10/248.17 "readSignedRead''00 vxuw s (n,[]) = (n,s) : []; 282.10/248.17 readSignedRead''00 vxuw s vzy = []; 282.10/248.17 " 282.10/248.17 "readSignedRead'101 vxuw True (vwux : [],s) = concatMap (readSignedRead'0 vxuw) (readSignedRead'' vxuw s); 282.10/248.17 readSignedRead'101 vxuw vwuz vwvu = readSignedRead'100 vxuw vwvu; 282.10/248.17 " 282.10/248.17 "readSignedRead' vxuw r = readSignedRead'' vxuw r ++ concatMap (readSignedRead'1 vxuw) (lex r); 282.10/248.17 " 282.10/248.17 "readSignedRead''10 vxuw readPos (str,s) = concatMap (readSignedRead''0 vxuw s) (readPos str); 282.10/248.17 readSignedRead''10 vxuw readPos vzx = []; 282.10/248.17 " 282.10/248.17 "readSignedRead'0 vxuw vu78 = readSignedRead'00 vxuw vu78; 282.10/248.17 " 282.10/248.17 "readSignedRead'00 vxuw (x,t) = (`negate` x,t) : []; 282.10/248.17 readSignedRead'00 vxuw wuu = []; 282.10/248.17 " 282.10/248.17 "readSignedRead''0 vxuw s vu80 = readSignedRead''00 vxuw s vu80; 282.10/248.17 " 282.10/248.17 The bindings of the following Let/Where expression 282.10/248.17 "g x n where { 282.10/248.17 g x n = g2 x n; 282.10/248.17 ; 282.10/248.17 g0 x n True = f x (n - 1) (x * y); 282.10/248.17 ; 282.10/248.17 g1 x n True = g (x * x) (n `quot` 2); 282.10/248.17 g1 x n False = g0 x n otherwise; 282.10/248.17 ; 282.10/248.17 g2 x n = g1 x n (even n); 282.10/248.17 } 282.10/248.17 " 282.10/248.17 are unpacked to the following functions on top level 282.10/248.17 "pr2F0G vxux x n = pr2F0G2 vxux x n; 282.10/248.17 " 282.10/248.17 "pr2F0G1 vxux x n True = pr2F0G vxux (x * x) (n `quot` 2); 282.10/248.17 pr2F0G1 vxux x n False = pr2F0G0 vxux x n otherwise; 282.10/248.17 " 282.10/248.17 "pr2F0G2 vxux x n = pr2F0G1 vxux x n (even n); 282.10/248.17 " 282.10/248.17 "pr2F0G0 vxux x n True = pr2F x (n - 1) (x * vxux); 282.10/248.17 " 282.10/248.17 282.10/248.17 ---------------------------------------- 282.10/248.17 282.10/248.17 (12) 282.10/248.17 Obligation: 282.10/248.17 mainModule Main 282.10/248.17 module Main where { 282.10/248.17 import qualified Prelude; 282.10/248.17 } 282.10/248.17 282.10/248.17 ---------------------------------------- 282.10/248.17 282.10/248.17 (13) NumRed (SOUND) 282.10/248.17 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 282.10/248.17 ---------------------------------------- 282.10/248.17 282.10/248.17 (14) 282.10/248.17 Obligation: 282.10/248.17 mainModule Main 282.10/248.17 module Main where { 282.10/248.17 import qualified Prelude; 282.10/248.17 } 282.10/248.22 EOF