Skip to content

Instantly share code, notes, and snippets.

@Gbury
Created December 16, 2016 15:17
Show Gist options
  • Save Gbury/28a6d37f3b6343371ed3be1253f0fb3d to your computer and use it in GitHub Desktop.
Save Gbury/28a6d37f3b6343371ed3be1253f0fb3d to your computer and use it in GitHub Desktop.
Pipeline.(
run ~handle_exn:Out.print_exn g opt' (
(
~~~ (op ~name:"includes" Pipe.expand_include)
@** (op ~name:"expand" Pipe.expand_pack)
@<< (op ~name:"execute" Pipe.execute)
@++ (po ~name:"typecheck" Pipe.typecheck)
@++ (po ~name:"solve" Pipe.solve)
@++ (op ~name:"print_res" Pipe.print_res)
@|| (op fst)
@++ _end
) @>> (
~~~ (op ~name:"print_stats" Pipe.print_stats)
@|| _end
)
))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment