summaryrefslogtreecommitdiff
path: root/toplevel/topdirs.ml
Commit message (Expand)AuthorAgeFilesLines
* rename wrap_def -> with_local_level, etc.Takafumi Saikawa2022-12-271-2/+2
* fixTakafumi Saikawa2022-12-271-20/+20
* Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-30/+30
* Merge pull request #11534 from gasche/follow-synonyms-in-show-module-typeFlorian Angeletti2022-12-021-10/+32
* topdirs.ml: (install,remove)_printer, test error casesGabriel Scherer2022-11-261-1/+1
* topdirs.ml: avoid exceptions completely in #(remove,install)_printerGabriel Scherer2022-11-261-38/+52
* topdirs.ml: rewrite the printer-matching logic to avoid exceptionsGabriel Scherer2022-11-261-59/+66
* topdirs.ml: Generic printers only need an arityGabriel Scherer2022-11-261-9/+10
* [minor] topdirs.ml: bound the scope of find_printer exception handlingGabriel Scherer2022-11-261-6/+6
* topdirs.ml: cleaner representation of different kinds of printersGabriel Scherer2022-11-261-31/+48
* topdirs.ml; generic printers are never old-styleGabriel Scherer2022-11-261-9/+6
* Define printer types manually rather than parsing them from stringsSébastien Hinderer2022-11-241-17/+12
* Embed printer types in toplevels and debuggerSébastien Hinderer2022-11-241-30/+14
* Remove hash type encodingHyunggyu Jang2022-11-091-6/+2
* Add a toplevel directive to switch off debugging (#9290)Jacques Garrigue2022-07-191-0/+7
* Merge pull request #10839 from Et7f3/fix_show_regressionFlorian Angeletti2022-01-271-4/+18
* make field_kind and commutable abstract typesTakafumi Saikawa2021-10-181-1/+1
* Fix #directory in the toplevelDavid Allsopp2021-06-071-1/+1
* Rename Load_path.add to Load_path.append_dirDavid Allsopp2021-06-071-1/+1
* #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-241-5/+6
* 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-051-2/+4
* toplevel: detect recursive definitions in #showFlorian Angeletti2021-05-191-7/+56
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-1/+1
* compiler interface: deprecate single letter warningoctachron2021-03-151-1/+1
* More manual/src changesJohn Whitington2021-01-291-1/+1
* Factorise bytecode and native toplevels (#10124)Louis Gesbert2021-01-261-0/+662
* Unify topXXX.mli / opttopXXX.mli (#10061)Louis Gesbert2020-12-081-847/+0
* Fix handling of Exit_compiler exception in toplevel (#9798)Nicolás Ojeda Bär2020-10-051-1/+1
* Revert to printing types as 'nonrec' to avoid a bugJeremy Yallop2020-08-051-1/+1
* Add a new toplevel directive #use_output "<command>"Jérémie Dimino2020-03-161-1/+8
* Add a unique id to every signature itemThomas Refis2020-03-051-4/+7
* [refactoring] use named fields for Consistbl.Inconsistency exceptionGabriel Scherer2019-11-071-1/+5
* Fix toplevel show directive to work with constructorsSimon Parry2019-11-051-2/+53
* Refactor environment lookup functionsLeo White2019-08-151-76/+82
* Functorize Consistbl (with some background info on Compilation_unit.t) (#2286)Mark Shinwell2019-03-071-1/+1
* env refactoring: avoid external uses of {add_import,crc_units}Gabriel Scherer2019-02-151-9/+1
* Refactor load path management and initial environmentJeremie Dimino2019-01-301-10/+20
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-9/+9
* Remove positions from pathsLeo White2018-11-211-7/+8
* ident: add an explicit scope fieldThomas Refis2018-09-211-1/+0
* Add locations to attributesHugo Heuzard2018-08-061-2/+6
* Implement reviewer suggestionsNicolás Ojeda Bär2018-07-251-3/+2
* Use reraise_raw_backtrace in Misc.try_finallyFrançois Bobot2018-07-251-7/+4
* ctype: remove instance_def which is redundantThomas Refis2018-07-251-2/+2
* Add an optional digest parameter to Meta.reify_bytecode.Stephen Dolan2018-04-131-1/+1
View Lorry Controller Status