summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Remove debug.Alain Frisch2014-04-071-1/+0
* Printer for exception with inline records.Alain Frisch2014-04-071-13/+33
* Adapt printer.Alain Frisch2014-04-073-37/+112
* Distinguish explicitly representation of regular records and inlined records ...Alain Frisch2014-04-045-10/+13
* Support exception rebinding.Alain Frisch2014-04-046-20/+64
* Get rid of 'as' clause in inline records. Support re-export of sum types wit...Alain Frisch2014-04-041-26/+41
* Allow to give an explicit name (and specify parameters) for inlined records.Alain Frisch2014-04-011-9/+14
* Always keep the original type parameters (with ordering) for synthesized reco...Alain Frisch2014-04-011-11/+22
* Switch to t.A syntax for synthesized types. Allow the user to refer to such ...Alain Frisch2014-04-011-1/+1
* Support for record arguments on exceptions.Alain Frisch2014-04-019-63/+113
* Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-3118-482/+320
* Cleanup (use attributes to pass information).Alain Frisch2014-03-311-31/+38
* Encode record arguments into extra record declarations.Alain Frisch2014-03-317-42/+109
* Type-check constructor creation with a record argument.Alain Frisch2014-03-282-6/+29
* Some preparation for record arguments.Alain Frisch2014-03-2818-311/+479
* #6352: add a warning on implicit removal of optional arguments.Alain Frisch2014-03-261-3/+5
* Get rid of some uses of implicit removal of optional arguments.Alain Frisch2014-03-261-12/+15
* Get rid of some uses of implicit removal of optional arguments.Alain Frisch2014-03-261-1/+1
* Get rid of some uses of implicit removal of optional arguments.Alain Frisch2014-03-262-2/+2
* Optimize Env.find_module further for PR#6350Jacques Garrigue2014-03-231-10/+18
* Fix PR#6350Jacques Garrigue2014-03-221-8/+15
* #PR6269 Optimized string matchingLuc Maranget2014-03-211-1/+1
* Shorten syntax for functor signatures (patch by Thomas Gazagnaire)Gabriel Scherer2014-03-201-6/+11
* Fix PR#6307Jacques Garrigue2014-03-106-3/+225
* Structural typing of first class modules (cf. PR#6333)Jacques Garrigue2014-03-104-26/+148
* #5779: improve support for structured constants (better propagation, sharing,...Alain Frisch2014-03-061-2/+10
* Fix PR#6331Jacques Garrigue2014-02-252-9/+19
* Add location to module and module type definitions. Improves #6311.Alain Frisch2014-01-309-34/+67
* #6311: show kind and location of missing item, in case of signature mismatch.Alain Frisch2014-01-302-14/+26
* Record inclusion checks between value_descriptions in .cmt files. This makes...Alain Frisch2014-01-284-3/+22
* #6308: better error message when the types inferred for a variable on both si...Alain Frisch2014-01-272-1/+9
* Fix PR#6303Jacques Garrigue2014-01-231-18/+35
* Fix PR#6293Jacques Garrigue2014-01-144-4/+11
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-1022-175/+466
|\
| * Add -trans-mod option for transparent module dependencies.module-aliasJacques Garrigue2013-12-203-5/+27
| * Fix PR#6240Jacques Garrigue2013-11-181-2/+6
| * fix computation of positionJacques Garrigue2013-11-161-2/+4
| * also generate module aliases when using includeJacques Garrigue2013-11-152-4/+26
| * expand module aliases and type identifiers in "module type of"Jacques Garrigue2013-11-111-0/+2
| * use new scrape_alias for Env tooJacques Garrigue2013-11-114-29/+22
| * use a strengthening version of scrape_alias in TypemodJacques Garrigue2013-11-112-6/+24
| * merge trunk:14244 to fix bootstrapJacques Garrigue2013-10-2411-55/+100
| |\
| * | Do not add module aliases to importsJacques Garrigue2013-10-085-52/+73
| * | applicative functor applicationJacques Garrigue2013-10-081-17/+21
| * | make path normalization safer; now Core not only compiles but worksJacques Garrigue2013-10-045-17/+44
| * | Hurrah: Core compiles (with some warnings)Jacques Garrigue2013-10-022-2/+7
| * | fix path comparison. still a problem with FCMod in Core.BinableJacques Garrigue2013-10-023-9/+24
| * | fix exn_rebind: camlp4 compiles againJacques Garrigue2013-10-022-1/+3
| * | everything works except camlp4Jacques Garrigue2013-10-015-79/+95
| * | passes the testsuite!Jacques Garrigue2013-09-305-24/+31
View Lorry Controller Status