summaryrefslogtreecommitdiff
path: root/typing
Commit message (Collapse)AuthorAgeFilesLines
* More work on typingmonadic_letWojciech Meyer2013-03-091-5/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Simplify the bind pattersn to single one in typed tree. Skeleton of ↵Wojciech Meyer2013-03-096-11/+12
| | | | | | compilation to lambda. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rename monadic -> bindWojciech Meyer2013-03-096-11/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Make monadic let behave like let for time beingWojciech Meyer2013-03-091-47/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Initial commit.Wojciech Meyer2013-03-066-61/+277
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Replace error by warning for PR#5835Jacques Garrigue2013-02-192-4/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add warning 42 for disambiguated labels and constructors (compatibility with ↵Jacques Garrigue2013-02-191-2/+10
| | | | | | old versions) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add -short-paths flag for printing shorter types when using modulesJacques Garrigue2013-02-0924-418/+670
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-2924-418/+670
| |\ | | | | | | | | | | | | | | | | | | | | | | | | Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * shorten paths in annot + lookup abbreviations in persistent structuresshort-pathsJacques Garrigue2012-12-173-4/+8
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * improve performanceJacques Garrigue2012-12-102-1/+10
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * expand to simpler typesJacques Garrigue2012-12-101-24/+76
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * merge version/4.00 at revision 12866Jacques Garrigue2012-08-2145-2304/+5860
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * prefer newest name + only update env after printingJacques Garrigue2012-04-191-31/+46
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * build a map from internal paths to printed pathsJacques Garrigue2012-04-115-59/+91
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * remove opened modules in type pathsJacques Garrigue2012-04-031-23/+48
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * shorten paths in .annotJacques Garrigue2012-03-141-3/+3
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * disable shortening for errors in TypetexpJacques Garrigue2012-01-242-23/+22
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * disable shortening if Env.emptyJacques Garrigue2012-01-241-2/+3
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * propagate path-expansion environment everywhereJacques Garrigue2012-01-2314-167/+190
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * simpler approach for signaturesJacques Garrigue2012-01-221-52/+27
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * shorten paths in signatures and toplevel outputJacques Garrigue2012-01-223-15/+60
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| | * first attempt: handles only unification errorsJacques Garrigue2012-01-229-142/+203
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | small fixes on GADT ambiguity levelsJacques Garrigue2013-02-011-26/+22
|/ / | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#5907Jacques Garrigue2013-01-261-3/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#5906Jacques Garrigue2013-01-251-21/+16
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#5892Jacques Garrigue2013-01-161-4/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | #5877: improve performance of repeated open statements on the same module ↵Alain Frisch2013-01-151-17/+64
| | | | | | | | | | | | (most useful for local opens). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | allow absent constructors in PM for non-exact polymorphic variant typesJacques Garrigue2013-01-151-0/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | propagate type information to patterns, even when there are polymorphic variantsJacques Garrigue2013-01-112-14/+81
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix #5876.Alain Frisch2013-01-081-3/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix PR#5673Jacques Garrigue2012-12-271-22/+29
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix PR#5835Jacques Garrigue2012-12-271-1/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#5865Jacques Garrigue2012-12-273-10/+9
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-182-0/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix PR#5858Jacques Garrigue2012-12-181-2/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Improve fix of PR#5848 (allow disambiguation, only restrict scope of GADTs)Jacques Garrigue2012-12-082-13/+19
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix PR#5848 by disabling disambiguation for GADTs in patternsJacques Garrigue2012-12-072-1/+11
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge branches/record-disambiguationJacques Garrigue2012-12-0613-149/+660
|\ \ | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | merge patch new-error.diff by lpw25record-disambiguationJacques Garrigue2012-11-117-36/+109
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | better errors + fix escaping exceptionJacques Garrigue2012-11-082-62/+59
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | add spellchecking for Wrong_nameJacques Garrigue2012-11-014-30/+48
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | keep longident in Typecore.Wrong_nameJacques Garrigue2012-10-312-7/+7
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | Fix typo.Alain Frisch2012-10-311-1/+1
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13053 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | fix warningsJacques Garrigue2012-10-312-35/+45
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | Whitespace cleanup.Alain Frisch2012-10-302-38/+38
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | fix warningsJacques Garrigue2012-10-301-48/+51
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue2012-10-298-156/+424
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | clean upJacques Garrigue2012-10-241-12/+13
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | In the unqualified case, allow typed-based resolution to succeed even if the ↵Alain Frisch2012-10-241-6/+8
| | | | | | | | | | | | | | | | | | label is not accessible in the toplevel environment (i.e. the module has not been opened). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status