| changeset 454 | a06efd2e3117 |
| parent 452 | ee348feb4c37 |
| child 460 | f5c0749858fd |
| 453:7dec9d748178 | 454:a06efd2e3117 |
|---|---|
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) |