summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Adapt to stricter semantics of ';' in strict-sequence.remove_spurious_semi_colonsalainfrisch2017-08-291-21/+21
* Merge pull request #1273 from garrigue/fix_mpr7519Leo White2017-08-292-7/+31
|\
| * remove changes in ctype.ml and replace by a commentJacques Garrigue2017-08-291-2/+5
| * spurious semicolonJacques Garrigue2017-08-031-1/+1
| * move Ctype.generic_abbrev back to originalJacques Garrigue2017-08-031-29/+29
| * expand all or nothing, to avoid combinatorial blow-upJacques Garrigue2017-08-021-15/+23
| * Fix PR#7519, but high cost in update_levelJacques Garrigue2017-08-022-32/+45
* | M.(::) syntax and printing exotic lists in the toplevel. (#1247)Florian Angeletti2017-08-111-2/+6
* | Typos and basic grammar error fixing (#1280)Fourchaux2017-08-1012-44/+44
|/
* merge trunk and update testRunhang Li2017-07-2320-100/+358
|\
| * Support 'let open' in class and class type expressions (#1249)Alain Frisch2017-07-2014-12/+68
| * Fix Env.without_cmis (#1223)Leo White2017-07-191-43/+113
| * MPR#248: remember weak variable namesoctachron2017-07-131-15/+53
| * PR#7511: Unboxed type with unboxed argument should not be accepted (#1133)Damien Doligez2017-07-131-9/+63
| * Merge pull request #1186 from Octachron/fix_packed_module_and_short_pathsGabriel Scherer2017-06-142-5/+10
| |\
| | * PR#7534: fix packed module type error reportingoctachron2017-06-132-5/+10
| * | Merge branch 'trunk' of github.com:ocaml/ocaml into trunkJacques Garrigue2017-06-1214-119/+198
| |\ \
| | * \ Merge pull request #1142 from stedolan/assert-nonexpansiveGabriel Scherer2017-06-041-0/+10
| | |\ \
| | | * | Make (raise e) nonexpansive.Stephen Dolan2017-05-121-0/+8
| | | * | Make assertions nonexpansive.Stephen Dolan2017-04-071-0/+2
| | * | | GPR#1187: cite typemod and pparse plugin hooksoctachron2017-06-011-1/+1
| | | |/ | | |/|
| * | | Fix PR#7348Jacques Garrigue2017-06-125-15/+40
* | | | Merge branch 'trunk' into object-inheritRunhang Li2017-05-2222-417/+716
|\ \ \ \ | | |/ / | |/| |
| * | | Merge pull request #1138 from alainfrisch/pr7444_deprecated_warning_upon_incl...Alain Frisch2017-05-1512-118/+187
| |\ \ \ | | |/ / | |/| |
| | * | Remove blank line to improve readability.alainfrisch2017-05-153-6/+0
| | * | Cut long lines.alainfrisch2017-05-151-2/+4
| | * | Class declarations create a class type declaration in signature: no need to c...alainfrisch2017-05-093-12/+4
| | * | Support for modules and module types.alainfrisch2017-05-091-6/+21
| | * | Support for deprecated class/class types.alainfrisch2017-05-094-12/+35
| | * | Support for deprecated_mutable attribute.alainfrisch2017-05-093-22/+36
| | * | Support for deprecated attribute on constructors.alainfrisch2017-05-096-27/+48
| | * | Move logic from Includemod to Includecore.alainfrisch2017-05-093-9/+13
| | * | Deprecation warning when checking signature inclusionalainfrisch2017-04-058-56/+60
| * | | Strip big strings in toplevel (#1058)Fabrice Le Fessant2017-05-112-3/+23
| * | | Fix PR#7070: Use simplified signature in generalizable check (#1139)Leo White2017-05-081-2/+2
| * | | Partially remove polymorphic compare for constructor_tag (#406)dwightguth2017-04-283-9/+30
| | |/ | |/|
| * | Fixed grammar in error messagesMax Mouratov2017-04-062-2/+2
| |/
| * Renaming EnvTbl -> TycompTbl; EnvTbl2 -> IdTbl.alainfrisch2017-03-241-52/+52
| * Expose a more explicit 'copy types' operation in Env (with a representation i...alainfrisch2017-03-244-21/+16
| * Record update_value in summary.alainfrisch2017-03-241-9/+15
| * Simplify.alainfrisch2017-03-241-6/+2
| * Move diff_keys functions to EnvTbl/EnvTbl2.alainfrisch2017-03-241-21/+23
| * Factorize type expression.alainfrisch2017-03-241-8/+9
| * Cleanup.alainfrisch2017-03-241-7/+5
| * Simplify: no need to keep the position of labels/constructors (for extension ...alainfrisch2017-03-241-12/+12
| * Comments.alainfrisch2017-03-241-2/+35
| * Optimize lookups by specializing Tbl.find to string keys (not strictly relate...alainfrisch2017-03-241-15/+15
| * Do not mark opens as being used when they are only used to look for shadowed ...alainfrisch2017-03-241-1/+1
| * Starting to switch to a layered representation of 'opens'.alainfrisch2017-03-243-153/+308
| * Fix 'deprecated module' warning.alainfrisch2017-03-241-9/+9