equal
deleted
inserted
replaced
369 for (i <- 1 to 80) { |
369 for (i <- 1 to 80) { |
370 print(i.toString + ": ") |
370 print(i.toString + ": ") |
371 time(lexing_simp(WHILE_REGS, prog2 * i)) |
371 time(lexing_simp(WHILE_REGS, prog2 * i)) |
372 } |
372 } |
373 |
373 |
374 val a0 = (EMPTY | "c") ~ ("b" | "cb") |
374 val a0 = (EMPTY | "a") ~ ("b" | "abc") |
375 val a1 = der('c', a0) |
375 val a1 = der('a', a0) |
376 pretty(a1) |
376 pretty(a1) |
377 val List(b1,b2,b3) = values(a1).toList |
377 values(a1).toList |
378 vpretty(b1) |
378 val List(u2,_,u1) = values(a1).toList |
379 vpretty(b3) |
379 vpretty(u1) |
380 vpretty(inj(a0,'c',b1)) |
380 vpretty(u2) |
381 vpretty(inj(a0,'c',b3)) |
381 vpretty(inj(a0,'a',u1)) |
382 |
382 vpretty(inj(a0,'a',u2)) |
|
383 |