@@ -17,7 +17,7 @@ Path withSomeVarian
1717 "detail": "insert exhaustive switch for value",
1818 "documentation": null,
1919 "filterText": "withSomeVariant",
20- "insertText": "withSomeVariant {\n | One => ${1:failwith(\"todo\")}\n | Two => ${2:failwith(\"todo\")}\n | Three(_) => ${3:failwith(\"todo\")}\n }",
20+ "insertText": "withSomeVariant {\n | One => ${1:failwith(\"todo\")}\n | Three(_) => ${2:failwith(\"todo\")}\n | Two => ${3:failwith(\"todo\")}\n }",
2121 "insertTextFormat": 2
2222 }]
2323
@@ -40,7 +40,7 @@ Path withSomePol
4040 "detail": "insert exhaustive switch for value",
4141 "documentation": null,
4242 "filterText": "withSomePoly",
43- "insertText": "withSomePoly {\n | #\"exotic ident\" => ${1:failwith(\"todo\")}\n | #one => ${2:failwith(\"todo\")}\n | #\"switch\" => ${3:failwith(\"todo\")}\n | #three(_) => ${4:failwith(\"todo\")}\n | #two => ${5:failwith(\"todo\")}\n }",
43+ "insertText": "withSomePoly {\n | #\"exotic ident\" => ${1:failwith(\"todo\")}\n | #\"switch\" => ${2:failwith(\"todo\")}\n | #one => ${3:failwith(\"todo\")}\n | #three(_) => ${4:failwith(\"todo\")}\n | #two => ${5:failwith(\"todo\")}\n }",
4444 "insertTextFormat": 2
4545 }]
4646
@@ -63,7 +63,7 @@ Path someBoo
6363 "detail": "insert exhaustive switch for value",
6464 "documentation": null,
6565 "filterText": "someBool",
66- "insertText": "someBool {\n | true => ${1:failwith(\"todo\")}\n | false => ${2:failwith(\"todo\")}\n }",
66+ "insertText": "someBool {\n | false => ${1:failwith(\"todo\")}\n | true => ${2:failwith(\"todo\")}\n }",
6767 "insertTextFormat": 2
6868 }]
6969
@@ -86,7 +86,7 @@ Path someOp
8686 "detail": "insert exhaustive switch for value",
8787 "documentation": null,
8888 "filterText": "someOpt",
89- "insertText": "someOpt {\n | Some($1) => ${2:failwith(\"todo\")}\n | None => ${3:failwith(\"todo\")}\n }",
89+ "insertText": "someOpt {\n | None => ${2:failwith(\"todo\")}\n | Some($1) => ${3:failwith(\"todo\")}\n }",
9090 "insertTextFormat": 2
9191 }]
9292
@@ -164,7 +164,7 @@ Path withSomeVarian
164164 "detail": "insert exhaustive switch for value",
165165 "documentation": null,
166166 "filterText": "withSomeVariant",
167- "insertText": "withSomeVariant {\n | One => ${1:%todo}\n | Two => ${2:%todo}\n | Three(_) => ${3:%todo}\n }",
167+ "insertText": "withSomeVariant {\n | One => ${1:%todo}\n | Three(_) => ${2:%todo}\n | Two => ${3:%todo}\n }",
168168 "insertTextFormat": 2
169169 }]
170170
0 commit comments