Commit 62774869 authored by Pietro Abate's avatar Pietro Abate

[r2006-09-09 20:40:09 by afrisch] Empty log message

Original author: afrisch
Date: 2006-09-09 20:40:09+00:00
parent 56d9b572
......@@ -407,7 +407,7 @@ module Decompile(H : TABLE)(S : S) = struct
then simplify_alt accu rest
else simplify_alt (x::accu) rest
let alt s1 s2 =
let rec alt s1 s2 =
let s1 = match s1 with RAlt x -> x | x -> [x] in
let s2 = match s2 with RAlt x -> x | x -> [x] in
let l = merge s1 s2 in
......@@ -418,6 +418,8 @@ module Decompile(H : TABLE)(S : S) = struct
let l = simplify_alt [] l in
match l with
| [x] -> x
| [ RSeq [ a; RPlus r ] ; a' ] when compare a a' = 0 ->
RSeq [ a ; RStar r ]
| l -> RAlt l
let rec simplify_seq = function
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment