| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Bytesections: cleanup API (#11623) | hhugo | 2023-03-11 | 1 | -22/+22 |
| * | toplevel: also separate the toplevel phrase with a blank line | Gabriel Scherer | 2023-02-23 | 2 | -2/+13 |
| * | toplevel: show hints for the "undefined global" error (#10647) | wiktorkuchta | 2023-01-23 | 1 | -0/+36 |
| * | rename wrap_def -> with_local_level, etc. | Takafumi Saikawa | 2022-12-27 | 1 | -2/+2 |
| * | fix | Takafumi Saikawa | 2022-12-27 | 1 | -20/+20 |
| * | Introduce wrapper functions for level management ([Ctype.wrap_def], etc) | Takafumi Saikawa | 2022-12-27 | 1 | -30/+30 |
| * | Merge pull request #11534 from gasche/follow-synonyms-in-show-module-type | Florian Angeletti | 2022-12-02 | 1 | -10/+32 |
| * | topdirs.ml: (install,remove)_printer, test error cases | Gabriel Scherer | 2022-11-26 | 1 | -1/+1 |
| * | topdirs.ml: avoid exceptions completely in #(remove,install)_printer | Gabriel Scherer | 2022-11-26 | 1 | -38/+52 |
| * | topdirs.ml: rewrite the printer-matching logic to avoid exceptions | Gabriel Scherer | 2022-11-26 | 1 | -59/+66 |
| * | topdirs.ml: Generic printers only need an arity | Gabriel Scherer | 2022-11-26 | 1 | -9/+10 |
| * | [minor] topdirs.ml: bound the scope of find_printer exception handling | Gabriel Scherer | 2022-11-26 | 1 | -6/+6 |
| * | topdirs.ml: cleaner representation of different kinds of printers | Gabriel Scherer | 2022-11-26 | 1 | -31/+48 |
| * | topdirs.ml; generic printers are never old-style | Gabriel Scherer | 2022-11-26 | 1 | -9/+6 |
| * | Define printer types manually rather than parsing them from strings | Sébastien Hinderer | 2022-11-24 | 3 | -36/+34 |
| * | Embed printer types in toplevels and debugger | Sébastien Hinderer | 2022-11-24 | 9 | -48/+71 |
| * | Encode extra types within path | Hyunggyu Jang | 2022-11-11 | 1 | -3/+3 |
| * | Add explicit constructors to Path.t for inline record types | Leo White | 2022-11-11 | 1 | -0/+4 |
| * | Remove hash type encoding | Hyunggyu Jang | 2022-11-09 | 1 | -6/+2 |
| * | Add a toplevel directive to switch off debugging (#9290) | Jacques Garrigue | 2022-07-19 | 1 | -0/+7 |
| * | Merge pull request #11382 from Octachron/topdir_fix | Gabriel Scherer | 2022-07-06 | 2 | -2/+0 |
| |\ |
|
| | * | toplevel: don't read Topdirs cmi during pre-initialisation | Florian Angeletti | 2022-07-01 | 2 | -2/+0 |
| * | | Provide an interface for toplevel/topstart.ml | Sébastien Hinderer | 2022-06-30 | 1 | -0/+19 |
| * | | Add an interface to expunge's entry point | Sébastien Hinderer | 2022-06-30 | 1 | -0/+19 |
| |/ |
|
| * | Merge pull request #11298 from dra27/toplevel-set_paths | Florian Angeletti | 2022-06-09 | 3 | -4/+4 |
| |\ |
|
| | * | Add ?auto_include to Toploop.set_paths | David Allsopp | 2022-06-07 | 3 | -4/+4 |
| * | | Have ocamlnat display the warning too | David Allsopp | 2022-06-07 | 2 | -1/+6 |
| * | | Deprecate implicit basenames with no extension | David Allsopp | 2022-06-07 | 3 | -0/+15 |
| |/ |
|
| * | Display an alert if -I +unix, etc is missing | David Allsopp | 2022-05-24 | 1 | -1/+1 |
| * | Always load topdirs.cmi from compiler-libs | David Allsopp | 2022-05-05 | 1 | -5/+4 |
| * | Fallback to +compiler-libs/topdirs.cmi in toplevel | David Allsopp | 2022-05-05 | 7 | -2/+18 |
| * | Install topdirs.cmi to a separate directory | David Allsopp | 2022-05-05 | 1 | -1/+2 |
| * | Factor out reading OCAMLTOP_INCLUDE_PATH | David Allsopp | 2022-03-01 | 4 | -16/+14 |
| * | Remove uses of ;; from the codebase | Sébastien Hinderer | 2022-02-25 | 1 | -1/+1 |
| * | Release bytecode only after backtrace has been recorded (#10803) | Renato Alencar | 2022-01-31 | 3 | -15/+23 |
| * | Merge pull request #10839 from Et7f3/fix_show_regression | Florian Angeletti | 2022-01-27 | 1 | -4/+18 |
| * | Printexc.catch, Printf.kprintf, Unix.SO_ERROR: add deprecation warning (#10924) | Nicolás Ojeda Bär | 2022-01-21 | 1 | -1/+1 |
| * | Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896) | Nicolás Ojeda Bär | 2022-01-20 | 1 | -3/+0 |
| * | Merge pull request #10825 from gasche/shape-strong-call-by-need | Florian Angeletti | 2022-01-20 | 2 | -2/+4 |
| * | Merge pull request #10831 from ocaml-multicore/multicore-pr | Xavier Leroy | 2022-01-10 | 1 | -1/+1 |
| |\ |
|
| | * | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -2/+8 |
| | |\ |
|
| | * \ | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 3 | -87/+159 |
| | |\ \ |
|
| | * \ \ | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -2/+2 |
| | |\ \ \ |
|
| | * \ \ \ | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 1 | -1/+1 |
| | |\ \ \ \ |
|
| | * | | | | | fix for Pfield usage in native/topeval | Tom Kelly | 2021-12-20 | 1 | -1/+1 |
| * | | | | | | Fix more display differences between ocamlnat/ocaml (#10849) | David Allsopp | 2022-01-05 | 4 | -28/+27 |
| * | | | | | | Add comments explaining native code differences | David Allsopp | 2022-01-04 | 1 | -0/+13 |
| * | | | | | | Fix type variable naming in native toplevel | Nathan Rebours | 2022-01-04 | 1 | -15/+53 |
| | |_|_|_|/
|/| | | | |
|
| * | | | | | Shapes: Add -dshape flag for debugging and testing purposes | Ulysse Gérard | 2021-11-09 | 2 | -2/+4 |
| * | | | | | Shapes: Compute shapes during type checking | Ulysse Gérard | 2021-11-09 | 2 | -2/+6 |
| | |_|_|/
|/| | | |
|
