summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* remove unused constructor: Unbound_row_variableFlorian Angeletti2023-04-252-6/+0
* use Misc.find_first_monoTakafumi Saikawa2023-04-081-9/+10
* remove reified_var_counterTakafumi Saikawa2023-04-083-18/+22
* Use ghost locs for nodes used to handle default value in opt args (#12134)panglesd2023-04-081-3/+4
* Remove arity-interrupting elaboration of module unpacks (#12117)Nick Roberts2023-04-055-184/+243
* Don't suggest a semicolon when the type is not unit (#12116)Jules Aguillon2023-03-272-5/+16
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-278-90/+189
* match: check scrutinee for partial application (#12094)Nicolás Ojeda Bär2023-03-271-6/+21
* parsetree: explicit type constraints for value bindings (#12119)Florian Angeletti2023-03-241-19/+45
* Merge pull request #12107 from Octachron/aliases_for_weak_variablesGabriel Scherer2023-03-203-65/+67
|\
| * variant with simplified oprintFlorian Angeletti2023-03-143-52/+27
| * error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-143-26/+53
* | review: simplify functor inclusion diffing updateFlorian Angeletti2023-03-161-19/+17
* | review: preserve new commentFlorian Angeletti2023-03-161-0/+3
* | review: share more code with the error pathFlorian Angeletti2023-03-161-33/+21
* | review: more comments?Florian Angeletti2023-03-161-34/+34
* | (self)review: ensure that Change = Insert + DeleteFlorian Angeletti2023-03-161-2/+9
* | Fix #12061: don't be too optimistic with functorsFlorian Angeletti2023-03-161-10/+13
|/
* typecore: comment the backtracking logic in type_label_expGabriel Scherer2023-03-011-3/+12
* use find_first_mono in UntypeastGabriel Scherer2023-02-281-6/+4
* use find_first_mono in PrinttypGabriel Scherer2023-02-281-10/+10
* move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)Jacques Garrigue2023-02-235-14/+17
* #11450: struct end might be really a structureFlorian Angeletti2023-02-204-9/+19
* error messages: use submsgs for signature avoidanceFlorian Angeletti2023-02-161-14/+20
* signature avoidance: simplified identifier disambiguationFlorian Angeletti2023-02-161-10/+17
* use Shape component kinds in printtypFlorian Angeletti2023-02-163-70/+68
* Remove an unused parameter in Printtyp.filter_trace (#12008)Richard Eisenberg2023-02-151-11/+6
* Merge pull request #11912 from goldfirere/refactor-univarsFlorian Angeletti2023-02-156-228/+380
|\
| * Comment improvement from @OctachronRichard Eisenberg2023-02-141-2/+9
| * Restore call to [instance]Richard Eisenberg2023-02-131-1/+4
| * Remove stated invariants, as they're not always trueRichard Eisenberg2023-02-101-8/+0
| * Fix overlong lineRichard Eisenberg2023-02-031-1/+2
| * Comments from @OctachronRichard Eisenberg2023-02-035-46/+40
| * Respond to comments from GabrielRichard Eisenberg2023-02-033-23/+29
| * Impose invariants on structures in TypetexpRichard Eisenberg2023-02-031-10/+44
| * Fix overlong linesRichard Eisenberg2023-02-033-9/+16
| * Comment functions exported from TyVarEnv.Richard Eisenberg2023-02-031-3/+32
| * Move new variable creation into TyVarEnv.Richard Eisenberg2023-02-032-50/+66
| * Encapsulate functions that work with tyvarsRichard Eisenberg2023-02-036-198/+261
* | Merge pull request #11888 from smuenzel/deduce-type-variableGabriel Scherer2023-02-145-123/+299
|\ \
| * | Fix formatting box for Variance_not_satisfied errorStefan Muenzel2023-02-141-1/+1
| * | Print out type variables that cannot be deducedStefan Muenzel2023-02-143-76/+173
| * | printtyp: Refactor constructor printing functionalityStefan Muenzel2023-02-142-46/+125
* | | Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-129-50/+100
|/ /
* | typedecl: document well-foundednessGabriel Scherer2023-02-041-3/+158
|/
* Missing semicolon hint: Span the end of the argumentJules Aguillon2023-01-191-4/+8
* Apply_non_function: Print name of function if possibleJules Aguillon2023-01-194-6/+35
* Improve the error message about too many argumentsJules Aguillon2023-01-192-29/+69
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-171-38/+41
* [refactoring] typetexp: [create_package_type] always takes [~fake:true]Gabriel Scherer2023-01-151-4/+4
View Lorry Controller Status