equal
deleted
inserted
replaced
448 elem(")") |
448 elem(")") |
449 case Nil => elem(' ', 1, 1) |
449 case Nil => elem(' ', 1, 1) |
450 } |
450 } |
451 } |
451 } |
452 case ASEQ(bs, r1, r2) => { |
452 case ASEQ(bs, r1, r2) => { |
453 ((elem("[") left_align bstostick(bs)) beside bits_print(r1) beside elem("~") beside bits_print(r2)) |
453 ((elem("[") left_align bstostick(bs)) beside bits_print(r1) beside elem("~") beside bits_print(r2) beside (elem("]") above elem(" "))) |
454 } |
454 } |
455 case ASTAR(bs, r) => { |
455 case ASTAR(bs, r) => { |
456 r match { |
456 r match { |
457 case AONE(_) | AZERO | ACHAR(_, _) => { |
457 case AONE(_) | AZERO | ACHAR(_, _) => { |
458 (elem("{") left_align bstostick(bs)) beside (bits_print(r) beside elem("}*")) |
458 (elem("{") left_align bstostick(bs)) beside (bits_print(r) beside elem("}*")) |