Skip to content

Commit

Permalink
Add test in case of multiple patterns
Browse files Browse the repository at this point in the history
  • Loading branch information
xvw committed Mar 4, 2024
1 parent 3caee43 commit 00807ff
Showing 1 changed file with 24 additions and 0 deletions.
24 changes: 24 additions & 0 deletions tests/test-dirs/destruct/issue1661.t
Original file line number Diff line number Diff line change
Expand Up @@ -20,3 +20,27 @@
],
"notifications": []
}


$ $MERLIN single case-analysis -start 2:9 -end 2:9 \
> -filename main.ml <<EOF
> type t = {a: int option; b: string}
> let f ({a; b} : t) = assert false
> EOF
{
"class": "return",
"value": [
{
"start": {
"line": 2,
"col": 7
},
"end": {
"line": 2,
"col": 13
}
},
"({ a = None; b } : t) | ({ a = Some _; b } : t)"
],
"notifications": []
}

0 comments on commit 00807ff

Please sign in to comment.