From eec8cc3cb808a27a5e0cc2f0686ad4fdbcc0cca2 Mon Sep 17 00:00:00 2001
From: Jordan Martinez <jordanalex.martinez@protonmail.com>
Date: Thu, 30 Nov 2023 13:46:26 -0600
Subject: [PATCH] Always inline buildInfo

---
 src/Spago/BuildInfo.purs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Spago/BuildInfo.purs b/src/Spago/BuildInfo.purs
index ce55ef05b..c8b5d013b 100644
--- a/src/Spago/BuildInfo.purs
+++ b/src/Spago/BuildInfo.purs
@@ -54,7 +54,8 @@ writeBuildInfo = do
 -- TODO: use tidy-codegen eventually
 mkBuildInfo :: BuildInfo -> String
 mkBuildInfo { packages, pursVersion } = String.joinWith "\n"
-  [ "module Spago.Generated.BuildInfo where"
+  [ "-- @inline export buildInfo always"
+  , "module Spago.Generated.BuildInfo where"
   , ""
   , "buildInfo :: { packages :: " <> recordType <> ", pursVersion :: String, spagoVersion :: String }"
   , "buildInfo ="