EDSL.pipe #53

smondet · 2017-03-08T00:41:35Z

This was possible but very heavy.

let (||>) left right =(* was *)
    output_as_string left >> right

which is fine but interleaves pipes with conversions to Genspio's string representation.

The "in-language" solution is much more efficient.

We hit again the fact that `sed` has undefined behavior when there is no `\n`.

ihodes

LGTM

smondet · 2017-03-14T15:07:01Z

Merged into master.

Add the EDSL.pipe construct

deebeda

smondet self-assigned this Mar 8, 2017

smondet requested a review from ihodes March 8, 2017 00:41

smondet changed the base branch from master to cli-parsing-doc March 8, 2017 00:42

smondet added 2 commits March 8, 2017 10:15

Display errors in Travis tests

b0221c9

Fix tests for OSX

0342346

We hit again the fact that `sed` has undefined behavior when there is no `\n`.

ihodes approved these changes Mar 11, 2017

View reviewed changes

smondet added a commit that referenced this pull request Mar 14, 2017

Merge PR #53 (@smondet, Add EDSL.pipe)

dd991bd

smondet closed this Mar 14, 2017

smondet deleted the edsl-pipe branch July 12, 2018 18:36

Provide feedback