From 98597ad5fca81544d74f721fb508295fd2650232 Mon Sep 17 00:00:00 2001
From: Sylvain Henry <sylvain@haskus.fr>
Date: Thu, 23 May 2024 16:24:31 +0200
Subject: [PATCH] Export extractPromotedList (#24866)
This can be useful in plugins.
---
compiler/GHC/Builtin/Types.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/GHC/Builtin/Types.hs b/compiler/GHC/Builtin/Types.hs
index 8fbc6e61f65f..a06febf73ad5 100644
--- a/compiler/GHC/Builtin/Types.hs
+++ b/compiler/GHC/Builtin/Types.hs
@@ -64,7 +64,7 @@ module GHC.Builtin.Types (
nilDataCon, nilDataConName, nilDataConKey,
consDataCon_RDR, consDataCon, consDataConName,
promotedNilDataCon, promotedConsDataCon,
- mkListTy, mkPromotedListTy,
+ mkListTy, mkPromotedListTy, extractPromotedList,
-- * Maybe
maybeTyCon, maybeTyConName,
--
GitLab