Skip to content

Commit

Permalink
Revert error message
Browse files Browse the repository at this point in the history
  • Loading branch information
liam923 committed May 14, 2024
1 parent f1f9bec commit a870c36
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/analysis/destruct.ml
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@ let collect_every_pattern_for_expression parent =
let patterns =
Mbrowse.fold_node (fun env node acc ->
match node with
| Pattern _ -> raise (Not_allowed ("pattern in function argument"))
| Pattern _ -> (* Not expected here *) raise Nothing_to_do
| Case _ ->
Mbrowse.fold_node (fun _env node acc ->
match node with
Expand Down

0 comments on commit a870c36

Please sign in to comment.