Skip to content

Commit 1282d16

Browse files
authored
Functions with no clauses aren't local-returning (#149)
1 parent 15d38c0 commit 1282d16

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

typing/typecore.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3318,6 +3318,7 @@ let rec is_an_uncurried_function e =
33183318
let is_local_returning_function cases =
33193319
let rec loop_cases cases =
33203320
match cases with
3321+
| [] -> false
33213322
| [{pc_lhs = _; pc_guard = None; pc_rhs = e}] ->
33223323
loop_body e
33233324
| cases ->

0 commit comments

Comments
 (0)