summaryrefslogtreecommitdiff
path: root/parsing
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'ocaml/trunk' into flambda_trunkMark Shinwell2015-11-261-0/+1
|\
| * Comment [Types]Frederic Bour2015-11-251-0/+1
* | merge with trunkMark Shinwell2015-11-199-135/+120
|\ \ | |/
| * GPR#268: Hexadecimal notation for floating-point numbersXavier Leroy2015-11-191-17/+8
| |\
| | * Preliminary support for hexadecimal notation for FP numbers.Xavier Leroy2015-07-261-17/+8
| * | simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-061-9/+0
| * | PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>"Jeremie Dimino2015-11-051-1/+2
| * | PR#6806: Syntactic sugar for type annotations on record fieldsJeremie Dimino2015-11-051-8/+24
| * | Put the * back on the doc commentsLeo White2015-11-031-1/+3
| * | Update printing of custom index operatorsJeremie Dimino2015-10-281-84/+58
| * | GPR#42: Add simpler functor type syntaxGabriel Scherer2015-10-252-5/+14
| * | merge branches/gadt-warningsJacques Garrigue2015-10-237-0/+11
| |\ \
| | * | switch to 'pat -> .' and add P/Texp_unreachablegadt-warningsJacques Garrigue2015-10-167-23/+18
| | * | add refuted cases, syntax is 'pat -> _'Jacques Garrigue2015-10-157-6/+24
| * | | Remove or comment-out dead code.Alain Frisch2015-10-163-10/+0
* | | | Merge remote-tracking branch 'origin/trunk' into flambda_trunkPierre Chambart2015-10-143-20/+104
|\ \ \ \ | |/ / /
| * | | Accept unboxed, untagged and noalloc prefixed by "ocaml."Jérémie Dimino2015-10-062-6/+12
| * | | Support [@@noalloc] on external declarationsJérémie Dimino2015-10-062-0/+6
| * | | Add parsing/Attr_helperJérémie Dimino2015-10-062-0/+72
| * | | Consistently quoting quote and doublequote into string and character litterals.Pierre Weis2015-09-211-20/+20
* | | | merge with upstream trunkMark Shinwell2015-09-1410-95/+141
|\ \ \ \ | |/ / /
| * | | whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-1110-95/+141
* | | | merge with upstream trunkMark Shinwell2015-09-079-99/+137
|\ \ \ \ | |/ / /
| * | | colorize error and warning messages, refactor LocationGabriel Scherer2015-08-153-36/+77
| * | | fix -dsource error on recursive modulesGabriel Scherer2015-08-021-1/+1
| * | | GPR#26: support for "(type a b ..)" as sugar for "(type a) (type b) .."Gabriel Scherer2015-07-261-10/+11
| | |/ | |/|
| * | Fix merge issue.Alain Frisch2015-07-171-1/+1
| * | merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-178-6/+17
| * | GPR214: remove duplicate productions in the parser (patch by Jeremy Yallop).Alain Frisch2015-07-171-26/+9
| * | PR6865: Fix parsing of toplevel [let%foo _ = expr]Jérémie Dimino2015-07-131-21/+23
* | | Correct stacktracesPierre Chambart2015-09-031-1/+2
* | | merge with upstream trunkMark Shinwell2015-07-1210-369/+1272
|\ \ \ | |/ /
| * | Fix bootstrap (broken by ambiguous ocamldoc comments).Alain Frisch2015-06-291-0/+2
| * | Attach documentation comments to ParsetreeLeo White2015-06-289-195/+923
| * | add 'nonrec' as a possible attribute idJérémie Dimino2015-06-241-0/+1
| |/
| * fix small bug in commit 16075Damien Doligez2015-05-041-1/+1
| * GPR#159: Better locations for structure/signature itemsDamien Doligez2015-05-041-203/+326
| * GPR#171: allow custom warning printers / catchersGabriel Scherer2015-04-262-10/+42
| * PR#6816: lexer raise for literal number followed by alphanumGabriel Scherer2015-04-122-0/+6
| * PR#6635: Support M.[], M.(), M.{< >} and M.[| |].Gabriel Scherer2015-04-121-0/+10
| * #6583: custom # operators are left associative. (Cherry-picked from version/4...Alain Frisch2015-03-241-1/+2
* | Readd the @. in Location.print, add Location.to_stringPierre Chambart2015-03-171-1/+1
* | inlining statsMark Shinwell2015-03-172-0/+12
* | inlining statsMark Shinwell2015-03-171-1/+1
|/
* Fix pretty-printing of extensions in patternsJérémie Dimino2015-03-161-0/+1
* Add the "nonrec" keyword and allow it on typeJérémie Dimino2015-03-138-31/+46
* Add rec_flag to type items in the parsetree and typedtreeJérémie Dimino2015-03-131-2/+2
* #6612: attribute in type expressions bind less then product types; attributes...Alain Frisch2015-03-112-30/+40
* #6583: support for custom #... binary operators (also allowing '#' in trailin...Alain Frisch2015-03-092-1/+7
* Fix pretty-printing of inlined recordsJérémie Dimino2015-01-301-10/+7