summaryrefslogtreecommitdiff
path: root/src/pattern_completeness.ml
AgeCommit message (Expand)Author
2020-11-25Remove bogus pattern completeness warning on singleton enums and unionsBrian Campbell
2019-08-02Fix all warnings (except for two lem warnings)Alasdair Armstrong
2019-06-12Handle partial matches in guarded pattern rewriteThomas Bauereiss
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
2019-03-04Add location to warning in pattern completeness checkAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-07-26Some tweaks to not and or patternsAlasdair Armstrong
2018-07-26Patterns: add or and not patternsAlastair Reid
2018-06-29Try to fix some tricky C compilation bugs, break everything insteadAlasdair Armstrong
2018-05-02refactor string append pattern ast to be based on lists rather than pairsJon French
2018-05-01start of string pattern matching: currently only literalsJon French
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-02-26Fix missing case in pattern completeness checkAlasdair Armstrong
2018-02-21Implement more builtins in constant propagationBrian Campbell
2018-01-25Add mli file for pattern completeness moduleAlasdair Armstrong
2018-01-25Add pattern completness check for match statementsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:52:05 +0000