summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* More work on typingmonadic_letWojciech Meyer2013-03-091-5/+8
* Simplify the bind pattersn to single one in typed tree. Skeleton of compilati...Wojciech Meyer2013-03-096-11/+12
* Rename monadic -> bindWojciech Meyer2013-03-096-11/+11
* Make monadic let behave like let for time beingWojciech Meyer2013-03-091-47/+9
* Initial commit.Wojciech Meyer2013-03-066-61/+277
* Replace error by warning for PR#5835Jacques Garrigue2013-02-192-4/+8
* Add warning 42 for disambiguated labels and constructors (compatibility with ...Jacques Garrigue2013-02-191-2/+10
* add -short-paths flag for printing shorter types when using modulesJacques Garrigue2013-02-0924-418/+670
|\
| * Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-2924-418/+670
| |\
| | * shorten paths in annot + lookup abbreviations in persistent structuresshort-pathsJacques Garrigue2012-12-173-4/+8
| | * improve performanceJacques Garrigue2012-12-102-1/+10
| | * expand to simpler typesJacques Garrigue2012-12-101-24/+76
| | * merge version/4.00 at revision 12866Jacques Garrigue2012-08-2145-2304/+5860
| | * prefer newest name + only update env after printingJacques Garrigue2012-04-191-31/+46
| | * build a map from internal paths to printed pathsJacques Garrigue2012-04-115-59/+91
| | * remove opened modules in type pathsJacques Garrigue2012-04-031-23/+48
| | * shorten paths in .annotJacques Garrigue2012-03-141-3/+3
| | * disable shortening for errors in TypetexpJacques Garrigue2012-01-242-23/+22
| | * disable shortening if Env.emptyJacques Garrigue2012-01-241-2/+3
| | * propagate path-expansion environment everywhereJacques Garrigue2012-01-2314-167/+190
| | * simpler approach for signaturesJacques Garrigue2012-01-221-52/+27
| | * shorten paths in signatures and toplevel outputJacques Garrigue2012-01-223-15/+60
| | * first attempt: handles only unification errorsJacques Garrigue2012-01-229-142/+203
* | | small fixes on GADT ambiguity levelsJacques Garrigue2013-02-011-26/+22
|/ /
* | Fix PR#5907Jacques Garrigue2013-01-261-3/+3
* | Fix PR#5906Jacques Garrigue2013-01-251-21/+16
* | Fix PR#5892Jacques Garrigue2013-01-161-4/+5
* | #5877: improve performance of repeated open statements on the same module (mo...Alain Frisch2013-01-151-17/+64
* | allow absent constructors in PM for non-exact polymorphic variant typesJacques Garrigue2013-01-151-0/+1
* | propagate type information to patterns, even when there are polymorphic variantsJacques Garrigue2013-01-112-14/+81
* | Fix #5876.Alain Frisch2013-01-081-3/+3
* | fix PR#5673Jacques Garrigue2012-12-271-22/+29
* | fix PR#5835Jacques Garrigue2012-12-271-1/+3
* | Fix PR#5865Jacques Garrigue2012-12-273-10/+9
* | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-182-0/+4
* | fix PR#5858Jacques Garrigue2012-12-181-2/+4
* | Improve fix of PR#5848 (allow disambiguation, only restrict scope of GADTs)Jacques Garrigue2012-12-082-13/+19
* | fix PR#5848 by disabling disambiguation for GADTs in patternsJacques Garrigue2012-12-072-1/+11
* | merge branches/record-disambiguationJacques Garrigue2012-12-0613-149/+660
|\ \
| * | merge patch new-error.diff by lpw25record-disambiguationJacques Garrigue2012-11-117-36/+109
| * | better errors + fix escaping exceptionJacques Garrigue2012-11-082-62/+59
| * | add spellchecking for Wrong_nameJacques Garrigue2012-11-014-30/+48
| * | keep longident in Typecore.Wrong_nameJacques Garrigue2012-10-312-7/+7
| * | Fix typo.Alain Frisch2012-10-311-1/+1
| * | fix warningsJacques Garrigue2012-10-312-35/+45
| * | Whitespace cleanup.Alain Frisch2012-10-302-38/+38
| * | fix warningsJacques Garrigue2012-10-301-48/+51
| * | clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue2012-10-298-156/+424
| * | clean upJacques Garrigue2012-10-241-12/+13
| * | In the unqualified case, allow typed-based resolution to succeed even if the ...Alain Frisch2012-10-241-6/+8
View Lorry Controller Status