Skip to content

Commit 4739899

Browse files
erikderikd
committed
Preliminary ghc-9.14 support
Currently using ghc-9.14.0.20251028 (-rc1).
1 parent 188650b commit 4739899

File tree

7 files changed

+282
-14
lines changed

7 files changed

+282
-14
lines changed

‎cabal.project‎

Lines changed: 203 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,3 +83,206 @@ allow-newer:
8383
-- https://github.com/IntersectMBO/plutus/pull/7236
8484
constraints: setup.optparse-applicative >=0.19.0.0
8585
allow-newer: turtle:optparse-applicative
86+
87+
if impl (ghc >= 9.14)
88+
-- https://github.com/snowleopard/alga/issues/322
89+
source-repository-package
90+
type: git
91+
location: https://github.com/snowleopard/alga/
92+
tag: d4e43fb42db05413459fb2df493361d5a666588a
93+
94+
if impl (ghc >= 9.14)
95+
constraints:
96+
, nothunks ^>= 0.2
97+
, microlens ^>= 0.4
98+
, microlens-mtl < 0.2.1.1
99+
, microlens-th < 0.4.3.18
100+
-- Newest version causes Arbitrary instance clashes in quickcheck-instances.
101+
, QuickCheck < 2.17.0.0
102+
103+
-- cabal-allow-newer
104+
if impl (ghc >= 9.14)
105+
allow-newer:
106+
, Cabal:Cabal-syntax
107+
, Cabal:containers
108+
, Cabal-syntax:containers
109+
, OneTuple:base
110+
, QuickCheck:base
111+
, QuickCheck:splitmix
112+
, aeson:OneTuple
113+
, aeson:containers
114+
, aeson:data-fix
115+
, aeson:ghc-prim
116+
, aeson:indexed-traversable
117+
, aeson:scientific
118+
, aeson:semialign
119+
, aeson:template-haskell
120+
, aeson:text-iso8601
121+
, aeson:these
122+
, aeson:time
123+
, aeson:time-compat
124+
, aeson:witherable
125+
, assoc:base
126+
, async:base
127+
, bifunctors:template-haskell
128+
, bin:base
129+
, binary:containers
130+
, binary-orphans:base
131+
, boring:base
132+
, brick:base
133+
, canonical-json:containers
134+
, cardano-crypto-class:io-classes
135+
, cborg:base
136+
, cborg:containers
137+
, cborg:ghc-prim
138+
, concurrent-output:process
139+
, config-ini:containers
140+
, config-ini:text
141+
, constraints-extras:base
142+
, constraints-extras:template-haskell
143+
, containers:base
144+
, containers:template-haskell
145+
, criterion:aeson
146+
, data-default:containers
147+
, data-default-class:data-default
148+
, data-fix:base
149+
, dec:base
150+
, deepseq:base
151+
, deepseq:ghc-prim
152+
, dependent-map:containers
153+
, deriving-compat:containers
154+
, deriving-compat:template-haskell
155+
, dictionary-sharing:containers
156+
, directory:base
157+
, directory:time
158+
, dom-lt:containers
159+
, fin:base
160+
, fin:universe-base
161+
, foldl:containers
162+
, free:containers
163+
, free:template-haskell
164+
, generically:base
165+
, ghc-heap:containers
166+
, ghc-heap:ghc-internal
167+
, hashable:base
168+
, hashable:containers
169+
, hashable:ghc-bignum
170+
, hedgehog:containers
171+
, hedgehog:template-haskell
172+
, hedgehog:time
173+
, hedgehog-fn:hedgehog
174+
, hsc2hs:base
175+
, indexed-traversable:base
176+
, indexed-traversable:containers
177+
, indexed-traversable-instances:base
178+
, integer-conversion:base
179+
, integer-logarithms:base
180+
, integer-logarithms:ghc-bignum
181+
, io-classes:base
182+
, io-classes:time
183+
, lens:containers
184+
, lens:free
185+
, lens:template-haskell
186+
, list-t:foldl
187+
, megaparsec:base
188+
, megaparsec:containers
189+
, megaparsec:transformers
190+
, microlens-th:containers
191+
, microlens-th:template-haskell
192+
, microstache:aeson
193+
, microstache:base
194+
, microstache:containers
195+
, microstache:unordered-containers
196+
, microstache:vector
197+
, monoidal-containers:base
198+
, monoidal-containers:containers
199+
, network-uri:th-compat
200+
, nonempty-vector:base
201+
, nothunks:containers
202+
, nothunks:time
203+
, nothunks:wherefrom-compat
204+
, ordered-containers:containers
205+
, os-string:template-haskell
206+
, parallel:base
207+
, parsec:text
208+
, plutus-core:dependent-map
209+
, plutus-core:microlens-th
210+
, plutus-core:vty
211+
, primitive:base
212+
, process:base
213+
, process:unix
214+
, quickcheck-instances:QuickCheck
215+
, quickcheck-instances:base
216+
, quickcheck-instances:containers
217+
, ral:base
218+
, ral:boring
219+
, recursion-schemes:containers
220+
, recursion-schemes:template-haskell
221+
, scientific:base
222+
, scientific:containers
223+
, scientific:integer-logarithms
224+
, scientific:template-haskell
225+
, semialign:base
226+
, semialign:containers
227+
, semigroupoids:bifunctors
228+
, serialise:base
229+
, serialise:containers
230+
, serialise:ghc-prim
231+
, serialise:time
232+
, singletons:base
233+
, singletons-th:base
234+
, singletons-th:singletons
235+
, singletons-th:template-haskell
236+
, singletons-th:th-desugar
237+
, singletons-th:th-orphans
238+
, size-based:template-haskell
239+
, some:base
240+
, splitmix:base
241+
, statistics:parallel
242+
, tagged:base
243+
, tagged:template-haskell
244+
, tasty:base
245+
, tasty:tagged
246+
, tasty-golden:tasty
247+
, tasty-hedgehog:base
248+
, test-framework:time
249+
, text:binary
250+
, text:bytestring
251+
, text:template-haskell
252+
, text-iso8601:time
253+
, text-short:base
254+
, text-short:bytestring
255+
, text-short:ghc-prim
256+
, text-short:template-haskell
257+
, th-abstraction:template-haskell
258+
, th-compat:template-haskell
259+
, th-desugar:template-haskell
260+
, th-expand-syns:base
261+
, th-expand-syns:containers
262+
, th-expand-syns:template-haskell
263+
, th-lift:template-haskell
264+
, th-lift-instances:th-lift
265+
, th-orphans:template-haskell
266+
, these:base
267+
, time-compat:base
268+
, time-compat:deepseq
269+
, time-compat:time
270+
, transformers:base
271+
, tree-diff:QuickCheck
272+
, tree-diff:base
273+
, tree-diff:containers
274+
, tree-diff:time
275+
, turtle:containers
276+
, turtle:time
277+
, typed-process:async
278+
, universe-base:base
279+
, universe-base:containers
280+
, unix:time
281+
, unordered-containers:hashable
282+
, unordered-containers:template-haskell
283+
, uuid-types:template-haskell
284+
, vector-th-unbox:base
285+
, vector-th-unbox:template-haskell
286+
, wherefrom-compat:base
287+
, wherefrom-compat:ghc-heap
288+
, witherable:containers

‎plutus-core/plutus-core/src/PlutusCore/Core/Instance/Eq.hs‎

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33

44
{-# OPTIONS_GHC -fno-warn-orphans #-}
55

6+
{-# LANGUAGE CPP #-}
67
{-# LANGUAGE FlexibleInstances #-}
78
{-# LANGUAGE RankNTypes #-}
89
{-# LANGUAGE TypeApplications #-}
@@ -51,9 +52,14 @@ deriving stock instance
5152
(GEq uni, Closed uni, uni `Everywhere` Eq, Eq ann) =>
5253
Eq (Type TyDeBruijn uni ann)
5354

54-
deriving stock instance (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq ann,
55-
Eq (Term tyname name uni fun ann)
56-
) => Eq (Program tyname name uni fun ann)
55+
deriving stock instance (
56+
#if __GLASGOW_HASKELL__ < 914
57+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
58+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
59+
GEq uni, Closed uni, Eq fun,
60+
#endif
61+
uni `Everywhere` Eq, Eq ann,
62+
Eq (Term tyname name uni fun ann) ) => Eq (Program tyname name uni fun ann)
5763

5864
type EqRenameOf ren a = HasUniques a => a -> a -> EqRename ren
5965

‎plutus-core/plutus-core/src/PlutusCore/Error.hs‎

Lines changed: 29 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
{-# LANGUAGE CPP #-}
12
{-# LANGUAGE DeriveAnyClass #-}
23
{-# LANGUAGE FlexibleInstances #-}
34
{-# LANGUAGE FunctionalDependencies #-}
@@ -84,8 +85,13 @@ deriving stock instance
8485
deriving stock instance
8586
( Eq (Term tyname name uni fun ann)
8687
, Eq (Type tyname uni ann)
87-
, GEq uni, Closed uni, uni `Everywhere` Eq
88-
, Eq fun, Eq ann
88+
#if __GLASGOW_HASKELL__ < 914
89+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
90+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
91+
, GEq uni, Closed uni
92+
, Eq fun
93+
#endif
94+
, uni `Everywhere` Eq, Eq ann
8995
) => Eq (NormCheckError tyname name uni fun ann)
9096

9197
-- | This is needed for nice kind/type checking error messages. In some cases the type checker knows
@@ -151,15 +157,33 @@ data Error uni fun ann
151157
deriving stock (Generic, Functor)
152158

153159
deriving stock instance
154-
(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni, Eq ParserError) =>
160+
(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni
161+
#if __GLASGOW_HASKELL__ < 914
162+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
163+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
164+
, Eq ParserError
165+
#endif
166+
) =>
155167
Eq (Error uni fun ann)
156168

157169
deriving anyclass instance
158-
(NFData fun, NFData ann, Closed uni, Everywhere uni NFData, NFData ParserError) =>
170+
(NFData fun, NFData ann, Closed uni, Everywhere uni NFData
171+
#if __GLASGOW_HASKELL__ < 914
172+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
173+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
174+
, NFData ParserError
175+
#endif
176+
) =>
159177
NFData (Error uni fun ann)
160178

161179
deriving stock instance
162-
(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParserError) =>
180+
(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni
181+
#if __GLASGOW_HASKELL__ < 914
182+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
183+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
184+
, Show ParserError
185+
#endif
186+
) =>
163187
Show (Error uni fun ann)
164188

165189
instance Pretty SourcePos where

‎plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Core/Instance/Eq.hs‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
-- editorconfig-checker-disable-file
22
{-# OPTIONS_GHC -fno-warn-orphans #-}
33

4+
{-# LANGUAGE CPP #-}
45
{-# LANGUAGE ConstraintKinds #-}
56
{-# LANGUAGE FlexibleInstances #-}
67
{-# LANGUAGE TypeOperators #-}
@@ -65,7 +66,13 @@ deriving stock instance
6566

6667
instance HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann)
6768

68-
deriving stock instance (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq ann,
69+
deriving stock instance (
70+
#if __GLASGOW_HASKELL__ < 914
71+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
72+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
73+
GEq uni, Closed uni, Eq fun,
74+
#endif
75+
uni `Everywhere` Eq, Eq ann,
6976
Eq (Term name uni fun ann)
7077
) => Eq (Program name uni fun ann)
7178

‎plutus-tx/src/PlutusTx/BuiltinList.hs‎

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
{-# LANGUAGE CPP #-}
2+
13
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
24

35
{-# HLINT ignore "Redundant if" #-}
@@ -285,9 +287,13 @@ reverse xs = revAppend xs empty
285287

286288
-- | Plutus Tx version of 'Data.List.zip' for 'BuiltinList'.
287289
_zip
288-
:: forall a b
289-
. (MkNil a, MkNil b)
290-
=> BuiltinList a
290+
:: forall a b .
291+
#if __GLASGOW_HASKELL__ < 914
292+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
293+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
294+
(MkNil a, MkNil b) =>
295+
#endif
296+
BuiltinList a
291297
-> BuiltinList b
292298
-> BuiltinList (BuiltinPair a b)
293299
_zip = zipWith (curry BI.BuiltinPair)

‎plutus-tx/src/PlutusTx/Builtins/HasOpaque.hs‎

Lines changed: 16 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -273,8 +273,22 @@ instance MkNil BuiltinData
273273
instance MkNil BuiltinValue
274274
instance MkNil BuiltinBLS12_381_G1_Element
275275
instance MkNil BuiltinBLS12_381_G2_Element
276-
instance (MkNil a) => MkNil (BuiltinList a)
277-
instance (MkNil a, MkNil b) => MkNil (BuiltinPair a b)
276+
277+
instance
278+
#if __GLASGOW_HASKELL__ < 914
279+
-- This constraint is REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
280+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
281+
(MkNil a) =>
282+
#endif
283+
MkNil (BuiltinList a)
284+
285+
instance
286+
#if __GLASGOW_HASKELL__ < 914
287+
-- These constraints are REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
288+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
289+
(MkNil a, MkNil b) =>
290+
#endif
291+
MkNil (BuiltinPair a b)
278292

279293
instance (HasToOpaque a arep, MkNil arep) => HasToOpaque [a] (BuiltinList arep) where
280294
toOpaque = goList

‎plutus-tx/test/Show/Spec.hs‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,15 @@
1+
{-# LANGUAGE CPP #-}
12
{-# LANGUAGE GADTs #-}
23
{-# LANGUAGE OverloadedStrings #-}
34
{-# LANGUAGE TemplateHaskell #-}
45

6+
#if __GLASGOW_HASKELL__ >= 914
7+
-- Get a redundant constraint warning on `deriveShow`.
8+
-- The `Show` constraint is REQUIRED for ghc < 9.14 but REDUNDANT for ghc >= 9.14
9+
-- See https://gitlab.haskell.org/ghc/ghc/-/issues/26381#note_637863
10+
{-# OPTIONS_GHC -Wno-redundant-constraints #-}
11+
#endif
12+
513
module Show.Spec where
614

715
import PlutusTx.Bool

0 commit comments

Comments
 (0)