R Li

Please consider using [ocp-indent](https://www.typerex.org/ocp-indent.html) to enforce consistent indentation style.

seems `ocamlgraph`'s [directed graph](https://github.com/backtracking/ocamlgraph/blob/d48ae1a2977e65a32f6f7937a6a7975cbe7cf2b4/src/persistent.mli#L65) can be used to replace [src/backend/flowGraph.ml](https://github.com/gfngfn/SATySFi/blob/master/src/backend/flowGraph.ml)

Optimize OverlappingFieldsCanBeMerged

15

`QueryReducer.rejectComplexQueries` become stuck with a 412KBytes GraphQL query selecting ~150000 fields. Did a profiling and stacktrace shows we are doing tremendous amount of work in `OverlappingFieldsCanBeMerged` An example of the...

Camlp4 fails to install under 4.02.1+modular-implicits-ber

1

``` $ opam switch show 4.02.1+modular-implicits-ber $ opam pin add syb https://github.com/yallop/metaocaml-syb.git ``` fails when install camlp4, which is a requirement ``` # File "camlp4/boot/Camlp4.ml", line 14603, characters 17-179: #...

utop user needs to manually load `compiler-libs/ocamlcommon.cma`

2

or use `utop-full`. See https://github.com/diml/utop/issues/213. Since README already says to use "standard OCaml toplevel", so I'll just open an issue here for people who try to use utop and see...

cache issue

3

Hi, Ben while you are working on Bazel's pex rules, I'm wondering if you have seen the following error message arising from pex: ``` sys.exit(main()) File "/home/travis/.cache/bazel/_bazel_travis/030a6cc9b27b34f2fe0e137b942f59bf/heron/bazel-out/local_linux-fastbuild/bin/third_party/pex/_pex.runfiles/__main__/third_party/pex/_pex.py", line 159, in...

It will be hugely useful if someone can finish the wiki. I really would like to see some experienced developers introducing the compiler design.