Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
1d45eb39
Commit
1d45eb39
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2006-09-09 20:40:09 by afrisch] Empty log message
Original author: afrisch Date: 2006-09-09 20:40:09+00:00
parent
48411ba4
Changes
1
Hide whitespace changes
Inline
Side-by-side
misc/pretty.ml
View file @
1d45eb39
...
...
@@ -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
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment