{-# OPTIONS -XNoMonomorphismRestriction #-} module PRINT_SEXP (inv_FprintSExp,printSExp) where import Control.Monad import InvUtil import Data.Tuple import MyData inv_FprintSExp = runI . e_FprintSExp data StatesOfFprintSExp e_1 e_8 e_9 e_10 e_11 e_13 e_14 = S_FprintSExp_1 e_1 | S_FprintSExp_8 e_8 | S_FprintSExp_9 e_9 | S_FprintSExp_10 e_10 | S_FprintSExp_11 e_11 | S_FprintSExp_13 e_13 | S_FprintSExp_14 e_14 e_FprintSExp x = case trav_FprintSExp_0 x of S_FprintSExp_1 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: FprintSExp" trav_FprintSExp_0 (Str t1 t2) = sem_FprintSExp_0_Str (Str t1 t2) (trav_FprintSExp_2 t1) (trav_FprintSExp_1 t2) trav_FprintSExp_0 (LPar t1) = sem_FprintSExp_0_LPar (LPar t1) (trav_FprintSExp_3 t1) trav_FprintSExp_0 t = sem_FprintSExp_0___ t trav_FprintSExp_1 t = sem_FprintSExp_1___ t trav_FprintSExp_2 t = sem_FprintSExp_2___ t trav_FprintSExp_3 (Str t1 t2) = sem_FprintSExp_3_Str (Str t1 t2) (trav_FprintSExp_2 t1) (trav_FprintSExp_1 t2) trav_FprintSExp_3 (RPar t1) = sem_FprintSExp_3_RPar (RPar t1) (trav_FprintSExp_4 t1) trav_FprintSExp_3 (LPar t1) = sem_FprintSExp_3_LPar (LPar t1) (trav_FprintSExp_3 t1) trav_FprintSExp_3 t = sem_FprintSExp_3___ t trav_FprintSExp_4 t = sem_FprintSExp_4___ t sem_FprintSExp_0_LPar tree (S_FprintSExp_11 t1) = S_FprintSExp_1 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 () <- (return r_x2 >>= e_E4) return (r_v11)) ((,) SNil r_v1) >>= (\(r_v1) -> return r_v1)) (r_v11)) tmp_r1)) t1) sem_FprintSExp_0_LPar tree (S_FprintSExp_13 t1) = S_FprintSExp_1 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 () <- (return r_x2 >>= e_E4) return (r_v11)) ((,) (SCons r_v2 r_v3) r_v1) >>= (\(r_v1) -> return r_v1)) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_FprintSExp_0_Str tree (S_FprintSExp_9 t1) (S_FprintSExp_10 t2) = S_FprintSExp_1 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 () <- (return r_x2 >>= e_E4) return (r_v11)) ((,) (Symbol r_v2) r_v1) >>= (\(r_v1) -> return r_v1)) tmp_r1 tmp_r2)) t1 t2) sem_FprintSExp_0___ tree = S_FprintSExp_8 undefined sem_FprintSExp_1___ tree = S_FprintSExp_10 (return tree) sem_FprintSExp_2___ tree = S_FprintSExp_9 (return tree) sem_FprintSExp_3_LPar tree (S_FprintSExp_11 t1) = S_FprintSExp_13 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) SNil r_v1)) (r_v11)) tmp_r1)) t1) sem_FprintSExp_3_LPar tree (S_FprintSExp_13 t1) = S_FprintSExp_13 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (SCons r_v2 r_v3) r_v1)) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_FprintSExp_3_RPar tree (S_FprintSExp_14 t1) = S_FprintSExp_11 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> return (r_v11)) tmp_r1)) t1) sem_FprintSExp_3_Str tree (S_FprintSExp_9 t1) (S_FprintSExp_10 t2) = S_FprintSExp_13 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (Symbol r_v2) r_v1)) tmp_r1 tmp_r2)) t1 t2) sem_FprintSExp_3___ tree = S_FprintSExp_8 undefined sem_FprintSExp_4___ tree = S_FprintSExp_14 (return tree) data StatesOfE3 e_0 = S_E3_0 e_0 e_E3 x = case trav_E3_0 x of S_E3_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E3" trav_E3_0 t = sem_E3_0___ t sem_E3_0___ tree = S_E3_0 (return tree) data StatesOfE4 e_0 e_1 = S_E4_0 e_0 | S_E4_1 e_1 e_E4 x = case trav_E4_0 x of S_E4_1 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E4" trav_E4_0 (MSTokEOS) = sem_E4_0_MSTokEOS MSTokEOS trav_E4_0 t = sem_E4_0___ t sem_E4_0_MSTokEOS tree = S_E4_1 (return ()) sem_E4_0___ tree = S_E4_0 undefined data StatesOfE25 e_0 = S_E25_0 e_0 e_E25 x = case trav_E25_0 x of S_E25_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E25" trav_E25_0 t = sem_E25_0___ t sem_E25_0___ tree = S_E25_0 (return tree) data StatesOfE26 e_5 e_10 e_12 e_13 e_14 e_16 e_17 e_19 e_22 e_23 e_25 e_26 = S_E26_5 e_5 | S_E26_10 e_10 | S_E26_12 e_12 | S_E26_13 e_13 | S_E26_14 e_14 | S_E26_16 e_16 | S_E26_17 e_17 | S_E26_19 e_19 | S_E26_22 e_22 | S_E26_23 e_23 | S_E26_25 e_25 | S_E26_26 e_26 e_E26 x = case trav_E26_0 x of S_E26_5 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E26" trav_E26_0 (Str t1 t2) = sem_E26_0_Str (Str t1 t2) (trav_E26_2 t1) (trav_E26_1 t2) trav_E26_0 (RPar t1) = sem_E26_0_RPar (RPar t1) (trav_E26_3 t1) trav_E26_0 (LPar t1) = sem_E26_0_LPar (LPar t1) (trav_E26_4 t1) trav_E26_0 (Dot t1) = sem_E26_0_Dot (Dot t1) (trav_E26_6 t1) trav_E26_0 t = sem_E26_0___ t trav_E26_1 t = sem_E26_1___ t trav_E26_2 t = sem_E26_2___ t trav_E26_3 t = sem_E26_3___ t trav_E26_4 (Str t1 t2) = sem_E26_4_Str (Str t1 t2) (trav_E26_2 t1) (trav_E26_1 t2) trav_E26_4 (RPar t1) = sem_E26_4_RPar (RPar t1) (trav_E26_5 t1) trav_E26_4 (LPar t1) = sem_E26_4_LPar (LPar t1) (trav_E26_4 t1) trav_E26_4 t = sem_E26_4___ t trav_E26_5 t = sem_E26_5___ t trav_E26_6 (Str t1 t2) = sem_E26_6_Str (Str t1 t2) (trav_E26_9 t1) (trav_E26_7 t2) trav_E26_6 t = sem_E26_6___ t trav_E26_7 (RPar t1) = sem_E26_7_RPar (RPar t1) (trav_E26_8 t1) trav_E26_7 t = sem_E26_7___ t trav_E26_8 t = sem_E26_8___ t trav_E26_9 t = sem_E26_9___ t sem_E26_0_Dot tree (S_E26_19 t1) = S_E26_5 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12) -> (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (Symbol r_v2) r_v1)) (r_v11, r_v12)) tmp_r1)) t1) sem_E26_0_LPar tree (S_E26_14 t1) = S_E26_5 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> ((\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) SNil r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) (r_v11)) tmp_r1)) t1) sem_E26_0_LPar tree (S_E26_16 t1) = S_E26_5 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> ((\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) (SCons r_v2 r_v3) r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_E26_0_RPar tree (S_E26_10 t1) = S_E26_5 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) SNil r_v1)) (r_v11)) tmp_r1)) t1) sem_E26_0_Str tree (S_E26_12 t1) (S_E26_13 t2) = S_E26_5 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) ((\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) (Symbol r_v2) r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) tmp_r1 tmp_r2)) t1 t2) sem_E26_0___ tree = S_E26_22 undefined sem_E26_1___ tree = S_E26_13 (return tree) sem_E26_2___ tree = S_E26_12 (return tree) sem_E26_3___ tree = S_E26_10 (return tree) sem_E26_4_LPar tree (S_E26_14 t1) = S_E26_16 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) SNil r_v1)) (r_v11)) tmp_r1)) t1) sem_E26_4_LPar tree (S_E26_16 t1) = S_E26_16 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (SCons r_v2 r_v3) r_v1)) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_E26_4_RPar tree (S_E26_17 t1) = S_E26_14 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> return (r_v11)) tmp_r1)) t1) sem_E26_4_Str tree (S_E26_12 t1) (S_E26_13 t2) = S_E26_16 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (Symbol r_v2) r_v1)) tmp_r1 tmp_r2)) t1 t2) sem_E26_4___ tree = S_E26_22 undefined sem_E26_5___ tree = S_E26_17 (return tree) sem_E26_6_Str tree (S_E26_26 t1) (S_E26_23 t2) = S_E26_19 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\(r_v11) (r_v21) -> return (r_v21, r_v11)) tmp_r1 tmp_r2)) t1 t2) sem_E26_6___ tree = S_E26_22 undefined sem_E26_7_RPar tree (S_E26_25 t1) = S_E26_23 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> return (r_v11)) tmp_r1)) t1) sem_E26_7___ tree = S_E26_22 undefined sem_E26_8___ tree = S_E26_25 (return tree) sem_E26_9___ tree = S_E26_26 (return tree) data StatesOfE27 e_0 = S_E27_0 e_0 e_E27 x = case trav_E27_0 x of S_E27_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E27" trav_E27_0 t = sem_E27_0___ t sem_E27_0___ tree = S_E27_0 (return tree) data StatesOfE28 e_0 = S_E28_0 e_0 e_E28 x = case trav_E28_0 x of S_E28_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E28" trav_E28_0 t = sem_E28_0___ t sem_E28_0___ tree = S_E28_0 (return tree) data StatesOfE49 e_0 = S_E49_0 e_0 e_E49 x = case trav_E49_0 x of S_E49_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E49" trav_E49_0 t = sem_E49_0___ t sem_E49_0___ tree = S_E49_0 (return tree) data StatesOfE50 e_7 e_10 e_12 e_13 e_14 e_16 e_17 e_19 e_22 e_23 e_25 e_26 = S_E50_7 e_7 | S_E50_10 e_10 | S_E50_12 e_12 | S_E50_13 e_13 | S_E50_14 e_14 | S_E50_16 e_16 | S_E50_17 e_17 | S_E50_19 e_19 | S_E50_22 e_22 | S_E50_23 e_23 | S_E50_25 e_25 | S_E50_26 e_26 e_E50 x = case trav_E50_0 x of S_E50_7 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E50" trav_E50_0 (Str t1 t2) = sem_E50_0_Str (Str t1 t2) (trav_E50_2 t1) (trav_E50_1 t2) trav_E50_0 (RPar t1) = sem_E50_0_RPar (RPar t1) (trav_E50_3 t1) trav_E50_0 (LPar t1) = sem_E50_0_LPar (LPar t1) (trav_E50_4 t1) trav_E50_0 (Dot t1) = sem_E50_0_Dot (Dot t1) (trav_E50_6 t1) trav_E50_0 t = sem_E50_0___ t trav_E50_1 t = sem_E50_1___ t trav_E50_2 t = sem_E50_2___ t trav_E50_3 t = sem_E50_3___ t trav_E50_4 (Str t1 t2) = sem_E50_4_Str (Str t1 t2) (trav_E50_2 t1) (trav_E50_1 t2) trav_E50_4 (RPar t1) = sem_E50_4_RPar (RPar t1) (trav_E50_5 t1) trav_E50_4 (LPar t1) = sem_E50_4_LPar (LPar t1) (trav_E50_4 t1) trav_E50_4 t = sem_E50_4___ t trav_E50_5 t = sem_E50_5___ t trav_E50_6 (Str t1 t2) = sem_E50_6_Str (Str t1 t2) (trav_E50_9 t1) (trav_E50_7 t2) trav_E50_6 t = sem_E50_6___ t trav_E50_7 (RPar t1) = sem_E50_7_RPar (RPar t1) (trav_E50_8 t1) trav_E50_7 t = sem_E50_7___ t trav_E50_8 t = sem_E50_8___ t trav_E50_9 t = sem_E50_9___ t sem_E50_0_Dot tree (S_E50_19 t1) = S_E50_7 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12) -> (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (Symbol r_v2) r_v1)) (r_v11, r_v12)) tmp_r1)) t1) sem_E50_0_LPar tree (S_E50_14 t1) = S_E50_7 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> ((\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) SNil r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) (r_v11)) tmp_r1)) t1) sem_E50_0_LPar tree (S_E50_16 t1) = S_E50_7 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> ((\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) (SCons r_v2 r_v3) r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_E50_0_RPar tree (S_E50_10 t1) = S_E50_7 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) SNil r_v1)) (r_v11)) tmp_r1)) t1) sem_E50_0_Str tree (S_E50_12 t1) (S_E50_13 t2) = S_E50_7 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) ((\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E50) return (r_v21, r_v11, r_v22)) ((,) (Symbol r_v2) r_v1)) >=> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21) <- return r_x2 return (r_v21, r_v11)) ((,) (SCons r_v2 r_v3) r_v1))) tmp_r1 tmp_r2)) t1 t2) sem_E50_0___ tree = S_E50_22 undefined sem_E50_1___ tree = S_E50_13 (return tree) sem_E50_2___ tree = S_E50_12 (return tree) sem_E50_3___ tree = S_E50_10 (return tree) sem_E50_4_LPar tree (S_E50_14 t1) = S_E50_16 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> (\(r_v1) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) SNil r_v1)) (r_v11)) tmp_r1)) t1) sem_E50_4_LPar tree (S_E50_16 t1) = S_E50_16 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11, r_v12, r_v13) -> (\(r_v1, r_v2, r_v3) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (SCons r_v2 r_v3) r_v1)) (r_v11, r_v12, r_v13)) tmp_r1)) t1) sem_E50_4_RPar tree (S_E50_17 t1) = S_E50_14 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> return (r_v11)) tmp_r1)) t1) sem_E50_4_Str tree (S_E50_12 t1) (S_E50_13 t2) = S_E50_16 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\f g m1 m2 -> f m1 m2 >>= g) (\(r_v11) (r_v21) -> return (r_v21, r_v11)) (\(r_v1, r_v2) -> (\(r_x1, r_x2) -> do (r_v11) <- return r_x1 (r_v21, r_v22) <- (return r_x2 >>= e_E26) return (r_v21, r_v11, r_v22)) ((,) (Symbol r_v2) r_v1)) tmp_r1 tmp_r2)) t1 t2) sem_E50_4___ tree = S_E50_22 undefined sem_E50_5___ tree = S_E50_17 (return tree) sem_E50_6_Str tree (S_E50_26 t1) (S_E50_23 t2) = S_E50_19 ((\(x1_1) (x2_1) -> (do tmp_r1 <- x1_1 tmp_r2 <- x2_1 (\(r_v11) (r_v21) -> return (r_v21, r_v11)) tmp_r1 tmp_r2)) t1 t2) sem_E50_6___ tree = S_E50_22 undefined sem_E50_7_RPar tree (S_E50_25 t1) = S_E50_23 ((\(x1_1) -> (do tmp_r1 <- x1_1 (\(r_v11) -> return (r_v11)) tmp_r1)) t1) sem_E50_7___ tree = S_E50_22 undefined sem_E50_8___ tree = S_E50_25 (return tree) sem_E50_9___ tree = S_E50_26 (return tree) data StatesOfE51 e_0 = S_E51_0 e_0 e_E51 x = case trav_E51_0 x of S_E51_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E51" trav_E51_0 t = sem_E51_0___ t sem_E51_0___ tree = S_E51_0 (return tree) data StatesOfE52 e_0 = S_E52_0 e_0 e_E52 x = case trav_E52_0 x of S_E52_0 y -> y _ -> fail "Input is not the range of the expression/function corresponding to the state: E52" trav_E52_0 t = sem_E52_0___ t sem_E52_0___ tree = S_E52_0 (return tree) printSExp x = printCar x MSTokEOS printCar (Symbol x) t = Str x t printCar (SNil) t = LPar (RPar t) printCar (SCons x y) t = LPar (printCar x (printCdr y t)) printCdr (Symbol x) t = Dot (Str x (RPar t)) printCdr (SNil) t = RPar t printCdr (SCons x y) t = printCar x (printCdr y t)