| changeset 456 | d076cb2e0b75 |
| parent 445 | b73e7ce91c10 |
| child 470 | 86a456f8cb92 |
| 455:557d18cce0f0 | 456:d076cb2e0b75 |
|---|---|
91 case rs => ALTs(rs) |
91 case rs => ALTs(rs) |
92 } |
92 } |
93 |
93 |
94 def SEQs_smart(rs: List[Rexp]) : Rexp = rs match { |
94 def SEQs_smart(rs: List[Rexp]) : Rexp = rs match { |
95 case Nil => ONE |
95 case Nil => ONE |
96 case ZERO::nil => ZERO |
96 case ZERO::Nil => ZERO |
97 case r::Nil => r |
97 case r::Nil => r |
98 case rs => SEQs(rs) |
98 case rs => SEQs(rs) |
99 } |
99 } |
100 |
100 |
101 // (6) |
101 // (6) |