Skip to content

Commit 6440a7b

Browse files
erikderikd
committed
Preliminary ghc-9.14 support
Currently using ghc-9.14.0.20251007.
1 parent f389881 commit 6440a7b

File tree

7 files changed

+283
-14
lines changed

7 files changed

+283
-14
lines changed

‎cabal.project‎

Lines changed: 204 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,3 +83,207 @@ 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:containers
113+
, aeson:data-fix
114+
, aeson:ghc-prim
115+
, aeson:indexed-traversable
116+
, aeson:scientific
117+
, aeson:semialign
118+
, aeson:template-haskell
119+
, aeson:text-iso8601
120+
, aeson:these
121+
, aeson:time
122+
, aeson:time-compat
123+
, aeson:witherable
124+
, assoc:base
125+
, async:base
126+
, base:ghc-internal
127+
, base:ghc-prim
128+
, bifunctors:template-haskell
129+
, bin:base
130+
, binary:containers
131+
, binary-orphans:base
132+
, boring:base
133+
, brick:base
134+
, canonical-json:containers
135+
, cardano-crypto-class:io-classes
136+
, cborg:base
137+
, cborg:containers
138+
, cborg:ghc-prim
139+
, concurrent-output:process
140+
, config-ini:containers
141+
, config-ini:text
142+
, constraints-extras:base
143+
, constraints-extras:template-haskell
144+
, containers:base
145+
, containers:template-haskell
146+
, criterion:aeson
147+
, data-default:containers
148+
, data-default-class:data-default
149+
, data-fix:base
150+
, dec:base
151+
, deepseq:base
152+
, deepseq:ghc-prim
153+
, dependent-map:containers
154+
, deriving-compat:containers
155+
, deriving-compat:template-haskell
156+
, dictionary-sharing:containers
157+
, directory:base
158+
, directory:time
159+
, dom-lt:containers
160+
, fin:base
161+
, fin:universe-base
162+
, foldl:containers
163+
, free:containers
164+
, free:template-haskell
165+
, generically:base
166+
, ghc-heap:containers
167+
, ghc-heap:ghc-internal
168+
, hashable:base
169+
, hashable:containers
170+
, hashable:ghc-bignum
171+
, hedgehog:containers
172+
, hedgehog:template-haskell
173+
, hedgehog:time
174+
, hedgehog-fn:hedgehog
175+
, hsc2hs:base
176+
, indexed-traversable:base
177+
, indexed-traversable:containers
178+
, indexed-traversable-instances:base
179+
, integer-conversion:base
180+
, integer-logarithms:base
181+
, integer-logarithms:ghc-bignum
182+
, io-classes:base
183+
, io-classes:time
184+
, lens:containers
185+
, lens:free
186+
, lens:template-haskell
187+
, list-t:foldl
188+
, megaparsec:base
189+
, megaparsec:containers
190+
, megaparsec:transformers
191+
, microlens-th:containers
192+
, microlens-th:template-haskell
193+
, microstache:aeson
194+
, microstache:base
195+
, microstache:containers
196+
, microstache:unordered-containers
197+
, microstache:vector
198+
, monoidal-containers:base
199+
, monoidal-containers:containers
200+
, network-uri:th-compat
201+
, nonempty-vector:base
202+
, nothunks:containers
203+
, nothunks:time
204+
, nothunks:wherefrom-compat
205+
, ordered-containers:containers
206+
, os-string:template-haskell
207+
, parallel:base
208+
, parsec:text
209+
, plutus-core:dependent-map
210+
, plutus-core:microlens-th
211+
, plutus-core:vty
212+
, primitive:base
213+
, process:base
214+
, process:unix
215+
, quickcheck-instances:QuickCheck
216+
, quickcheck-instances:base
217+
, quickcheck-instances:containers
218+
, ral:base
219+
, ral:boring
220+
, recursion-schemes:containers
221+
, recursion-schemes:template-haskell
222+
, scientific:base
223+
, scientific:containers
224+
, scientific:integer-logarithms
225+
, scientific:template-haskell
226+
, semialign:base
227+
, semialign:containers
228+
, semigroupoids:bifunctors
229+
, serialise:base
230+
, serialise:containers
231+
, serialise:ghc-prim
232+
, serialise:time
233+
, singletons:base
234+
, singletons-th:base
235+
, singletons-th:singletons
236+
, singletons-th:template-haskell
237+
, singletons-th:th-desugar
238+
, singletons-th:th-orphans
239+
, size-based:template-haskell
240+
, some:base
241+
, splitmix:base
242+
, statistics:parallel
243+
, tagged:base
244+
, tagged:template-haskell
245+
, tasty:base
246+
, tasty:tagged
247+
, tasty-golden:tasty
248+
, tasty-hedgehog:base
249+
, test-framework:time
250+
, text:binary
251+
, text:bytestring
252+
, text:template-haskell
253+
, text-iso8601:time
254+
, text-short:base
255+
, text-short:bytestring
256+
, text-short:ghc-prim
257+
, text-short:template-haskell
258+
, th-abstraction:template-haskell
259+
, th-compat:template-haskell
260+
, th-desugar:template-haskell
261+
, th-expand-syns:base
262+
, th-expand-syns:containers
263+
, th-expand-syns:template-haskell
264+
, th-lift:template-haskell
265+
, th-lift-instances:th-lift
266+
, th-orphans:template-haskell
267+
, these:base
268+
, time-compat:base
269+
, time-compat:deepseq
270+
, time-compat:time
271+
, transformers:base
272+
, tree-diff:QuickCheck
273+
, tree-diff:base
274+
, tree-diff:containers
275+
, tree-diff:time
276+
, turtle:containers
277+
, turtle:time
278+
, typed-process:async
279+
, universe-base:base
280+
, universe-base:containers
281+
, unix:time
282+
, unordered-containers:hashable
283+
, unordered-containers:template-haskell
284+
, uuid-types:template-haskell
285+
, vector-th-unbox:base
286+
, vector-th-unbox:template-haskell
287+
, wherefrom-compat:base
288+
, wherefrom-compat:ghc-heap
289+
, 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)