summaryrefslogtreecommitdiff
path: root/toplevel
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #11298 from dra27/toplevel-set_pathsFlorian Angeletti2022-06-093-4/+4
|\
| * Add ?auto_include to Toploop.set_pathsDavid Allsopp2022-06-073-4/+4
* | Have ocamlnat display the warning tooDavid Allsopp2022-06-072-1/+6
* | Deprecate implicit basenames with no extensionDavid Allsopp2022-06-073-0/+15
|/
* Display an alert if -I +unix, etc is missingDavid Allsopp2022-05-241-1/+1
* Always load topdirs.cmi from compiler-libsDavid Allsopp2022-05-051-5/+4
* Fallback to +compiler-libs/topdirs.cmi in toplevelDavid Allsopp2022-05-057-2/+18
* Install topdirs.cmi to a separate directoryDavid Allsopp2022-05-051-1/+2
* Factor out reading OCAMLTOP_INCLUDE_PATHDavid Allsopp2022-03-014-16/+14
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-1/+1
* Release bytecode only after backtrace has been recorded (#10803)Renato Alencar2022-01-313-15/+23
* Merge pull request #10839 from Et7f3/fix_show_regressionFlorian Angeletti2022-01-271-4/+18
* Printexc.catch, Printf.kprintf, Unix.SO_ERROR: add deprecation warning (#10924)Nicolás Ojeda Bär2022-01-211-1/+1
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-3/+0
* Merge pull request #10825 from gasche/shape-strong-call-by-needFlorian Angeletti2022-01-202-2/+4
* Merge pull request #10831 from ocaml-multicore/multicore-prXavier Leroy2022-01-101-1/+1
|\
| * Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-202-2/+8
| |\
| * \ Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-203-87/+159
| |\ \
| * \ \ Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-202-2/+2
| |\ \ \
| * \ \ \ Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_prTom Kelly2021-12-201-1/+1
| |\ \ \ \
| * | | | | fix for Pfield usage in native/topevalTom Kelly2021-12-201-1/+1
* | | | | | Fix more display differences between ocamlnat/ocaml (#10849)David Allsopp2022-01-054-28/+27
* | | | | | Add comments explaining native code differencesDavid Allsopp2022-01-041-0/+13
* | | | | | Fix type variable naming in native toplevelNathan Rebours2022-01-041-15/+53
| |_|_|_|/ |/| | | |
* | | | | Shapes: Add -dshape flag for debugging and testing purposesUlysse Gérard2021-11-092-2/+4
* | | | | Shapes: Compute shapes during type checkingUlysse Gérard2021-11-092-2/+6
| |_|_|/ |/| | |
* | | | Eliminate Topeval.phrase_name entirelyDavid Allsopp2021-10-271-7/+6
* | | | Allow the native toplevel assembler to be replacedDavid Allsopp2021-10-142-3/+30
* | | | Introduce native-toplevel specific hooks moduleDavid Allsopp2021-10-143-82/+121
* | | | Make Topeval.phrase_name less exposedDavid Allsopp2021-10-141-10/+12
* | | | Factor out load/lookup functions in native TopevalDavid Allsopp2021-10-141-14/+20
* | | | Remove duplicated type definition in TopevalDavid Allsopp2021-10-141-1/+0
| |_|/ |/| |
* | | abstract row_field (#10627)Jacques Garrigue2021-10-221-1/+1
* | | Merge pull request #10527 from wiktorkuchta/toploopFlorian Angeletti2021-10-211-1/+1
|\ \ \ | |_|/ |/| |
| * | Mention the help directive on toplevel startupWiktor Kuchta2021-10-201-1/+1
| |/
* | make field_kind and commutable abstract typesTakafumi Saikawa2021-10-181-1/+1
|/
* Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-4/+3
* Fix #directory in the toplevelDavid Allsopp2021-06-071-1/+1
* Rename Load_path.add to Load_path.append_dirDavid Allsopp2021-06-071-1/+1
* Restore Toploop.use_file (#10557)Nicolás Ojeda Bär2021-08-052-0/+3
* Show expected and received type on directive errorWiktor Kuchta2021-07-191-2/+16
* toplevel: Move running directives to TopcommonWiktor Kuchta2021-07-174-60/+39
* #3959, #7202: in script mode, handle directive errors (#10476)Florian Angeletti2021-07-081-20/+33
* Move function from Types to BtypeNicolas Chataing2021-07-051-1/+1
* Move logic to get the type path from a constructor return type in TypesNicolas Chataing2021-07-021-5/+1
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-244-16/+18
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-2/+0
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-13/+25
* added -e eval option for runtop and natruntopzett982021-06-055-42/+79
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-2/+2
View Lorry Controller Status