summaryrefslogtreecommitdiff
path: root/typing/rec_check.ml
Commit message (Expand)AuthorAgeFilesLines
* Fix Rec_check for let module _ = ..Vincent Laviron2020-01-241-2/+2
* Fixing typos (#9162)Fourchaux2019-12-041-1/+1
* typedtree: make the Tpat_value argument a private synonymGabriel Scherer2019-10-311-1/+1
* split patterns into "value patterns" and "computation patterns"Gabriel Scherer2019-10-311-6/+8
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-8/+20
* value letrec: fix a bug in analysis of inner mutually-recursive bindingsGabriel Scherer2019-03-011-15/+94
* Fixing typos in various files (#2246)Fourchaux2019-02-131-2/+2
* Add support for "let" operatorsLeo White2018-11-271-1/+12
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-21/+14
* Remove positions from pathsLeo White2018-11-211-6/+6
* fix minor typoGabriel Scherer2018-11-161-1/+1
* [minor] add rec_check.ml copyright info (as suggested by Damien)Gabriel Scherer2018-09-131-0/+2
* rec_check.ml: high-level documentation and reorderingGabriel Scherer2018-09-131-166/+256
* rec_check: clarify the mode ordering, add and use a ranking functionGabriel Scherer2018-09-131-44/+36
* clarifications suggested by JeremyGabriel Scherer2018-09-131-11/+13
* renamed Unused into Ignore (suggested by Jeremy Yallop)Gabriel Scherer2018-09-131-16/+19
* explain why field assignments may dereference the new valueJeremy Yallop2018-09-131-3/+7
* rec_check: clarifications suggested by ArmaëlGabriel Scherer2018-09-131-100/+147
* rec_check.ml: write the term judgments in a more abstract styleGabriel Scherer2018-09-131-121/+181
* rec_check.ml: clarify the pattern-matching rulesGabriel Scherer2018-09-131-28/+31
* rec_check.ml refactoring: standard argument order for mode judgmentsGabriel Scherer2018-09-131-148/+184
* rec_check.ml: clarify the use of Guard for discarded valuesGabriel Scherer2018-09-131-24/+31
* rec_check.ml: fix a soundness bug with record override { foo with ... }Gabriel Scherer2018-09-131-1/+1
* rec_check: code refactoringGabriel Scherer2018-09-131-283/+233
* rec_check: complete the missing cases from Alban's patchsetGabriel Scherer2018-09-131-174/+177
* New implementation of rec_check.ml (WIP)alban2018-09-131-298/+573
* rec_check.ml: synchronize with 4.07's implementation of #1915Gabriel Scherer2018-07-291-2/+2
* Merge pull request #1915 from Cemoixerestre/rec_class_bugGabriel Scherer2018-07-291-2/+8
|\
| * rec_check.ml: fix a bug in recursive class declarations check.alban2018-07-281-2/+8
* | rec_check: remove the duplicate array_type_kind classifier, use TypeoptGabriel Scherer2018-07-281-61/+14
|/
* allow exceptions under or-patternsThomas Refis2018-07-161-5/+3
* Whitespace and overlong line fixes.David Allsopp2018-06-141-3/+6
* Remove pv_name fieldNicolás Ojeda Bär2018-06-071-1/+1
* Fix lazy/float interaction when configured with -no-flat-float-array. (#1471)Damien Doligez2018-06-051-1/+1
* update to PR#1768: set proper header on rec_check.ml*Damien Doligez2018-06-041-3/+2
* rec_check: cleanup interfaceThomas Refis2018-05-231-6/+7
* move Rec_check out of typecoreThomas Refis2018-05-231-0/+727
View Lorry Controller Status