summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* #5445: interpret warning attribute on expressions, and as floating signature/...Alain Frisch2013-10-044-0/+34
* Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch2013-10-019-51/+60
* Fix #6193 (Incorrect warning 12 for character ranges).Alain Frisch2013-10-011-3/+5
* Keep attributes on module declarations.Alain Frisch2013-09-2714-100/+197
* Keep attributes/locs for class type declarations and class declarations in Ty...Alain Frisch2013-09-2710-160/+228
* Keep location and attributes in type, label and constructor declarations. De...Alain Frisch2013-09-2717-163/+315
* Keep attributes on value declarations in .cmi files (but clear all the locati...Alain Frisch2013-09-267-7/+38
* Simplify type_structure.Alain Frisch2013-09-201-140/+93
* PR#6173: Improve error messages for type-based disambiguationJacques Garrigue2013-09-192-20/+47
* Do not track unused type declarations created by 'include'.Alain Frisch2013-09-177-36/+52
* #5817: new compiler flag (-keep-locs) to keep location in cmi files.Alain Frisch2013-09-171-3/+6
* #6182: better error message for virtual objects and class types.Alain Frisch2013-09-172-9/+12
* Switch Includemod.Error, without trying to split the message (to keep current...Alain Frisch2013-09-121-0/+11
* Switch Typetexp.Error, Typedecl.Error, Typemod.Error, Typeclass.Error.Alain Frisch2013-09-124-0/+37
* Switch Ctype.Tags.Alain Frisch2013-09-121-0/+13
* Switch Cmi_format.Error.Alain Frisch2013-09-121-0/+7
* Simplify common case of unit-wide errors.Alain Frisch2013-09-121-6/+2
* Do not keep file name in exception, after all.Alain Frisch2013-09-122-5/+6
* Keep input file in Env.Error. Switch it to the new system.Alain Frisch2013-09-122-5/+18
* Cherry-picking commit 14093 from trunk.Alain Frisch2013-09-112-0/+10
* Fix PR#6163Jacques Garrigue2013-09-061-0/+6
* Fix PR#6158Jacques Garrigue2013-09-051-73/+73
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-0417-89/+119
* Synchronize with trunk.Alain Frisch2013-08-284-5/+17
|\
| * Fix PR#6123Jacques Garrigue2013-08-202-3/+6
| * allow spurious private in with constraint for backward compatibility, but warnJacques Garrigue2013-07-311-3/+7
| * Fix PR#6090Jacques Garrigue2013-07-261-2/+7
| * Fix PR#5802Jacques Garrigue2013-07-241-1/+1
* | Synchronize with trunk.Alain Frisch2013-07-225-22/+6
|\ \ | |/
| * #6073: Add signature to Tstr_include. (Cherry-picked from commit 13903 on 4.01.)Alain Frisch2013-07-175-22/+6
* | More explicit internal representation of attribute payload. Now also support...Alain Frisch2013-07-224-6/+6
* | Synchronize with trunk.Alain Frisch2013-07-1629-585/+1085
|\ \ | |/
| * Fix #5571.Alain Frisch2013-07-091-8/+2
| * Remove duplicated declaration.Alain Frisch2013-07-041-3/+1
| * Fix PR#6056Jacques Garrigue2013-06-281-0/+3
| * fix PR#5914Jacques Garrigue2013-06-221-7/+2
| * fix a variance bug in GADTsJacques Garrigue2013-06-181-2/+4
| * #5980: a different warning for shadowing labels/constructors and for other ki...Alain Frisch2013-06-181-2/+7
| * Make GADT inference robust to useless equationsJacques Garrigue2013-06-171-7/+19
| * Fix PR#5815Jacques Garrigue2013-06-171-5/+15
| * #6035: reject multiple declarations of the same method or instance variable i...Alain Frisch2013-06-072-11/+24
| * #6030: Avoid repeated flushes.Alain Frisch2013-06-041-7/+7
| * PR#5098: creating module values may lead to memory leaksDamien Doligez2013-06-031-14/+28
| * Move back to revision r13685.Pierre Weis2013-06-031-183/+81
| * Introducing %A and %R conversion. Untabify. Wrong quoting chase.Pierre Weis2013-05-291-81/+183
| * extend warning 3 to other deprecated features: Latin1, (&) and (or)Damien Doligez2013-05-281-2/+3
| * merge changes from version/4.00 from 4.00.1 to r13697Damien Doligez2013-05-221-1/+1
| * fix bug in short-paths: must ignore position when comparing pathsJacques Garrigue2013-05-201-8/+28
| * #5980: only report shadowing against the environment before the 'open'.Alain Frisch2013-05-171-42/+42
| * #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-1612-35/+39
View Lorry Controller Status