diff --git a/.travis-ci.sh b/.travis-ci.sh index 5c2cb8728..a6ec357bd 100755 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -28,7 +28,7 @@ MAKE=make SHELL=dash # (trunk) (pr branch) # TRAVIS_CUR_HEAD TRAVIS_PR_HEAD # | / -# … … +# ... ... # | / # TRAVIS_MERGE_BASE # diff --git a/HACKING.adoc b/HACKING.adoc index de92ceac1..9de68b54c 100644 --- a/HACKING.adoc +++ b/HACKING.adoc @@ -1,4 +1,4 @@ -= Hacking the compiler 🐫 += Hacking the compiler :camel: This document is a work-in-progress attempt to provide useful information for people willing to inspect or modify the compiler diff --git a/testsuite/tests/lib-bigarray/change_layout.ml b/testsuite/tests/lib-bigarray/change_layout.ml index 506b545bf..4f0c37c6c 100644 --- a/testsuite/tests/lib-bigarray/change_layout.ml +++ b/testsuite/tests/lib-bigarray/change_layout.ml @@ -4,7 +4,7 @@ open Bigarray let pp_sep ppf () = Format.fprintf ppf ";@ " let print_array pp ppf a = - Format.fprintf ppf "@[⟦%a⟧@]" + Format.fprintf ppf "@[[|%a|]@]" Format.(pp_print_list ~pp_sep pp) (Array.to_list a) let print_index = print_array Format.pp_print_int diff --git a/typing/HACKING.adoc b/typing/HACKING.adoc index 101bf8ed8..8633ef52e 100644 --- a/typing/HACKING.adoc +++ b/typing/HACKING.adoc @@ -3,7 +3,7 @@ will need a good understanding of the OCaml type system and type inference. Here is a reading list to ease your discovery of the typechecker: -http://caml.inria.fr/pub/docs/u3-ocaml/index.html[Using, Understanding, and Unraveling the OCaml Language by Didier Rémy] :: +http://caml.inria.fr/pub/docs/u3-ocaml/index.html[Using, Understanding, and Unraveling the OCaml Language by Didier Rémy] :: This book provides (among other things) a formal description of parts of the core OCaml language, starting with a simple Core ML.