Skip to content

Commit 3bcd4ff

Browse files
JonoPrestclaude
andcommitted
Drop Incoherent_label_order raise-site comment
It's a live variant with a fixture (labeled_args_incoherent_order.res), so the behavior is captured by the test, not a comment. Comments are reserved for removals. The raise site is now identical to master. Signed-Off-By: Jono Prest <jono@envio.dev> Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
1 parent 8e615c9 commit 3bcd4ff

1 file changed

Lines changed: 1 addition & 8 deletions

File tree

compiler/ml/typecore.ml

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3874,14 +3874,7 @@ and type_application ~context total_app env funct (sargs : sargs) :
38743874
else if not (has_label l1 ty_fun) then
38753875
raise
38763876
(Error (sarg1.pexp_loc, env, Apply_wrong_label (l1, ty_res)))
3877-
else
3878-
(* Reached when a not-yet-generalized function value is applied
3879-
more than once with labelled arguments in conflicting orders
3880-
(e.g. `g => (g(~a, ~b), g(~b, ~a))`): the first call fixes the
3881-
arrow order, and the second reordered call lands here via the
3882-
leftover/tvar path. See
3883-
fixtures/labeled_args_incoherent_order.res. *)
3884-
raise (Error (funct.exp_loc, env, Incoherent_label_order))
3877+
else raise (Error (funct.exp_loc, env, Incoherent_label_order))
38853878
| _ ->
38863879
raise
38873880
(Error

0 commit comments

Comments
 (0)