From a24d2ec44b1b523a4ec1efb1797f28bfa023d10b Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Thu, 4 May 2023 11:42:49 -0400 Subject: [PATCH] flambda-backend: Inline a variable to save 2%+ in allocations (#1353) --- typing/layouts.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/typing/layouts.ml b/typing/layouts.ml index 45282537df4..6ba2e326eb3 100644 --- a/typing/layouts.ml +++ b/typing/layouts.ml @@ -575,8 +575,9 @@ end let sub sub super = let ok = Ok () in - let err = Error (Violation.not_a_sublayout sub super) in - let equality_check is_eq = if is_eq then ok else err in + let equality_check is_eq = if is_eq then ok + else Error (Violation.not_a_sublayout sub super) + in match get sub, get super with | _, Const Any -> ok | Const c1, Const c2 when equal_const c1 c2 -> ok