test/Golden/Grammar/OptimizeGrammar/G14.expected.txt

   1 lets
   2 + let <hidden>
   3 | ` <*>
   4 |   + <*>
   5 |   | + pure (\x_0 -> \x_1 -> x_1)
   6 |   | ` ref <hidden>
   7 |   ` <|>
   8 |     + <*>
   9 |     | + pure (\x_0 -> GHC.Tuple.())
  10 |     | ` ref <hidden>
  11 |     ` ref <hidden>
  12 + let <hidden>
  13 | ` <*>
  14 |   + <*>
  15 |   | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
  16 |   | ` ref <hidden>
  17 |   ` chainPost
  18 |     + pure GHC.Tuple.()
  19 |     ` <*>
  20 |       + pure (\x_0 -> \x_1 -> x_1)
  21 |       ` ref <hidden>
  22 + let <hidden>
  23 | ` <*>
  24 |   + <*>
  25 |   | + <*>
  26 |   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
  27 |   | | ` ref <hidden>
  28 |   | ` chainPost
  29 |   |   + ref <hidden>
  30 |   |   ` <*>
  31 |   |     + <*>
  32 |   |     | + <*>
  33 |   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
  34 |   |     | | ` satisfy ((GHC.Classes.==) '!')
  35 |   |     | ` ref <hidden>
  36 |   |     ` ref <hidden>
  37 |   ` ref <hidden>
  38 + let <hidden>
  39 | ` <*>
  40 |   + <*>
  41 |   | + <*>
  42 |   | | + <*>
  43 |   | | | + <*>
  44 |   | | | | + <*>
  45 |   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
  46 |   | | | | | ` satisfy ((GHC.Classes.==) '[')
  47 |   | | | | ` ref <hidden>
  48 |   | | | ` ref <hidden>
  49 |   | | ` chainPost
  50 |   | |   + pure GHC.Tuple.()
  51 |   | |   ` <*>
  52 |   | |     + pure (\x_0 -> \x_1 -> x_1)
  53 |   | |     ` ref <hidden>
  54 |   | ` satisfy ((GHC.Classes.==) ']')
  55 |   ` ref <hidden>
  56 + let <hidden>
  57 | ` <*>
  58 |   + <*>
  59 |   | + <*>
  60 |   | | + <*>
  61 |   | | | + <*>
  62 |   | | | | + <*>
  63 |   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
  64 |   | | | | | ` satisfy ((GHC.Classes.==) '{')
  65 |   | | | | ` ref <hidden>
  66 |   | | | ` chainPost
  67 |   | | |   + ref <hidden>
  68 |   | | |   ` <*>
  69 |   | | |     + pure (\x_0 -> \x_1 -> x_1)
  70 |   | | |     ` <|>
  71 |   | | |       + <*>
  72 |   | | |       | + <*>
  73 |   | | |       | | + pure (\x_0 -> \x_1 -> x_1)
  74 |   | | |       | | ` try
  75 |   | | |       | |   ` <*>
  76 |   | | |       | |     + <*>
  77 |   | | |       | |     | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
  78 |   | | |       | |     | ` satisfy ((GHC.Classes.==) 'i')
  79 |   | | |       | |     ` satisfy ((GHC.Classes.==) 'f')
  80 |   | | |       | ` ref <hidden>
  81 |   | | |       ` <|>
  82 |   | | |         + <*>
  83 |   | | |         | + <*>
  84 |   | | |         | | + <*>
  85 |   | | |         | | | + <*>
  86 |   | | |         | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
  87 |   | | |         | | | | ` try
  88 |   | | |         | | | |   ` <*>
  89 |   | | |         | | | |     + <*>
  90 |   | | |         | | | |     | + <*>
  91 |   | | |         | | | |     | | + <*>
  92 |   | | |         | | | |     | | | + <*>
  93 |   | | |         | | | |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
  94 |   | | |         | | | |     | | | | ` satisfy ((GHC.Classes.==) 'w')
  95 |   | | |         | | | |     | | | ` satisfy ((GHC.Classes.==) 'h')
  96 |   | | |         | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
  97 |   | | |         | | | |     | ` satisfy ((GHC.Classes.==) 'l')
  98 |   | | |         | | | |     ` satisfy ((GHC.Classes.==) 'e')
  99 |   | | |         | | | ` ref <hidden>
 100 |   | | |         | | ` ref <hidden>
 101 |   | | |         | ` rec <hidden>
 102 |   | | |         ` <|>
 103 |   | | |           + try
 104 |   | | |           | ` <*>
 105 |   | | |           |   + <*>
 106 |   | | |           |   | + <*>
 107 |   | | |           |   | | + <*>
 108 |   | | |           |   | | | + <*>
 109 |   | | |           |   | | | | + <*>
 110 |   | | |           |   | | | | | + <*>
 111 |   | | |           |   | | | | | | + <*>
 112 |   | | |           |   | | | | | | | + <*>
 113 |   | | |           |   | | | | | | | | + <*>
 114 |   | | |           |   | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
 115 |   | | |           |   | | | | | | | | | ` <|>
 116 |   | | |           |   | | | | | | | | |   + <*>
 117 |   | | |           |   | | | | | | | | |   | + <*>
 118 |   | | |           |   | | | | | | | | |   | | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
 119 |   | | |           |   | | | | | | | | |   | | ` try
 120 |   | | |           |   | | | | | | | | |   | |   ` <*>
 121 |   | | |           |   | | | | | | | | |   | |     + <*>
 122 |   | | |           |   | | | | | | | | |   | |     | + <*>
 123 |   | | |           |   | | | | | | | | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
 124 |   | | |           |   | | | | | | | | |   | |     | | ` satisfy ((GHC.Classes.==) 'v')
 125 |   | | |           |   | | | | | | | | |   | |     | ` satisfy ((GHC.Classes.==) 'a')
 126 |   | | |           |   | | | | | | | | |   | |     ` satisfy ((GHC.Classes.==) 'r')
 127 |   | | |           |   | | | | | | | | |   | ` ref <hidden>
 128 |   | | |           |   | | | | | | | | |   ` ref <hidden>
 129 |   | | |           |   | | | | | | | | ` ref <hidden>
 130 |   | | |           |   | | | | | | | ` chainPost
 131 |   | | |           |   | | | | | | |   + ref <hidden>
 132 |   | | |           |   | | | | | | |   ` <*>
 133 |   | | |           |   | | | | | | |     + <*>
 134 |   | | |           |   | | | | | | |     | + <*>
 135 |   | | |           |   | | | | | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 136 |   | | |           |   | | | | | | |     | | ` ref <hidden>
 137 |   | | |           |   | | | | | | |     | ` ref <hidden>
 138 |   | | |           |   | | | | | | |     ` ref <hidden>
 139 |   | | |           |   | | | | | | ` ref <hidden>
 140 |   | | |           |   | | | | | ` satisfy ((GHC.Classes.==) '=')
 141 |   | | |           |   | | | | ` ref <hidden>
 142 |   | | |           |   | | | ` ref <hidden>
 143 |   | | |           |   | | ` chainPost
 144 |   | | |           |   | |   + ref <hidden>
 145 |   | | |           |   | |   ` <*>
 146 |   | | |           |   | |     + <*>
 147 |   | | |           |   | |     | + <*>
 148 |   | | |           |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 149 |   | | |           |   | |     | | ` ref <hidden>
 150 |   | | |           |   | |     | ` ref <hidden>
 151 |   | | |           |   | |     ` ref <hidden>
 152 |   | | |           |   | ` ref <hidden>
 153 |   | | |           |   ` ref <hidden>
 154 |   | | |           ` <*>
 155 |   | | |             + <*>
 156 |   | | |             | + pure (\x_0 -> \x_1 -> x_0)
 157 |   | | |             | ` ref <hidden>
 158 |   | | |             ` ref <hidden>
 159 |   | | ` ref <hidden>
 160 |   | ` satisfy ((GHC.Classes.==) '}')
 161 |   ` ref <hidden>
 162 + let <hidden>
 163 | ` <*>
 164 |   + <*>
 165 |   | + pure (\x_0 -> \x_1 -> '(')
 166 |   | ` satisfy ((GHC.Classes.==) '(')
 167 |   ` ref <hidden>
 168 + let <hidden>
 169 | ` <*>
 170 |   + <*>
 171 |   | + pure (\x_0 -> \x_1 -> ')')
 172 |   | ` satisfy ((GHC.Classes.==) ')')
 173 |   ` ref <hidden>
 174 + let <hidden>
 175 | ` <*>
 176 |   + <*>
 177 |   | + pure (\x_0 -> \x_1 -> ',')
 178 |   | ` satisfy ((GHC.Classes.==) ',')
 179 |   ` ref <hidden>
 180 + let <hidden>
 181 | ` <*>
 182 |   + <*>
 183 |   | + pure (\x_0 -> \x_1 -> ';')
 184 |   | ` satisfy ((GHC.Classes.==) ';')
 185 |   ` ref <hidden>
 186 + let <hidden>
 187 | ` <*>
 188 |   + <*>
 189 |   | + pure (\x_0 -> \x_1 -> x_1)
 190 |   | ` satisfy GHC.Unicode.isSpace
 191 |   ` ref <hidden>
 192 + let <hidden>
 193 | ` <*>
 194 |   + <*>
 195 |   | + pure (\x_0 -> \x_1 -> x_1)
 196 |   | ` try
 197 |   |   ` <*>
 198 |   |     + <*>
 199 |   |     | + <*>
 200 |   |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
 201 |   |     | | ` satisfy Parsers.Nandlang.nandIdentStart
 202 |   |     | ` chainPost
 203 |   |     |   + ref <hidden>
 204 |   |     |   ` <*>
 205 |   |     |     + pure (\x_0 -> \x_1 -> x_1)
 206 |   |     |     ` satisfy Parsers.Nandlang.nandIdentLetter
 207 |   |     ` ref <hidden>
 208 |   ` ref <hidden>
 209 + let <hidden>
 210 | ` <|>
 211 |   + <*>
 212 |   | + <*>
 213 |   | | + pure (\x_0 -> \x_1 -> x_1)
 214 |   | | ` <|>
 215 |   | |   + <*>
 216 |   | |   | + pure (\x_0 -> '0')
 217 |   | |   | ` satisfy ((GHC.Classes.==) '0')
 218 |   | |   ` <*>
 219 |   | |     + pure (\x_0 -> '1')
 220 |   | |     ` satisfy ((GHC.Classes.==) '1')
 221 |   | ` ref <hidden>
 222 |   ` <|>
 223 |     + <*>
 224 |     | + <*>
 225 |     | | + <*>
 226 |     | | | + <*>
 227 |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
 228 |     | | | | ` satisfy ((GHC.Classes.==) '\'')
 229 |     | | | ` <|>
 230 |     | | |   + <*>
 231 |     | | |   | + <*>
 232 |     | | |   | | + pure (\x_0 -> \x_1 -> x_1)
 233 |     | | |   | | ` satisfy Parsers.Nandlang.nandStringLetter
 234 |     | | |   | ` ref <hidden>
 235 |     | | |   ` <*>
 236 |     | | |     + <*>
 237 |     | | |     | + <*>
 238 |     | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
 239 |     | | |     | | ` satisfy ((GHC.Classes.==) '\\')
 240 |     | | |     | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
 241 |     | | |     ` ref <hidden>
 242 |     | | ` satisfy ((GHC.Classes.==) '\'')
 243 |     | ` ref <hidden>
 244 |     ` <*>
 245 |       + <*>
 246 |       | + pure (\x_0 -> \x_1 -> x_1)
 247 |       | ` ref <hidden>
 248 |       ` <|>
 249 |         + <*>
 250 |         | + pure (\x_0 -> GHC.Tuple.())
 251 |         | ` <|>
 252 |         |   + <*>
 253 |         |   | + <*>
 254 |         |   | | + <*>
 255 |         |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
 256 |         |   | | | ` ref <hidden>
 257 |         |   | | ` <|>
 258 |         |   | |   + <*>
 259 |         |   | |   | + <*>
 260 |         |   | |   | | + <*>
 261 |         |   | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 262 |         |   | |   | | | ` rec <hidden>
 263 |         |   | |   | | ` chainPost
 264 |         |   | |   | |   + ref <hidden>
 265 |         |   | |   | |   ` <*>
 266 |         |   | |   | |     + <*>
 267 |         |   | |   | |     | + <*>
 268 |         |   | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 269 |         |   | |   | |     | | ` ref <hidden>
 270 |         |   | |   | |     | ` ref <hidden>
 271 |         |   | |   | |     ` rec <hidden>
 272 |         |   | |   | ` ref <hidden>
 273 |         |   | |   ` ref <hidden>
 274 |         |   | ` ref <hidden>
 275 |         |   ` ref <hidden>
 276 |         ` ref <hidden>
 277 + let <hidden>
 278 | ` <|>
 279 |   + <*>
 280 |   | + <*>
 281 |   | | + <*>
 282 |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 283 |   | | | ` ref <hidden>
 284 |   | | ` chainPost
 285 |   | |   + ref <hidden>
 286 |   | |   ` <*>
 287 |   | |     + <*>
 288 |   | |     | + <*>
 289 |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
 290 |   | |     | | ` ref <hidden>
 291 |   | |     | ` ref <hidden>
 292 |   | |     ` ref <hidden>
 293 |   | ` ref <hidden>
 294 |   ` ref <hidden>
 295 + let <hidden>
 296 | ` pure (\x_0 -> \x_1 -> x_1)
 297 + let <hidden>
 298 | ` pure GHC.Tuple.()
 299 + let <hidden>
 300 | ` pure GHC.Tuple.()
 301 + let <hidden>
 302 | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
 303 ` <*>
 304   + <*>
 305   | + <*>
 306   | | + <*>
 307   | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2)
 308   | | | ` ref <hidden>
 309   | | ` chainPost
 310   | |   + ref <hidden>
 311   | |   ` <*>
 312   | |     + <*>
 313   | |     | + <*>
 314   | |     | | + <*>
 315   | |     | | | + <*>
 316   | |     | | | | + <*>
 317   | |     | | | | | + <*>
 318   | |     | | | | | | + <*>
 319   | |     | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8)
 320   | |     | | | | | | | ` try
 321   | |     | | | | | | |   ` <*>
 322   | |     | | | | | | |     + <*>
 323   | |     | | | | | | |     | + <*>
 324   | |     | | | | | | |     | | + <*>
 325   | |     | | | | | | |     | | | + <*>
 326   | |     | | | | | | |     | | | | + <*>
 327   | |     | | | | | | |     | | | | | + <*>
 328   | |     | | | | | | |     | | | | | | + <*>
 329   | |     | | | | | | |     | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
 330   | |     | | | | | | |     | | | | | | | ` satisfy ((GHC.Classes.==) 'f')
 331   | |     | | | | | | |     | | | | | | ` satisfy ((GHC.Classes.==) 'u')
 332   | |     | | | | | | |     | | | | | ` satisfy ((GHC.Classes.==) 'n')
 333   | |     | | | | | | |     | | | | ` satisfy ((GHC.Classes.==) 'c')
 334   | |     | | | | | | |     | | | ` satisfy ((GHC.Classes.==) 't')
 335   | |     | | | | | | |     | | ` satisfy ((GHC.Classes.==) 'i')
 336   | |     | | | | | | |     | ` satisfy ((GHC.Classes.==) 'o')
 337   | |     | | | | | | |     ` satisfy ((GHC.Classes.==) 'n')
 338   | |     | | | | | | ` ref <hidden>
 339   | |     | | | | | ` ref <hidden>
 340   | |     | | | | ` ref <hidden>
 341   | |     | | | ` ref <hidden>
 342   | |     | | ` <|>
 343   | |     | |   + <*>
 344   | |     | |   | + <*>
 345   | |     | |   | | + <*>
 346   | |     | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
 347   | |     | |   | | | ` satisfy ((GHC.Classes.==) ':')
 348   | |     | |   | | ` ref <hidden>
 349   | |     | |   | ` ref <hidden>
 350   | |     | |   ` ref <hidden>
 351   | |     | ` ref <hidden>
 352   | |     ` ref <hidden>
 353   | ` ref <hidden>
 354   ` eof