summaryrefslogtreecommitdiff
path: root/parsing
Commit message (Expand)AuthorAgeFilesLines
* Report 'unclosed' error when 'done' is missingNicolás Ojeda Bär2022-07-101-5/+11
* Remove (.[]<-) (#11345)Nicolas Ojeda Bar2022-06-244-2/+16
* Pprintast, print parameter variances in with constraintsFlorian Angeletti2022-06-171-6/+4
* Have ocamlnat display the warning tooDavid Allsopp2022-06-072-9/+9
* Deprecate implicit basenames with no extensionDavid Allsopp2022-06-072-1/+18
* Display an alert if -I +unix, etc is missingDavid Allsopp2022-05-241-1/+10
* Add a hook for misses in Load_pathDavid Allsopp2022-05-242-0/+16
* Add Warnings.ghost_loc_in_fileDavid Allsopp2022-05-241-3/+1
* `odoc`ify the parsetree comments (#11107)panglesd2022-03-282-464/+530
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-257-93/+68
* Merge pull request #10815 from Julow/odoc-200-fixesFlorian Angeletti2022-02-171-3/+4
|\
| * odoc: References in synopsis must be fully-qualifiedJules Aguillon2022-01-281-3/+4
* | Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-011-3/+1
|/
* Parsetree: add a comment with an example for module_substitutionAaron L. Zeng2021-12-061-0/+1
* Expose Parse.module_type and Parse.module_exprGuillaume Petiot2021-10-123-0/+18
* Revert "Merge pull request #10682 from gpetiot/fix-letop-binding-loc"Gabriel Scherer2021-10-071-4/+2
* parser.mly: fix locations of letop-bindingsGuillaume Petiot2021-10-071-2/+4
* Merge pull request #10582 from kit-ty-kate/source-highlighting-tabsFlorian Angeletti2021-09-231-3/+9
|\
| * Error source highlighting: align using tabs to match tabs in the sourceArmaël Guéneau2021-08-271-3/+9
* | Expose more Pprintast functions (#10618)Guillaume Petiot2021-09-132-23/+41
|/
* Fix a typo in parsetree.mliFlorian Angeletti2021-08-191-1/+1
* parser.mly: location fixes for type constraints and punning (#10555)Nicolás Ojeda Bär2021-08-051-19/+19
* fix pretty-print of gadt-pattern-with-type-vars (issue #10550) (#10551)chetmurthy2021-08-041-1/+3
* Fix mapping of intervals in Ast_mapper (#10543)Guillaume Petiot2021-07-291-1/+2
* Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-309-54/+78
* Pun labelled arguments with type constraint in function applications (#10434)Greta Yorsh2021-06-231-0/+3
* Correctly pretty print `Psig_typesubst`Matthew Else2021-06-221-1/+4
* Remove unnecessary surrounding parentheses for immediate objects (#10441)dongyan2021-06-051-5/+5
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-073-2/+11
* Remove unused labelsLeo White2021-03-221-6/+4
* compiler interface: deprecate single letter warningoctachron2021-03-151-1/+3
* review: add a parsetree invariantoctachron2021-02-251-0/+4
* review: printing parsetreeoctachron2021-02-251-8/+11
* review: rename Pwith_module_type* to Pwith_modtype*octachron2021-02-257-18/+18
* with module type = sig endoctachron2021-02-177-23/+23
* add syntax for local module type substitutionsoctachron2021-02-171-0/+19
* module type S := ...: coreoctachron2021-02-178-6/+20
* module type substitutions: syntaxoctachron2021-02-171-0/+4
* Module type substitutions: coreoctachron2021-02-176-17/+46
* Merge pull request #10197 from gasche/error-empty-character-literalGabriel Scherer2021-02-052-0/+10
|\
| * Display a clear error on empty character literals ''Gabriel Scherer2021-02-052-0/+10
* | Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-049-18/+47
* | parser: refactorize array expressionsFlorian Angeletti2021-01-291-156/+149
|/
* Tidy up docs for compiler libsJohn Whitington2021-01-112-6/+4
* Pass [--strategy simplified] to Menhir.François Pottier2021-01-061-34/+26
* Switch to Menhir's simplified error handling strategy.François Pottier2021-01-061-46/+28
* Add one new test file containing 1086 tests of the syntax error messages (plu...François Pottier2020-12-211-127/+187
* Syntax proposal: let punning (#10013)Stephen Dolan2020-12-082-11/+30
* change or-pattern printing to use spaces instead of cutsGabriel Scherer2020-11-031-1/+1
* fix -dsource printing of the pattern (A as x | (B as x))Gabriel Scherer2020-11-031-10/+14