| changeset 73 | 6e035162345a |
| parent 66 | eb97e8361211 |
| child 74 | dfa9dbb8f8e6 |
| 72:9128b9440e93 | 73:6e035162345a |
|---|---|
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") |
|
375 val a1 = der('c', a0) |
|
376 pretty(a1) |
|
377 val List(b1,b2,b3) = values(a1).toList |
|
378 vpretty(b1) |
|
379 vpretty(b3) |
|
380 vpretty(inj(a0,'c',b1)) |
|
381 vpretty(inj(a0,'c',b3)) |
|
382 |