test/Golden/Splice/G13.expected.txt

   1 \(input_0 :: inp_6989586621679040759) ->
   2   let !(#
   3          init_1,
   4          readMore_2,
   5          readNext_3
   6          #) =
   7           let _ = "cursorOf"
   8            in let next_4
   9                     ( t_5@( Data.Text.Internal.Text
  10                               arr_6
  11                               off_7
  12                               unconsumed_8
  13                             )
  14                       ) =
  15                       let !( Data.Text.Unsafe.Iter
  16                                c_9
  17                                d_10
  18                              ) = Data.Text.Unsafe.iter t_5 0
  19                        in (#
  20                             c_9,
  21                             Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10)
  22                           #)
  23                   more_11
  24                     ( Data.Text.Internal.Text
  25                         _
  26                         _
  27                         unconsumed_12
  28                       ) = unconsumed_12 GHC.Classes.> 0
  29                in (#
  30                     input_0,
  31                     more_11,
  32                     next_4
  33                   #)
  34       finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16
  35       finalRaise_18 ::
  36         forall st_19 b_20.
  37         Symantic.Parser.Machine.Generate.Catcher
  38           st_19
  39           inp_6989586621679040759
  40           b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) ->
  41           Symantic.Parser.Machine.Generate.returnST GHC.Base.$
  42             Data.Either.Left
  43               Symantic.Parser.Machine.Generate.ParsingError
  44                 { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_23,
  45                   Symantic.Parser.Machine.Generate.parsingErrorException = exn_21,
  46                   Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
  47                     if readMore_2 farInp_23
  48                       then
  49                         GHC.Maybe.Just
  50                           ( let (#
  51                                   c_25,
  52                                   _
  53                                   #) = readNext_3 farInp_23
  54                              in c_25
  55                           )
  56                       else GHC.Maybe.Nothing,
  57                   Symantic.Parser.Machine.Generate.parsingErrorExpecting =
  58                     let ( minHoriz_26,
  59                           res_27
  60                           ) =
  61                             Data.Set.Internal.foldr
  62                               ( \f_28
  63                                  ( minH_29,
  64                                    acc_30
  65                                    ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of
  66                                     GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)))
  67                                       | GHC.Maybe.Just old_32 <- minH_29 ->
  68                                         ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31),
  69                                           acc_30
  70                                         )
  71                                       | GHC.Base.otherwise ->
  72                                         ( GHC.Maybe.Just h_31,
  73                                           acc_30
  74                                         )
  75                                     _ ->
  76                                       ( minH_29,
  77                                         f_28 GHC.Types.: acc_30
  78                                       )
  79                               )
  80                               ( GHC.Maybe.Nothing,
  81                                 GHC.Types . []
  82                               )
  83                               farExp_24
  84                      in Data.Set.Internal.fromList GHC.Base.$
  85                           ( case minHoriz_26 of
  86                               GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27
  87                               GHC.Maybe.Nothing -> res_27
  88                           )
  89                 }
  90    in GHC.ST.runST
  91         ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)
  92            in let _ = "checkHorizon.noCheck"
  93                in let name_34 = \(!callReturn_35) (!callInput_36) (!callCatchStackByLabel_37) ->
  94                         let _ = "pushValue"
  95                          in let _ = "pushValue"
  96                              in do
  97                                   let dupv_38 = \x_39 -> x_39
  98                                   reg_40 <- GHC.STRef.newSTRef dupv_38
  99                                   let _ = "iter"
 100                                    in let catchHandler_41 loopInput_42 (!_exn_43) (!failInp_44) (!farInp_45) (!farExp_46) =
 101                                             let _ = "pushInput"
 102                                              in if ( \( Data.Text.Internal.Text
 103                                                           _
 104                                                           i_47
 105                                                           _
 106                                                         )
 107                                                       ( Data.Text.Internal.Text
 108                                                           _
 109                                                           j_48
 110                                                           _
 111                                                         ) -> i_47 GHC.Classes.== j_48
 112                                                    )
 113                                                   loopInput_42
 114                                                   failInp_44
 115                                                   then
 116                                                     let _ = "choicesBranch.then"
 117                                                      in do
 118                                                           sr_49 <- GHC.STRef.readSTRef reg_40
 119                                                           let _ = "pushValue"
 120                                                            in let _ = "resume"
 121                                                                in callReturn_35
 122                                                                     farInp_45
 123                                                                     farExp_46
 124                                                                     ( let _ = "resume.genCode"
 125                                                                        in GHC.Tuple . ()
 126                                                                     )
 127                                                                     failInp_44
 128                                                   else
 129                                                     let _ = "choicesBranch.else"
 130                                                      in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_37 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_44 farInp_45 farExp_46
 131                                           loop_50 = \_callReturn_51 callInput_52 callCatchStackByLabel_53 ->
 132                                             let _ = "pushValue"
 133                                              in let _ = "comment: satisfy"
 134                                                  in let inp_54 = callInput_52
 135                                                      in let readFail_55 = catchHandler_41 callInput_52
 136                                                          in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 137                                                              in if readMore_2 inp_54
 138                                                                   then
 139                                                                     let _ = "checkToken"
 140                                                                      in let !(#
 141                                                                                c_56,
 142                                                                                cs_57
 143                                                                                #) = readNext_3 inp_54
 144                                                                          in if (\c_58 -> GHC.Classes.not (('<' GHC.Classes.== c_58) GHC.Classes.|| (('>' GHC.Classes.== c_58) GHC.Classes.|| (('+' GHC.Classes.== c_58) GHC.Classes.|| (('-' GHC.Classes.== c_58) GHC.Classes.|| ((',' GHC.Classes.== c_58) GHC.Classes.|| (('.' GHC.Classes.== c_58) GHC.Classes.|| (('[' GHC.Classes.== c_58) GHC.Classes.|| ((']' GHC.Classes.== c_58) GHC.Classes.|| GHC.Types.False))))))))) c_56
 145                                                                               then do
 146                                                                                 sr_59 <- GHC.STRef.readSTRef reg_40
 147                                                                                 do
 148                                                                                   let dupv_60 = sr_59
 149                                                                                   GHC.STRef.writeSTRef reg_40 dupv_60
 150                                                                                   let _ = "jump"
 151                                                                                    in loop_50 (GHC.Err.error "invalid return") cs_57 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_55 Data.Map.Internal.Tip Data.Map.Internal.Tip)
 152                                                                               else
 153                                                                                 let _ = "checkToken.fail"
 154                                                                                  in readFail_55 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_54 init_1 Data.Set.Internal.empty
 155                                                                   else
 156                                                                     let _ = "checkHorizon.newCheck.fail"
 157                                                                      in let failExp_61 =
 158                                                                               Data.Set.Internal.Bin
 159                                                                                 1
 160                                                                                 ( Symantic.Parser.Grammar.Combinators.SomeFailure
 161                                                                                     ( case inputToken of
 162                                                                                         (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 163                                                                                     )
 164                                                                                 )
 165                                                                                 Data.Set.Internal.Tip
 166                                                                                 Data.Set.Internal.Tip
 167                                                                          in let (#
 168                                                                                   farInp_62,
 169                                                                                   farExp_63
 170                                                                                   #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_54 of
 171                                                                                     GHC.Types.LT ->
 172                                                                                       (#
 173                                                                                         inp_54,
 174                                                                                         failExp_61
 175                                                                                       #)
 176                                                                                     GHC.Types.EQ ->
 177                                                                                       (#
 178                                                                                         init_1,
 179                                                                                         failExp_61 GHC.Base.<> Data.Set.Internal.empty
 180                                                                                       #)
 181                                                                                     GHC.Types.GT ->
 182                                                                                       (#
 183                                                                                         init_1,
 184                                                                                         Data.Set.Internal.empty
 185                                                                                       #)
 186                                                                              in readFail_55 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_54 farInp_62 farExp_63
 187                                        in let _ = "jump"
 188                                            in loop_50 callReturn_35 callInput_36 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_37) Data.Map.Internal.Tip Data.Map.Internal.Tip)
 189                       name_64 = \(!callReturn_65) (!callInput_66) (!callCatchStackByLabel_67) ->
 190                         let _ = "pushValue"
 191                          in do
 192                               let dupv_68 = \x_69 -> x_69
 193                               reg_70 <- GHC.STRef.newSTRef dupv_68
 194                               let _ = "iter"
 195                                in let catchHandler_71 loopInput_72 (!_exn_73) (!failInp_74) (!farInp_75) (!farExp_76) =
 196                                         let _ = "pushInput"
 197                                          in if ( \( Data.Text.Internal.Text
 198                                                       _
 199                                                       i_77
 200                                                       _
 201                                                     )
 202                                                   ( Data.Text.Internal.Text
 203                                                       _
 204                                                       j_78
 205                                                       _
 206                                                     ) -> i_77 GHC.Classes.== j_78
 207                                                )
 208                                               loopInput_72
 209                                               failInp_74
 210                                               then
 211                                                 let _ = "choicesBranch.then"
 212                                                  in do
 213                                                       sr_79 <- GHC.STRef.readSTRef reg_70
 214                                                       let _ = "pushValue"
 215                                                        in let _ = "resume"
 216                                                            in callReturn_65
 217                                                                 farInp_75
 218                                                                 farExp_76
 219                                                                 ( let _ = "resume.genCode"
 220                                                                    in sr_79 GHC.Types . []
 221                                                                 )
 222                                                                 failInp_74
 223                                               else
 224                                                 let _ = "choicesBranch.else"
 225                                                  in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_67 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_74 farInp_75 farExp_76
 226                                       loop_80 = \_callReturn_81 callInput_82 callCatchStackByLabel_83 ->
 227                                         let _ = "pushValue"
 228                                          in let join_84 = \farInp_85 farExp_86 v_87 (!inp_88) ->
 229                                                   name_34
 230                                                     ( let _ = "suspend"
 231                                                        in \farInp_89 farExp_90 v_91 (!inp_92) ->
 232                                                             let _ = "pushValue"
 233                                                              in do
 234                                                                   sr_93 <- GHC.STRef.readSTRef reg_70
 235                                                                   do
 236                                                                     let dupv_94 = \x_95 -> sr_93 ((GHC.Types.:) v_87 x_95)
 237                                                                     GHC.STRef.writeSTRef reg_70 dupv_94
 238                                                                     let _ = "jump"
 239                                                                      in loop_80 (GHC.Err.error "invalid return") inp_92 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_71 callInput_82) Data.Map.Internal.Tip Data.Map.Internal.Tip)
 240                                                     )
 241                                                     inp_88
 242                                                     (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_71 callInput_82) Data.Map.Internal.Tip Data.Map.Internal.Tip)
 243                                              in let _ = "comment: look"
 244                                                  in let _ = "pushInput"
 245                                                      in let _ = "comment: satisfy"
 246                                                          in let inp_96 = callInput_82
 247                                                              in let readFail_97 = catchHandler_71 callInput_82
 248                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 249                                                                      in if readMore_2 inp_96
 250                                                                           then
 251                                                                             let _ = "checkToken"
 252                                                                              in let !(#
 253                                                                                        c_98,
 254                                                                                        cs_99
 255                                                                                        #) = readNext_3 inp_96
 256                                                                                  in let _ = "loadInput"
 257                                                                                      in let _ = "checkHorizon.noCheck"
 258                                                                                          in if (\x_100 -> (\x_101 -> \x_102 -> (GHC.Classes.==) x_101 x_102) '<' x_100) c_98
 259                                                                                               then
 260                                                                                                 let _ = "choicesBranch.then"
 261                                                                                                  in let _ = "pushValue"
 262                                                                                                      in let _ = "comment: satisfy"
 263                                                                                                          in let inp_103 = callInput_82
 264                                                                                                              in let readFail_104 = readFail_97
 265                                                                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 266                                                                                                                      in if readMore_2 inp_103
 267                                                                                                                           then
 268                                                                                                                             let _ = "checkToken"
 269                                                                                                                              in let !(#
 270                                                                                                                                        c_105,
 271                                                                                                                                        cs_106
 272                                                                                                                                        #) = readNext_3 inp_103
 273                                                                                                                                  in let _ = "resume"
 274                                                                                                                                      in join_84
 275                                                                                                                                           init_1
 276                                                                                                                                           Data.Set.Internal.empty
 277                                                                                                                                           ( let _ = "resume.genCode"
 278                                                                                                                                              in Parsers.Brainfuck.Types.Backward
 279                                                                                                                                           )
 280                                                                                                                                           cs_106
 281                                                                                                                           else
 282                                                                                                                             let _ = "checkHorizon.newCheck.fail"
 283                                                                                                                              in let failExp_107 =
 284                                                                                                                                       Data.Set.Internal.Bin
 285                                                                                                                                         1
 286                                                                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 287                                                                                                                                             ( case inputToken of
 288                                                                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 289                                                                                                                                             )
 290                                                                                                                                         )
 291                                                                                                                                         Data.Set.Internal.Tip
 292                                                                                                                                         Data.Set.Internal.Tip
 293                                                                                                                                  in let (#
 294                                                                                                                                           farInp_108,
 295                                                                                                                                           farExp_109
 296                                                                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_103 of
 297                                                                                                                                             GHC.Types.LT ->
 298                                                                                                                                               (#
 299                                                                                                                                                 inp_103,
 300                                                                                                                                                 failExp_107
 301                                                                                                                                               #)
 302                                                                                                                                             GHC.Types.EQ ->
 303                                                                                                                                               (#
 304                                                                                                                                                 init_1,
 305                                                                                                                                                 failExp_107 GHC.Base.<> Data.Set.Internal.empty
 306                                                                                                                                               #)
 307                                                                                                                                             GHC.Types.GT ->
 308                                                                                                                                               (#
 309                                                                                                                                                 init_1,
 310                                                                                                                                                 Data.Set.Internal.empty
 311                                                                                                                                               #)
 312                                                                                                                                      in readFail_104 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_103 farInp_108 farExp_109
 313                                                                                               else
 314                                                                                                 let _ = "choicesBranch.else"
 315                                                                                                  in if (\x_110 -> (\x_111 -> \x_112 -> (GHC.Classes.==) x_111 x_112) '>' x_110) c_98
 316                                                                                                       then
 317                                                                                                         let _ = "choicesBranch.then"
 318                                                                                                          in let _ = "pushValue"
 319                                                                                                              in let _ = "comment: satisfy"
 320                                                                                                                  in let inp_113 = callInput_82
 321                                                                                                                      in let readFail_114 = readFail_97
 322                                                                                                                          in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 323                                                                                                                              in if readMore_2 inp_113
 324                                                                                                                                   then
 325                                                                                                                                     let _ = "checkToken"
 326                                                                                                                                      in let !(#
 327                                                                                                                                                c_115,
 328                                                                                                                                                cs_116
 329                                                                                                                                                #) = readNext_3 inp_113
 330                                                                                                                                          in let _ = "resume"
 331                                                                                                                                              in join_84
 332                                                                                                                                                   init_1
 333                                                                                                                                                   Data.Set.Internal.empty
 334                                                                                                                                                   ( let _ = "resume.genCode"
 335                                                                                                                                                      in Parsers.Brainfuck.Types.Forward
 336                                                                                                                                                   )
 337                                                                                                                                                   cs_116
 338                                                                                                                                   else
 339                                                                                                                                     let _ = "checkHorizon.newCheck.fail"
 340                                                                                                                                      in let failExp_117 =
 341                                                                                                                                               Data.Set.Internal.Bin
 342                                                                                                                                                 1
 343                                                                                                                                                 ( Symantic.Parser.Grammar.Combinators.SomeFailure
 344                                                                                                                                                     ( case inputToken of
 345                                                                                                                                                         (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 346                                                                                                                                                     )
 347                                                                                                                                                 )
 348                                                                                                                                                 Data.Set.Internal.Tip
 349                                                                                                                                                 Data.Set.Internal.Tip
 350                                                                                                                                          in let (#
 351                                                                                                                                                   farInp_118,
 352                                                                                                                                                   farExp_119
 353                                                                                                                                                   #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_113 of
 354                                                                                                                                                     GHC.Types.LT ->
 355                                                                                                                                                       (#
 356                                                                                                                                                         inp_113,
 357                                                                                                                                                         failExp_117
 358                                                                                                                                                       #)
 359                                                                                                                                                     GHC.Types.EQ ->
 360                                                                                                                                                       (#
 361                                                                                                                                                         init_1,
 362                                                                                                                                                         failExp_117 GHC.Base.<> Data.Set.Internal.empty
 363                                                                                                                                                       #)
 364                                                                                                                                                     GHC.Types.GT ->
 365                                                                                                                                                       (#
 366                                                                                                                                                         init_1,
 367                                                                                                                                                         Data.Set.Internal.empty
 368                                                                                                                                                       #)
 369                                                                                                                                              in readFail_114 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_113 farInp_118 farExp_119
 370                                                                                                       else
 371                                                                                                         let _ = "choicesBranch.else"
 372                                                                                                          in if (\x_120 -> (\x_121 -> \x_122 -> (GHC.Classes.==) x_121 x_122) '+' x_120) c_98
 373                                                                                                               then
 374                                                                                                                 let _ = "choicesBranch.then"
 375                                                                                                                  in let _ = "pushValue"
 376                                                                                                                      in let _ = "comment: satisfy"
 377                                                                                                                          in let inp_123 = callInput_82
 378                                                                                                                              in let readFail_124 = readFail_97
 379                                                                                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 380                                                                                                                                      in if readMore_2 inp_123
 381                                                                                                                                           then
 382                                                                                                                                             let _ = "checkToken"
 383                                                                                                                                              in let !(#
 384                                                                                                                                                        c_125,
 385                                                                                                                                                        cs_126
 386                                                                                                                                                        #) = readNext_3 inp_123
 387                                                                                                                                                  in let _ = "resume"
 388                                                                                                                                                      in join_84
 389                                                                                                                                                           init_1
 390                                                                                                                                                           Data.Set.Internal.empty
 391                                                                                                                                                           ( let _ = "resume.genCode"
 392                                                                                                                                                              in Parsers.Brainfuck.Types.Increment
 393                                                                                                                                                           )
 394                                                                                                                                                           cs_126
 395                                                                                                                                           else
 396                                                                                                                                             let _ = "checkHorizon.newCheck.fail"
 397                                                                                                                                              in let failExp_127 =
 398                                                                                                                                                       Data.Set.Internal.Bin
 399                                                                                                                                                         1
 400                                                                                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 401                                                                                                                                                             ( case inputToken of
 402                                                                                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 403                                                                                                                                                             )
 404                                                                                                                                                         )
 405                                                                                                                                                         Data.Set.Internal.Tip
 406                                                                                                                                                         Data.Set.Internal.Tip
 407                                                                                                                                                  in let (#
 408                                                                                                                                                           farInp_128,
 409                                                                                                                                                           farExp_129
 410                                                                                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_123 of
 411                                                                                                                                                             GHC.Types.LT ->
 412                                                                                                                                                               (#
 413                                                                                                                                                                 inp_123,
 414                                                                                                                                                                 failExp_127
 415                                                                                                                                                               #)
 416                                                                                                                                                             GHC.Types.EQ ->
 417                                                                                                                                                               (#
 418                                                                                                                                                                 init_1,
 419                                                                                                                                                                 failExp_127 GHC.Base.<> Data.Set.Internal.empty
 420                                                                                                                                                               #)
 421                                                                                                                                                             GHC.Types.GT ->
 422                                                                                                                                                               (#
 423                                                                                                                                                                 init_1,
 424                                                                                                                                                                 Data.Set.Internal.empty
 425                                                                                                                                                               #)
 426                                                                                                                                                      in readFail_124 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_123 farInp_128 farExp_129
 427                                                                                                               else
 428                                                                                                                 let _ = "choicesBranch.else"
 429                                                                                                                  in if (\x_130 -> (\x_131 -> \x_132 -> (GHC.Classes.==) x_131 x_132) '-' x_130) c_98
 430                                                                                                                       then
 431                                                                                                                         let _ = "choicesBranch.then"
 432                                                                                                                          in let _ = "pushValue"
 433                                                                                                                              in let _ = "comment: satisfy"
 434                                                                                                                                  in let inp_133 = callInput_82
 435                                                                                                                                      in let readFail_134 = readFail_97
 436                                                                                                                                          in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 437                                                                                                                                              in if readMore_2 inp_133
 438                                                                                                                                                   then
 439                                                                                                                                                     let _ = "checkToken"
 440                                                                                                                                                      in let !(#
 441                                                                                                                                                                c_135,
 442                                                                                                                                                                cs_136
 443                                                                                                                                                                #) = readNext_3 inp_133
 444                                                                                                                                                          in let _ = "resume"
 445                                                                                                                                                              in join_84
 446                                                                                                                                                                   init_1
 447                                                                                                                                                                   Data.Set.Internal.empty
 448                                                                                                                                                                   ( let _ = "resume.genCode"
 449                                                                                                                                                                      in Parsers.Brainfuck.Types.Decrement
 450                                                                                                                                                                   )
 451                                                                                                                                                                   cs_136
 452                                                                                                                                                   else
 453                                                                                                                                                     let _ = "checkHorizon.newCheck.fail"
 454                                                                                                                                                      in let failExp_137 =
 455                                                                                                                                                               Data.Set.Internal.Bin
 456                                                                                                                                                                 1
 457                                                                                                                                                                 ( Symantic.Parser.Grammar.Combinators.SomeFailure
 458                                                                                                                                                                     ( case inputToken of
 459                                                                                                                                                                         (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 460                                                                                                                                                                     )
 461                                                                                                                                                                 )
 462                                                                                                                                                                 Data.Set.Internal.Tip
 463                                                                                                                                                                 Data.Set.Internal.Tip
 464                                                                                                                                                          in let (#
 465                                                                                                                                                                   farInp_138,
 466                                                                                                                                                                   farExp_139
 467                                                                                                                                                                   #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_133 of
 468                                                                                                                                                                     GHC.Types.LT ->
 469                                                                                                                                                                       (#
 470                                                                                                                                                                         inp_133,
 471                                                                                                                                                                         failExp_137
 472                                                                                                                                                                       #)
 473                                                                                                                                                                     GHC.Types.EQ ->
 474                                                                                                                                                                       (#
 475                                                                                                                                                                         init_1,
 476                                                                                                                                                                         failExp_137 GHC.Base.<> Data.Set.Internal.empty
 477                                                                                                                                                                       #)
 478                                                                                                                                                                     GHC.Types.GT ->
 479                                                                                                                                                                       (#
 480                                                                                                                                                                         init_1,
 481                                                                                                                                                                         Data.Set.Internal.empty
 482                                                                                                                                                                       #)
 483                                                                                                                                                              in readFail_134 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_133 farInp_138 farExp_139
 484                                                                                                                       else
 485                                                                                                                         let _ = "choicesBranch.else"
 486                                                                                                                          in if (\x_140 -> (\x_141 -> \x_142 -> (GHC.Classes.==) x_141 x_142) ',' x_140) c_98
 487                                                                                                                               then
 488                                                                                                                                 let _ = "choicesBranch.then"
 489                                                                                                                                  in let _ = "pushValue"
 490                                                                                                                                      in let _ = "comment: satisfy"
 491                                                                                                                                          in let inp_143 = callInput_82
 492                                                                                                                                              in let readFail_144 = readFail_97
 493                                                                                                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 494                                                                                                                                                      in if readMore_2 inp_143
 495                                                                                                                                                           then
 496                                                                                                                                                             let _ = "checkToken"
 497                                                                                                                                                              in let !(#
 498                                                                                                                                                                        c_145,
 499                                                                                                                                                                        cs_146
 500                                                                                                                                                                        #) = readNext_3 inp_143
 501                                                                                                                                                                  in let _ = "resume"
 502                                                                                                                                                                      in join_84
 503                                                                                                                                                                           init_1
 504                                                                                                                                                                           Data.Set.Internal.empty
 505                                                                                                                                                                           ( let _ = "resume.genCode"
 506                                                                                                                                                                              in Parsers.Brainfuck.Types.Input
 507                                                                                                                                                                           )
 508                                                                                                                                                                           cs_146
 509                                                                                                                                                           else
 510                                                                                                                                                             let _ = "checkHorizon.newCheck.fail"
 511                                                                                                                                                              in let failExp_147 =
 512                                                                                                                                                                       Data.Set.Internal.Bin
 513                                                                                                                                                                         1
 514                                                                                                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 515                                                                                                                                                                             ( case inputToken of
 516                                                                                                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 517                                                                                                                                                                             )
 518                                                                                                                                                                         )
 519                                                                                                                                                                         Data.Set.Internal.Tip
 520                                                                                                                                                                         Data.Set.Internal.Tip
 521                                                                                                                                                                  in let (#
 522                                                                                                                                                                           farInp_148,
 523                                                                                                                                                                           farExp_149
 524                                                                                                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_143 of
 525                                                                                                                                                                             GHC.Types.LT ->
 526                                                                                                                                                                               (#
 527                                                                                                                                                                                 inp_143,
 528                                                                                                                                                                                 failExp_147
 529                                                                                                                                                                               #)
 530                                                                                                                                                                             GHC.Types.EQ ->
 531                                                                                                                                                                               (#
 532                                                                                                                                                                                 init_1,
 533                                                                                                                                                                                 failExp_147 GHC.Base.<> Data.Set.Internal.empty
 534                                                                                                                                                                               #)
 535                                                                                                                                                                             GHC.Types.GT ->
 536                                                                                                                                                                               (#
 537                                                                                                                                                                                 init_1,
 538                                                                                                                                                                                 Data.Set.Internal.empty
 539                                                                                                                                                                               #)
 540                                                                                                                                                                      in readFail_144 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_143 farInp_148 farExp_149
 541                                                                                                                               else
 542                                                                                                                                 let _ = "choicesBranch.else"
 543                                                                                                                                  in if (\x_150 -> (\x_151 -> \x_152 -> (GHC.Classes.==) x_151 x_152) '.' x_150) c_98
 544                                                                                                                                       then
 545                                                                                                                                         let _ = "choicesBranch.then"
 546                                                                                                                                          in let _ = "pushValue"
 547                                                                                                                                              in let _ = "comment: satisfy"
 548                                                                                                                                                  in let inp_153 = callInput_82
 549                                                                                                                                                      in let readFail_154 = readFail_97
 550                                                                                                                                                          in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 551                                                                                                                                                              in if readMore_2 inp_153
 552                                                                                                                                                                   then
 553                                                                                                                                                                     let _ = "checkToken"
 554                                                                                                                                                                      in let !(#
 555                                                                                                                                                                                c_155,
 556                                                                                                                                                                                cs_156
 557                                                                                                                                                                                #) = readNext_3 inp_153
 558                                                                                                                                                                          in let _ = "resume"
 559                                                                                                                                                                              in join_84
 560                                                                                                                                                                                   init_1
 561                                                                                                                                                                                   Data.Set.Internal.empty
 562                                                                                                                                                                                   ( let _ = "resume.genCode"
 563                                                                                                                                                                                      in Parsers.Brainfuck.Types.Output
 564                                                                                                                                                                                   )
 565                                                                                                                                                                                   cs_156
 566                                                                                                                                                                   else
 567                                                                                                                                                                     let _ = "checkHorizon.newCheck.fail"
 568                                                                                                                                                                      in let failExp_157 =
 569                                                                                                                                                                               Data.Set.Internal.Bin
 570                                                                                                                                                                                 1
 571                                                                                                                                                                                 ( Symantic.Parser.Grammar.Combinators.SomeFailure
 572                                                                                                                                                                                     ( case inputToken of
 573                                                                                                                                                                                         (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 574                                                                                                                                                                                     )
 575                                                                                                                                                                                 )
 576                                                                                                                                                                                 Data.Set.Internal.Tip
 577                                                                                                                                                                                 Data.Set.Internal.Tip
 578                                                                                                                                                                          in let (#
 579                                                                                                                                                                                   farInp_158,
 580                                                                                                                                                                                   farExp_159
 581                                                                                                                                                                                   #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_153 of
 582                                                                                                                                                                                     GHC.Types.LT ->
 583                                                                                                                                                                                       (#
 584                                                                                                                                                                                         inp_153,
 585                                                                                                                                                                                         failExp_157
 586                                                                                                                                                                                       #)
 587                                                                                                                                                                                     GHC.Types.EQ ->
 588                                                                                                                                                                                       (#
 589                                                                                                                                                                                         init_1,
 590                                                                                                                                                                                         failExp_157 GHC.Base.<> Data.Set.Internal.empty
 591                                                                                                                                                                                       #)
 592                                                                                                                                                                                     GHC.Types.GT ->
 593                                                                                                                                                                                       (#
 594                                                                                                                                                                                         init_1,
 595                                                                                                                                                                                         Data.Set.Internal.empty
 596                                                                                                                                                                                       #)
 597                                                                                                                                                                              in readFail_154 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_153 farInp_158 farExp_159
 598                                                                                                                                       else
 599                                                                                                                                         let _ = "choicesBranch.else"
 600                                                                                                                                          in if (\x_160 -> (\x_161 -> \x_162 -> (GHC.Classes.==) x_161 x_162) '[' x_160) c_98
 601                                                                                                                                               then
 602                                                                                                                                                 let _ = "choicesBranch.then"
 603                                                                                                                                                  in let _ = "pushValue"
 604                                                                                                                                                      in let _ = "comment: satisfy"
 605                                                                                                                                                          in let inp_163 = callInput_82
 606                                                                                                                                                              in let readFail_164 = readFail_97
 607                                                                                                                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 608                                                                                                                                                                      in if readMore_2 inp_163
 609                                                                                                                                                                           then
 610                                                                                                                                                                             let _ = "checkToken"
 611                                                                                                                                                                              in let !(#
 612                                                                                                                                                                                        c_165,
 613                                                                                                                                                                                        cs_166
 614                                                                                                                                                                                        #) = readNext_3 inp_163
 615                                                                                                                                                                                  in name_34
 616                                                                                                                                                                                       ( let _ = "suspend"
 617                                                                                                                                                                                          in \farInp_167 farExp_168 v_169 (!inp_170) ->
 618                                                                                                                                                                                               name_64
 619                                                                                                                                                                                                 ( let _ = "suspend"
 620                                                                                                                                                                                                    in \farInp_171 farExp_172 v_173 (!inp_174) ->
 621                                                                                                                                                                                                         let _ = "comment: satisfy"
 622                                                                                                                                                                                                          in let inp_175 = inp_174
 623                                                                                                                                                                                                              in let readFail_176 = readFail_164
 624                                                                                                                                                                                                                  in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
 625                                                                                                                                                                                                                      in if readMore_2 inp_175
 626                                                                                                                                                                                                                           then
 627                                                                                                                                                                                                                             let _ = "checkToken"
 628                                                                                                                                                                                                                              in let !(#
 629                                                                                                                                                                                                                                        c_177,
 630                                                                                                                                                                                                                                        cs_178
 631                                                                                                                                                                                                                                        #) = readNext_3 inp_175
 632                                                                                                                                                                                                                                  in if (GHC.Classes.==) ']' c_177
 633                                                                                                                                                                                                                                       then
 634                                                                                                                                                                                                                                         let _ = "resume"
 635                                                                                                                                                                                                                                          in join_84
 636                                                                                                                                                                                                                                               farInp_171
 637                                                                                                                                                                                                                                               farExp_172
 638                                                                                                                                                                                                                                               ( let _ = "resume.genCode"
 639                                                                                                                                                                                                                                                  in Parsers.Brainfuck.Types.Loop v_173
 640                                                                                                                                                                                                                                               )
 641                                                                                                                                                                                                                                               cs_178
 642                                                                                                                                                                                                                                       else
 643                                                                                                                                                                                                                                         let _ = "checkToken.fail"
 644                                                                                                                                                                                                                                          in readFail_176 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_175 farInp_171 farExp_172
 645                                                                                                                                                                                                                           else
 646                                                                                                                                                                                                                             let _ = "checkHorizon.newCheck.fail"
 647                                                                                                                                                                                                                              in let failExp_179 =
 648                                                                                                                                                                                                                                       Data.Set.Internal.Bin
 649                                                                                                                                                                                                                                         1
 650                                                                                                                                                                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 651                                                                                                                                                                                                                                             ( case inputToken of
 652                                                                                                                                                                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 653                                                                                                                                                                                                                                             )
 654                                                                                                                                                                                                                                         )
 655                                                                                                                                                                                                                                         Data.Set.Internal.Tip
 656                                                                                                                                                                                                                                         Data.Set.Internal.Tip
 657                                                                                                                                                                                                                                  in let (#
 658                                                                                                                                                                                                                                           farInp_180,
 659                                                                                                                                                                                                                                           farExp_181
 660                                                                                                                                                                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_171 inp_175 of
 661                                                                                                                                                                                                                                             GHC.Types.LT ->
 662                                                                                                                                                                                                                                               (#
 663                                                                                                                                                                                                                                                 inp_175,
 664                                                                                                                                                                                                                                                 failExp_179
 665                                                                                                                                                                                                                                               #)
 666                                                                                                                                                                                                                                             GHC.Types.EQ ->
 667                                                                                                                                                                                                                                               (#
 668                                                                                                                                                                                                                                                 farInp_171,
 669                                                                                                                                                                                                                                                 failExp_179 GHC.Base.<> farExp_172
 670                                                                                                                                                                                                                                               #)
 671                                                                                                                                                                                                                                             GHC.Types.GT ->
 672                                                                                                                                                                                                                                               (#
 673                                                                                                                                                                                                                                                 farInp_171,
 674                                                                                                                                                                                                                                                 farExp_172
 675                                                                                                                                                                                                                                               #)
 676                                                                                                                                                                                                                                      in readFail_176 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_175 farInp_180 farExp_181
 677                                                                                                                                                                                                 )
 678                                                                                                                                                                                                 inp_170
 679                                                                                                                                                                                                 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_164 Data.Map.Internal.Tip Data.Map.Internal.Tip)
 680                                                                                                                                                                                       )
 681                                                                                                                                                                                       cs_166
 682                                                                                                                                                                                       (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_164 Data.Map.Internal.Tip Data.Map.Internal.Tip)
 683                                                                                                                                                                           else
 684                                                                                                                                                                             let _ = "checkHorizon.newCheck.fail"
 685                                                                                                                                                                              in let failExp_182 =
 686                                                                                                                                                                                       Data.Set.Internal.Bin
 687                                                                                                                                                                                         1
 688                                                                                                                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 689                                                                                                                                                                                             ( case inputToken of
 690                                                                                                                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 691                                                                                                                                                                                             )
 692                                                                                                                                                                                         )
 693                                                                                                                                                                                         Data.Set.Internal.Tip
 694                                                                                                                                                                                         Data.Set.Internal.Tip
 695                                                                                                                                                                                  in let (#
 696                                                                                                                                                                                           farInp_183,
 697                                                                                                                                                                                           farExp_184
 698                                                                                                                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_163 of
 699                                                                                                                                                                                             GHC.Types.LT ->
 700                                                                                                                                                                                               (#
 701                                                                                                                                                                                                 inp_163,
 702                                                                                                                                                                                                 failExp_182
 703                                                                                                                                                                                               #)
 704                                                                                                                                                                                             GHC.Types.EQ ->
 705                                                                                                                                                                                               (#
 706                                                                                                                                                                                                 init_1,
 707                                                                                                                                                                                                 failExp_182 GHC.Base.<> Data.Set.Internal.empty
 708                                                                                                                                                                                               #)
 709                                                                                                                                                                                             GHC.Types.GT ->
 710                                                                                                                                                                                               (#
 711                                                                                                                                                                                                 init_1,
 712                                                                                                                                                                                                 Data.Set.Internal.empty
 713                                                                                                                                                                                               #)
 714                                                                                                                                                                                      in readFail_164 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_163 farInp_183 farExp_184
 715                                                                                                                                               else
 716                                                                                                                                                 let _ = "choicesBranch.else"
 717                                                                                                                                                  in let failExp_185 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEmpty) Data.Set.Internal.Tip Data.Set.Internal.Tip
 718                                                                                                                                                      in let (#
 719                                                                                                                                                               farInp_186,
 720                                                                                                                                                               farExp_187
 721                                                                                                                                                               #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 callInput_82 of
 722                                                                                                                                                                 GHC.Types.LT ->
 723                                                                                                                                                                   (#
 724                                                                                                                                                                     callInput_82,
 725                                                                                                                                                                     failExp_185
 726                                                                                                                                                                   #)
 727                                                                                                                                                                 GHC.Types.EQ ->
 728                                                                                                                                                                   (#
 729                                                                                                                                                                     init_1,
 730                                                                                                                                                                     failExp_185 GHC.Base.<> Data.Set.Internal.empty
 731                                                                                                                                                                   #)
 732                                                                                                                                                                 GHC.Types.GT ->
 733                                                                                                                                                                   (#
 734                                                                                                                                                                     init_1,
 735                                                                                                                                                                     Data.Set.Internal.empty
 736                                                                                                                                                                   #)
 737                                                                                                                                                          in readFail_97 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_82 farInp_186 farExp_187
 738                                                                           else
 739                                                                             let _ = "checkHorizon.newCheck.fail"
 740                                                                              in let failExp_188 =
 741                                                                                       Data.Set.Internal.Bin
 742                                                                                         1
 743                                                                                         ( Symantic.Parser.Grammar.Combinators.SomeFailure
 744                                                                                             ( case inputToken of
 745                                                                                                 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
 746                                                                                             )
 747                                                                                         )
 748                                                                                         Data.Set.Internal.Tip
 749                                                                                         Data.Set.Internal.Tip
 750                                                                                  in let (#
 751                                                                                           farInp_189,
 752                                                                                           farExp_190
 753                                                                                           #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_96 of
 754                                                                                             GHC.Types.LT ->
 755                                                                                               (#
 756                                                                                                 inp_96,
 757                                                                                                 failExp_188
 758                                                                                               #)
 759                                                                                             GHC.Types.EQ ->
 760                                                                                               (#
 761                                                                                                 init_1,
 762                                                                                                 failExp_188 GHC.Base.<> Data.Set.Internal.empty
 763                                                                                               #)
 764                                                                                             GHC.Types.GT ->
 765                                                                                               (#
 766                                                                                                 init_1,
 767                                                                                                 Data.Set.Internal.empty
 768                                                                                               #)
 769                                                                                      in readFail_97 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_96 farInp_189 farExp_190
 770                                    in let _ = "jump"
 771                                        in loop_80 callReturn_65 callInput_66 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_67) Data.Map.Internal.Tip Data.Map.Internal.Tip)
 772                    in let _ = "pushValue"
 773                        in name_34
 774                             ( let _ = "suspend"
 775                                in \farInp_191 farExp_192 v_193 (!inp_194) ->
 776                                     name_64
 777                                       ( let _ = "suspend"
 778                                          in \farInp_195 farExp_196 v_197 (!inp_198) ->
 779                                               let _ = "resume"
 780                                                in finalRet_13
 781                                                     farInp_195
 782                                                     farExp_196
 783                                                     ( let _ = "resume.genCode"
 784                                                        in GHC.Show.show v_197
 785                                                     )
 786                                                     inp_198
 787                                       )
 788                                       inp_194
 789                                       Data.Map.Internal.Tip
 790                             )
 791                             init_1
 792                             Data.Map.Internal.Tip
 793         )