Setepenre pushed to branch master at Stefan / Typer Commits: 74750a66 by Pierre Delaunay at 2016-03-21T23:22:08-04:00 ityper fix + remove trailling space for consistency - - - - - 11 changed files: - src/debruijn.ml - src/eval.ml - src/grammar.ml - src/lexp.ml - src/lparse.ml - src/pexp.ml - src/sexp.ml - tests/REPL.ml - tests/debug.ml - tests/utest_lib.ml - tests/utest_main.ml Changes: ===================================== src/debruijn.ml ===================================== #<Gitlab::Git::Diff:0x007f5008674df0> ===================================== src/eval.ml ===================================== #<Gitlab::Git::Diff:0x007f5008672398> ===================================== src/grammar.ml ===================================== #<Gitlab::Git::Diff:0x007f5008671d80> ===================================== src/lexp.ml ===================================== #<Gitlab::Git::Diff:0x007f5008671830> ===================================== src/lparse.ml ===================================== #<Gitlab::Git::Diff:0x007f5008671268> ===================================== src/pexp.ml ===================================== #<Gitlab::Git::Diff:0x007f5008670bd8> ===================================== src/sexp.ml ===================================== #<Gitlab::Git::Diff:0x007f5008670570> ===================================== tests/REPL.ml ===================================== #<Gitlab::Git::Diff:0x007f5008670020> ===================================== tests/debug.ml ===================================== #<Gitlab::Git::Diff:0x007f500866f5d0> ===================================== tests/utest_lib.ml ===================================== #<Gitlab::Git::Diff:0x007f500866ee78> ===================================== tests/utest_main.ml ===================================== #<Gitlab::Git::Diff:0x007f500866e8d8> View it on GitLab: https://gitlab.com/monnier/typer/commit/74750a6624e99e6a45b0f766201b32ba4a85...