summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* 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
| * #5980: warning on open statements which shadow an existing identifier (which ...Alain Frisch2013-05-161-60/+72
| * Fix error message.Alain Frisch2013-05-131-0/+2
| * protect against Ctype.equal changing the representativeJacques Garrigue2013-05-041-0/+2
| * More clever handling of constrained parameters:Jacques Garrigue2013-05-041-33/+46
| * Fix PR#6004Jacques Garrigue2013-05-041-34/+38
| * Fix PR#6005Jacques Garrigue2013-05-033-10/+16
| * Fix PR#5985 for constrained parameters too.Jacques Garrigue2013-05-039-179/+279
| * typo in -short-pathsJacques Garrigue2013-05-021-2/+2
| * For -short-paths, lookup the whole environment, but avoid recomputationJacques Garrigue2013-05-023-8/+26
| * Take ambiguity into account when using -short-paths option.Jacques Garrigue2013-04-304-11/+108
| * Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue2013-04-3010-178/+225
| * Fix #5965.Alain Frisch2013-04-295-5/+41
View Lorry Controller Status