From cccdfb71291f7030b8d466ff83694c7e76d3fd1e Mon Sep 17 00:00:00 2001 From: Karl Meakin Date: Fri, 30 Dec 2022 21:29:01 +0000 Subject: [PATCH] Update roadmap --- doc/roadmap.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/roadmap.md b/doc/roadmap.md index 62ae006c9..043599199 100644 --- a/doc/roadmap.md +++ b/doc/roadmap.md @@ -39,14 +39,14 @@ - [ ] refinement types - [x] match expressions - [x] single-layer pattern matching - - [ ] multi-layer pattern matching + - [x] multi-layer pattern matching - [ ] dependent pattern matching -- [ ] patterns +- [x] patterns - [x] wildcard patterns - [x] named patterns - [x] annotated patterns - [x] numeric literal patterns - - [ ] record literal patterns + - [x] record literal patterns - [ ] invertible format descriptions ## Implementation