summaryrefslogtreecommitdiff
path: root/parsing
Commit message (Expand)AuthorAgeFilesLines
* Improved version of bin-annotFabrice Le Fessant2012-05-029-319/+443
* remove redundant colon in norepeat mode for the toplevelDamien Doligez2012-04-162-5/+6
* PR#5585: typo explicitely -> explicitlyDamien Doligez2012-04-131-1/+1
* Fix PR#5553: do not allow a type variable to have the same name as a local typeJacques Garrigue2012-03-233-58/+21
* merge version 3.12 from 3.12.1 to r12205Damien Doligez2012-03-081-2/+2
* #5527: use absolute filenames in the message for Warning 31, when requested (...Alain Frisch2012-03-072-1/+8
* Fix infinite loop (introduced by commit r11999).Alain Frisch2012-03-061-1/+2
* Reverting bad commit.Alain Frisch2012-01-201-3/+0
* Fix #5490.Alain Frisch2012-01-201-0/+3
* Remove unused constructors in the AST: Cf_let, Pcf_let.Alain Frisch2011-12-282-4/+0
* Reverting the let.expr syntax (no consensus on the proposal). Sorry for the n...Alain Frisch2011-12-271-3/+0
* New syntax for 'custom let bindings': let.simple_expr pat = expr in exprAlain Frisch2011-12-212-24/+3
* let-like operators.Alain Frisch2011-12-202-0/+24
* New option to force the compilers to show absolute paths in error messages.Alain Frisch2011-12-202-1/+25
* #5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch2011-12-143-3/+3
* remove conflictJacques Garrigue2011-12-141-9/+9
* cleanup white space and robustify mkuminusDamien Doligez2011-11-291-53/+53
* merge branches/gadts-develJacques Garrigue2011-11-241-38/+31
* Too long lines.Pierre Weis2011-10-282-8/+12
* Get rid of spurious warningsPierre Weis2011-10-281-3/+3
* Get rid of spurious warningsPierre Weis2011-10-283-10/+11
* merge branches/located_errorsJacques Garrigue2011-10-212-5/+12
|\
| * Keep location on value declarations.located_errorsAlain Frisch2010-05-212-4/+8
| * Keep location on type declarations.Alain Frisch2010-05-211-0/+2
* | PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez2011-08-046-122/+13
* | merge branches/gadtsJacques Garrigue2011-07-293-8/+175
|\ \
| * | changed the syntax backJacques Le Normand2010-12-051-1/+1
| * | changed syntax of constructorsJacques Le Normand2010-12-031-7/+8
| * | fixed bug in syntactic sugar translationJacques Le Normand2010-12-031-4/+7
| * | & types are no longer created during for the new type syntax annotationJacques Le Normand2010-11-241-3/+56
| * | complete_constrs in parmatch.ml now works with gadts. Reverted changes to the...Jacques Le Normand2010-11-163-11/+11
| * | bootstrapped camlp4 gadts extensionJacques Le Normand2010-11-121-3/+1
| * | disable progragation in pattern-matchings containing polymorphic variantsJacques Garrigue2010-11-111-2/+4
| * | remove the GAHsJacques Garrigue2010-11-101-8/+3
| * | clean upJacques Le Normand2010-11-104-8/+2
| * | variance of underscore type arguments can now be specifiedJacques Le Normand2010-11-081-1/+1
| * | exhaustiveness check has been _completely_ rewrittenJacques Le Normand2010-11-083-3/+3
| * | merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand2010-10-253-10/+34
| * | added lookup of constructors by type in env.ml and specification of construct...Jacques Le Normand2010-10-213-8/+8
| * | removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand2010-10-211-1/+1
| * | fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand2010-10-192-6/+4
| * | one more timeJacques Le Normand2010-10-181-1/+1
| * | fixed small bug in syntax extensionJacques Le Normand2010-10-181-1/+1
| * | added syntactic sugar for mixing newtypes and polytypesJacques Le Normand2010-10-181-0/+71
| * | should have been in last commitJacques Le Normand2010-10-011-1/+1
| * | small cleanupJacques Le Normand2010-09-222-4/+0
| * | made type parameters ellidable in type declarationsJacques Le Normand2010-09-213-5/+28
| * | switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand2010-09-193-1/+6
| * | first commitJacques Le Normand2010-09-134-7/+36
* | | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-2717-17/+17
View Lorry Controller Status