From cd100b8832f153bb46e434c01d6813c556888ee9 Mon Sep 17 00:00:00 2001
From: Cameron Zwarich <cameron@lean-fro.org>
Date: Tue, 6 May 2025 09:27:05 -0700
Subject: [PATCH] chore: make builtinRuntimeTypes an Array rather than a List
 (#8249)

---
 src/Lean/Compiler/LCNF/Util.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/LCNF/Util.lean b/src/Lean/Compiler/LCNF/Util.lean
index fac45e1764..f81bf22250 100644
--- a/src/Lean/Compiler/LCNF/Util.lean
+++ b/src/Lean/Compiler/LCNF/Util.lean
@@ -77,7 +77,7 @@ def getCtorArity? (declName : Name) : CoreM (Option Nat) := do
 /--
 List of types that have builtin runtime support
 -/
-def builtinRuntimeTypes : List Name := [
+def builtinRuntimeTypes : Array Name := #[
   ``String,
   ``UInt8, ``UInt16, ``UInt32, ``UInt64, ``USize,
   ``Float, ``Float32,