emileclarkb/hammer
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

removed use of h_many to get desugars

Browse source
This commit is contained in:
Mikael Vejdemo-Johansson 2015-04-08 13:53:45 +02:00
parent 61a211559e
commit 8039d48537
1 changed files with 22 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

26
examples/ties.c
View file

@ -173,7 +173,12 @@ HParser* finkmaoTW() {
HParser *tuck = h_choice(h_sequence(T, T, U, NULL),
h_sequence(W, W, U, NULL),
NULL);
return h_choice(h_sequence(prefix, h_many(pair), tuck, NULL), NULL);
HParser *pairstar = h_indirect();
HParser *pstar_ = h_choice(h_sequence(pair, tuckpairstar, NULL),
h_epsilon_p(),
NULL);
h_bind_indirect(pairstar, pstar_);
return h_choice(h_sequence(prefix, pairstar, tuck, NULL), NULL);
}
HParser* depth1TW() {
@ -185,7 +190,13 @@ HParser* depth1TW() {
HParser *tuck = h_choice(h_sequence(T, T, U, NULL),
h_sequence(W, W, U, NULL),
NULL);
return h_choice(h_sequence(prefix, h_many(h_choice(pair, tuck, NULL)), tuck, NULL), NULL);
HParser *tuckpairstar = h_indirect();
HParser *tpstar_ = h_choice(h_sequence(pair, tuckpairstar, NULL),
h_sequence(tuck, tuckpairstar, NULL),
h_epsilon_p(),
NULL);
h_bind_indirect(tuckpairstar, tpstar_);
return h_choice(h_sequence(prefix, tuckpairstar, tuck, NULL), NULL);
}
HParser* depth1() {
@ -307,9 +318,16 @@ HParser* depthNTW() {
h_bind_indirect(wt0, wt0_);
h_bind_indirect(wt1, wt1_);
h_bind_indirect(wt2, wt2_);
HParser *tuck = h_choice(tstart, wstart, NULL);
return h_choice(h_sequence(prefix, h_many(h_choice(pair, tuck, NULL)), tuck, NULL), NULL);
HParser *tuckpairstar = h_indirect();
HParser *tpstar_ = h_choice(h_sequence(pair, tuckpairstar, NULL),
h_sequence(tuck, tuckpairstar, NULL),
h_epsilon_p(),
NULL);
h_bind_indirect(tuckpairstar, tpstar_);
return h_choice(h_sequence(prefix, tuckpairstar, tuck, NULL), NULL);
}