09 Mar '26
Simon Peyton Jones pushed to branch wip/T26868 at Glasgow Haskell Compiler / GHC
Commits:
946aef8b by Simon Peyton Jones at 2026-03-09T17:45:59+00:00
Wibbles [skip ci]
- - - - -
bdaba642 by Simon Peyton Jones at 2026-03-09T17:45:59+00:00
Quick fixes after talking with Richard [skip ci]
Needs fixups
- - - - -
21 changed files:
- compiler/GHC/Core.hs
- compiler/GHC/Types/Var/FV.hs
- compiler/GHC/Utils/EndoOS.hs
- testsuite/tests/polykinds/T7328.stderr
- testsuite/tests/simplCore/should_compile/DsSpecPragmas.stderr
- testsuite/tests/simplCore/should_compile/T24229a.stderr
- testsuite/tests/simplCore/should_compile/T24229b.stderr
- testsuite/tests/simplCore/should_compile/T24359a.stderr
- testsuite/tests/simplCore/should_compile/T26116.stderr
- testsuite/tests/simplCore/should_compile/T4908.stderr
- testsuite/tests/simplCore/should_compile/spec-inline.stderr
- testsuite/tests/typecheck/no_skolem_info/T20063.stderr
- testsuite/tests/typecheck/should_compile/T25180.stderr
- testsuite/tests/typecheck/should_compile/free_monad_hole_fits.stderr
- testsuite/tests/typecheck/should_fail/T10971d.stderr
- testsuite/tests/typecheck/should_fail/T12589.stderr
- testsuite/tests/typecheck/should_fail/T13311.stderr
- testsuite/tests/typecheck/should_fail/T17773.stderr
- testsuite/tests/typecheck/should_fail/T2846b.stderr
- testsuite/tests/typecheck/should_fail/T7851.stderr
- testsuite/tests/typecheck/should_fail/T8603.stderr
Changes:
=====================================
compiler/GHC/Core.hs
=====================================
@@ -409,7 +409,7 @@ Consider applying `exprType` to this term:
where we have genuine shadowing: both lambdas bind the same a. Remember: every
occurrence of `x` is just a copy of the binder (x::[a]), and ditto `y`.
-Now what does `exprType` return for that term? It will return the bogus type
+Now what does `exprType` return for that term? It will return the incorrect type
forall a. [a] -> forall a. a -> ([a],a)
=====================================
compiler/GHC/Types/Var/FV.hs
=====================================
@@ -136,9 +136,9 @@ type InterestingVarFun = Var -> Bool
type BoundVars = TyCoVarSet
-type VarSetFV = FV BoundVars (EndoOS TyCoVarSet)
-type DVarSetFV = FV BoundVars (EndoOS DTyCoVarSet)
-type SelectiveFV = FV (InterestingVarFun, BoundVars) (EndoOS DVarSet)
+type VarSetFV = FV BoundVars (EndoOS TyCoVarSet)
+type DVarSetFV = FV BoundVars (EndoOS DTyCoVarSet)
+type SelectiveDFV = FV (InterestingVarFun, BoundVars) (EndoOS DVarSet)
-- VarSetFV: collects a VarSet
-- DVarSetFV: collects a DVarSet (deterministic)
-- SelectiveFV: selectively collects a DVarSet
=====================================
compiler/GHC/Utils/EndoOS.hs
=====================================
@@ -9,7 +9,7 @@
--
-- It is also strict: see the (<>) method in he Semigroup instance
-module GHC.Utils.EndoOS( EndoOS(EndoOS, runEndoOS ), foldEndoOS ) where
+module GHC.Utils.EndoOS( EndoOS(EndoOS, runEndoOS ) ) where
import GHC.Prelude
@@ -40,6 +40,3 @@ pattern EndoOS f <- EndoOS' f
EndoOS f = EndoOS' (oneShot f)
-- oneShot: this is the core of the one-shot trick!
-- Note [The one-shot state monad trick] in GHC.Utils.Monad.
-
-foldEndoOS :: Foldable t => (a -> Endo b) -> t a -> Endo b
-foldEndoOS f xs = foldr ((<>) . f) mempty xs
=====================================
testsuite/tests/polykinds/T7328.stderr
=====================================
@@ -1,6 +1,6 @@
-
T7328.hs:8:34: error: [GHC-27958]
- • Expected kind ‘k1’, but ‘f’ has kind ‘k0 -> k1’
+ • Expected kind ‘k0’, but ‘f’ has kind ‘k1 -> k0’
• In the first argument of ‘Foo’, namely ‘f’
In the first argument of ‘Proxy’, namely ‘(Foo f)’
In the type signature: foo :: a ~ f i => Proxy (Foo f)
+
=====================================
testsuite/tests/simplCore/should_compile/DsSpecPragmas.stderr
=====================================
@@ -1,78 +1,78 @@
==================== Tidy Core rules ====================
"USPEC f1 @Word @[e]"
- forall (@e) ($dEq :: Eq [e]) ($dNum :: Num Word).
+ forall (@e) ($dNum :: Num Word) ($dEq :: Eq [e]).
f1 @Word @[e] $dNum $dEq
= \ _ [Occ=Dead] _ [Occ=Dead] -> I# 111#
"USPEC f1 @Word @_"
- forall (@e) ($dEq :: Eq e) ($dNum :: Num Word).
+ forall (@e) ($dNum :: Num Word) ($dEq :: Eq e).
f1 @Word @e $dNum $dEq
= \ _ [Occ=Dead] _ [Occ=Dead] -> I# 111#
"USPEC f1_qc @_ @(g e) @Word"
- forall (@e)
- (@(g :: * -> *))
- ($dNum :: Num Word)
+ forall (@(g :: * -> *))
+ (@e)
+ (df :: forall x. Eq x => Eq (g x))
($dEq :: Eq (g e))
- (df :: forall x. Eq x => Eq (g x)).
+ ($dNum :: Num Word).
f1_qc @g @(g e) @Word df $dEq $dNum
= \ _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] -> C# 'q'#
"USPEC f2 @_ @_ @Word"
- forall (@c) ($dNum :: Num Word) ($dEq :: Eq c) ($dEq1 :: Eq c).
- f2 @c @c @Word $dEq1 $dEq $dNum
+ forall (@c) ($dEq :: Eq c) ($dEq1 :: Eq c) ($dNum :: Num Word).
+ f2 @c @c @Word $dEq $dEq1 $dNum
= \ _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] -> I# 2#
"USPEC f3 @Int @_"
forall (@(g :: * -> *))
- (df :: forall x. Eq x => Eq (g x))
- ($dEq :: Eq Int).
+ ($dEq :: Eq Int)
+ (df :: forall x. Eq x => Eq (g x)).
f3 @Int @g $dEq df
= f3_$sf3 @g df
"USPEC f3 @_ @[]"
- forall (@c) (df :: forall x. Eq x => Eq [x]) ($dEq :: Eq c).
+ forall (@c) ($dEq :: Eq c) (df :: forall x. Eq x => Eq [x]).
f3 @c @[] $dEq df
= f3_$sf1 @c $dEq
"USPEC f4 @_ @(ST s)"
- forall (@s) (@b) ($dMonad :: Monad (ST s)) ($dEq :: Eq b).
+ forall (@b) (@s) ($dEq :: Eq b) ($dMonad :: Monad (ST s)).
f4 @b @(ST s) $dEq $dMonad
= $fApplicativeST_$cpure @s @b
"USPEC f4_qc @Int @_ @_"
- forall (@(n :: * -> *))
- (@(r :: (* -> *) -> * -> *))
- (df :: forall (m :: * -> *). Monad m => Monad (r m))
- ($dEq :: Eq Int).
+ forall (@(r :: (* -> *) -> * -> *))
+ (@(n :: * -> *))
+ ($dEq :: Eq Int)
+ (df :: forall (m :: * -> *). Monad m => Monad (r m)).
f4_qc @Int @r @n $dEq df
= \ _ [Occ=Dead] -> ()
"USPEC f5 @(D Int)"
forall ($dEq :: Eq (D Int)). f5 @(D Int) $dEq = f5_$sf5
"USPEC f5_qc @Int @D"
- forall (df :: forall x. (Eq x, Eq (T x)) => Eq (D x))
- ($dEq :: Eq (T Int))
- ($dEq1 :: Eq Int).
- f5_qc @Int @D $dEq1 $dEq df
+ forall ($dEq :: Eq Int)
+ ($dEq1 :: Eq (T Int))
+ (df :: forall x. (Eq x, Eq (T x)) => Eq (D x)).
+ f5_qc @Int @D $dEq $dEq1 df
= f5_$sf5
"USPEC f5_qc @Int @_"
forall (@(g :: * -> *))
- (df :: forall x. (Eq x, Eq (T x)) => Eq (g x))
- ($dEq :: Eq (T Int))
- ($dEq1 :: Eq Int).
- f5_qc @Int @g $dEq1 $dEq df
+ ($dEq :: Eq Int)
+ ($dEq1 :: Eq (T Int))
+ (df :: forall x. (Eq x, Eq (T x)) => Eq (g x)).
+ f5_qc @Int @g $dEq $dEq1 df
= f5_qc_$sf5_qc @g df
"USPEC f6 @_ @_ @Word"
- forall (@c) ($dNum :: Num Word) ($dOrd :: Ord c) ($dEq :: Eq c).
+ forall (@c) ($dEq :: Eq c) ($dOrd :: Ord c) ($dNum :: Num Word).
f6 @c @c @Word $dEq $dOrd $dNum
= \ _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] -> C# 'c'#
"USPEC f6_qc @_ @_ @Word"
forall (@(h :: * -> *))
- ($dNum :: Num Word)
- (df :: forall y. Eq y => Ord (h y))
- (df1 :: forall x. Eq x => Eq (h x)).
- f6_qc @h @h @Word df1 df $dNum
+ (df :: forall x. Eq x => Eq (h x))
+ (df1 :: forall y. Eq y => Ord (h y))
+ ($dNum :: Num Word).
+ f6_qc @h @h @Word df df1 $dNum
= \ _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] -> C# 'd'#
"USPEC f7 @Int"
- forall ($dEq :: Eq Int) ($dCls :: Cls (TF Int)).
+ forall ($dCls :: Cls (TF Int)) ($dEq :: Eq Int).
f7 @Int $dCls $dEq
= \ (x [Occ=Once1] :: Int) -> x
"USPEC qcfd @C @G"
- forall (df :: forall a b. C (a, b)) ($dF :: F C G).
+ forall ($dF :: F C G) (df :: forall a b. C (a, b)).
qcfd @C @G $dF df
= qcfd_x
=====================================
testsuite/tests/simplCore/should_compile/T24229a.stderr
=====================================
@@ -5,9 +5,9 @@ Result size of Tidy Core = {terms: 79, types: 106, coercions: 8, joins: 0/0}
Rec {
foo_$s$wfoo
= \ @a sc sc1 sc2 ->
- case sc2 of ds {
- __DEFAULT -> foo_$s$wfoo sc1 sc (-# ds 1#);
- 0# -> (# (sc, sc1) #)
+ case sc of ds {
+ __DEFAULT -> foo_$s$wfoo (-# ds 1#) sc2 sc1;
+ 0# -> (# (sc1, sc2) #)
}
end Rec }
@@ -15,7 +15,7 @@ foo
= \ @a ds ds1 ->
case ds of { I# ww ->
case ww of ds2 {
- __DEFAULT -> case ds1 `cast` <Co:4> :: ... of { (x, y) -> case foo_$s$wfoo y x (-# ds2 1#) of { (# ww1 #) -> Just ww1 } };
+ __DEFAULT -> case ds1 `cast` <Co:4> :: ... of { (x, y) -> case foo_$s$wfoo (-# ds2 1#) y x of { (# ww1 #) -> Just ww1 } };
0# -> Just (ds1 `cast` <Co:4> :: ...)
}
}
@@ -28,11 +28,11 @@ wombat5 = "no"#
wombat4 = unpackCString# wombat5
-wombat1 = case foo_$s$wfoo wombat6 wombat4 20# of { (# ww #) -> Just ww }
+wombat1 = case foo_$s$wfoo 20# wombat6 wombat4 of { (# ww #) -> Just ww }
wombat8 = I# 3#
-wombat2 = \ @a xs ys -> case foo_$s$wfoo xs ys 3# of { (# ww #) -> Just ww }
+wombat2 = \ @a xs ys -> case foo_$s$wfoo 3# xs ys of { (# ww #) -> Just ww }
=====================================
testsuite/tests/simplCore/should_compile/T24229b.stderr
=====================================
@@ -5,9 +5,9 @@ Result size of Tidy Core = {terms: 60, types: 83, coercions: 8, joins: 0/0}
Rec {
foo_$s$wfoo
= \ @a sc sc1 sc2 ->
- case sc2 of ds {
- __DEFAULT -> foo_$s$wfoo sc1 sc (-# ds 1#);
- 0# -> (# (sc, sc1) #)
+ case sc of ds {
+ __DEFAULT -> foo_$s$wfoo (-# ds 1#) sc2 sc1;
+ 0# -> (# (sc1, sc2) #)
}
end Rec }
@@ -15,14 +15,14 @@ foo
= \ @a ds ds1 ->
case ds of { I# ww ->
case ww of ds2 {
- __DEFAULT -> case ds1 `cast` <Co:4> :: ... of { (x, y) -> case foo_$s$wfoo y x (-# ds2 1#) of { (# ww1 #) -> Just ww1 } };
+ __DEFAULT -> case ds1 `cast` <Co:4> :: ... of { (x, y) -> case foo_$s$wfoo (-# ds2 1#) y x of { (# ww1 #) -> Just ww1 } };
0# -> Just (ds1 `cast` <Co:4> :: ...)
}
}
wombat1 = I# 3#
-wombat2 = \ @a xs ys -> case foo_$s$wfoo xs ys 3# of { (# ww #) -> Just ww }
+wombat2 = \ @a xs ys -> case foo_$s$wfoo 3# xs ys of { (# ww #) -> Just ww }
=====================================
testsuite/tests/simplCore/should_compile/T24359a.stderr
=====================================
@@ -1,7 +1,8 @@
==================== Tidy Core rules ====================
"USPEC showsIArray @UA @_"
- forall (@i) ($dShow :: Show i) ($dIArray :: IArray UA).
+ forall (@i) ($dIArray :: IArray UA) ($dShow :: Show i).
showsIArray @UA @i $dIArray $dShow
= showsIArray_$sshowsIArray @i $dShow
+
=====================================
testsuite/tests/simplCore/should_compile/T26116.stderr
=====================================
@@ -1,11 +1,11 @@
==================== Tidy Core rules ====================
"USPEC $cop1 @T @_"
- forall (@a) ($dD :: D a) ($dEq :: Eq (T a)).
+ forall (@a) ($dEq :: Eq (T a)) ($dD :: D a).
$fCTYPEfa_$cop1 @T @a $dEq $dD
= \ _ [Occ=Dead] -> I# 3#
"USPEC $fCTYPEfa @T @_"
- forall (@a) ($dD :: D a) ($dEq :: Eq (T a)).
+ forall (@a) ($dEq :: Eq (T a)) ($dD :: D a).
$fCTYPEfa @T @a $dEq $dD
= $fCTYPEfa_$s$fCTYPEfa @a $dD
=====================================
testsuite/tests/simplCore/should_compile/T4908.stderr
=====================================
@@ -47,14 +47,14 @@ T4908.$trModule
Rec {
-- RHS size: {terms: 19, types: 5, coercions: 0, joins: 0/0}
T4908.f_$s$wf [InlPrag=[2], Occ=LoopBreaker]
- :: Int -> Int# -> Int# -> (# #)
-[GblId, Arity=3, Str=<A><ML><1L>, Unf=OtherCon []]
+ :: Int# -> Int -> Int# -> (# #)
+[GblId, Arity=3, Str=<1L><A><ML>, Unf=OtherCon []]
T4908.f_$s$wf
- = \ (sc :: Int) (sc1 :: Int#) (sc2 :: Int#) ->
- case sc2 of ds {
+ = \ (sc :: Int#) (sc1 :: Int) (sc2 :: Int#) ->
+ case sc of ds {
__DEFAULT ->
- case sc1 of ds1 {
- __DEFAULT -> T4908.f_$s$wf sc ds1 (-# ds 1#);
+ case sc2 of ds1 {
+ __DEFAULT -> T4908.f_$s$wf (-# ds 1#) sc1 ds1;
0# -> GHC.Internal.Types.(##)
};
0# -> GHC.Internal.Types.(##)
@@ -78,7 +78,7 @@ f [InlPrag=[2]] :: Int -> (Int, Int) -> Bool
case b of { I# ds2 [Occ=Once1!] ->
case ds2 of ds3 [Occ=Once1] {
__DEFAULT ->
- case T4908.f_$s$wf a ds3 (-# ds1 1#) of { (# #) ->
+ case T4908.f_$s$wf (-# ds1 1#) a ds3 of { (# #) ->
GHC.Internal.Types.True
};
0# -> GHC.Internal.Types.True
@@ -96,7 +96,7 @@ f = \ (ds :: Int) (x :: (Int, Int)) ->
case b of { I# ds2 ->
case ds2 of ds3 {
__DEFAULT ->
- case T4908.f_$s$wf a ds3 (-# ds1 1#) of { (# #) ->
+ case T4908.f_$s$wf (-# ds1 1#) a ds3 of { (# #) ->
GHC.Internal.Types.True
};
0# -> GHC.Internal.Types.True
=====================================
testsuite/tests/simplCore/should_compile/spec-inline.stderr
=====================================
@@ -20,23 +20,23 @@ Rec {
Roman.foo_$s$wgo [InlPrag=[2], Occ=LoopBreaker]
:: GHC.Internal.Prim.Int#
-> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
-[GblId, Arity=2, Str=<A><L>, Unf=OtherCon []]
+[GblId, Arity=2, Str=<L><A>, Unf=OtherCon []]
Roman.foo_$s$wgo
= \ (sc :: GHC.Internal.Prim.Int#)
(sc1 :: GHC.Internal.Prim.Int#) ->
- case GHC.Internal.Prim.<=# sc1 0# of {
+ case GHC.Internal.Prim.<=# sc 0# of {
__DEFAULT ->
- case GHC.Internal.Prim.<# sc1 100# of {
+ case GHC.Internal.Prim.<# sc 100# of {
__DEFAULT ->
- case GHC.Internal.Prim.<# sc1 500# of {
+ case GHC.Internal.Prim.<# sc 500# of {
__DEFAULT ->
Roman.foo_$s$wgo
- (GHC.Internal.Prim.*# 14# sc) (GHC.Internal.Prim.-# sc1 1#);
+ (GHC.Internal.Prim.-# sc 1#) (GHC.Internal.Prim.*# 14# sc1);
1# ->
Roman.foo_$s$wgo
- (GHC.Internal.Prim.*# 7# sc) (GHC.Internal.Prim.-# sc1 3#)
+ (GHC.Internal.Prim.-# sc 3#) (GHC.Internal.Prim.*# 7# sc1)
};
- 1# -> Roman.foo_$s$wgo sc (GHC.Internal.Prim.-# sc1 2#)
+ 1# -> Roman.foo_$s$wgo (GHC.Internal.Prim.-# sc 2#) sc1
};
1# -> 0#
}
@@ -58,7 +58,7 @@ Roman.$wgo
Just x ->
case x of { GHC.Internal.Types.I# ipv ->
case u of {
- Nothing -> Roman.foo_$s$wgo (GHC.Internal.Prim.*# 7# ipv) 10#;
+ Nothing -> Roman.foo_$s$wgo 10# (GHC.Internal.Prim.*# 7# ipv);
Just n ->
case n of { GHC.Internal.Types.I# x2 ->
case GHC.Internal.Prim.<=# x2 0# of {
@@ -68,12 +68,12 @@ Roman.$wgo
case GHC.Internal.Prim.<# x2 500# of {
__DEFAULT ->
Roman.foo_$s$wgo
- (GHC.Internal.Prim.*# 14# ipv) (GHC.Internal.Prim.-# x2 1#);
+ (GHC.Internal.Prim.-# x2 1#) (GHC.Internal.Prim.*# 14# ipv);
1# ->
Roman.foo_$s$wgo
- (GHC.Internal.Prim.*# 7# ipv) (GHC.Internal.Prim.-# x2 3#)
+ (GHC.Internal.Prim.-# x2 3#) (GHC.Internal.Prim.*# 7# ipv)
};
- 1# -> Roman.foo_$s$wgo ipv (GHC.Internal.Prim.-# x2 2#)
+ 1# -> Roman.foo_$s$wgo (GHC.Internal.Prim.-# x2 2#) ipv
};
1# -> 0#
}
@@ -134,7 +134,7 @@ foo :: Int -> Int
foo
= \ (n :: Int) ->
case n of { GHC.Internal.Types.I# ipv ->
- case Roman.foo_$s$wgo 6# ipv of ww { __DEFAULT ->
+ case Roman.foo_$s$wgo ipv 6# of ww { __DEFAULT ->
GHC.Internal.Types.I# ww
}
}
@@ -145,8 +145,8 @@ foo
forall (sc :: GHC.Internal.Prim.Int#)
(sc1 :: GHC.Internal.Prim.Int#).
Roman.$wgo (GHC.Internal.Maybe.Just
- @Int (GHC.Internal.Types.I# sc1))
- (GHC.Internal.Maybe.Just @Int (GHC.Internal.Types.I# sc))
+ @Int (GHC.Internal.Types.I# sc))
+ (GHC.Internal.Maybe.Just @Int (GHC.Internal.Types.I# sc1))
= Roman.foo_$s$wgo sc sc1
=====================================
testsuite/tests/typecheck/no_skolem_info/T20063.stderr
=====================================
@@ -1,23 +1,23 @@
T20063.hs:25:21: error: [GHC-25897]
- • Could not deduce ‘ctx6 ~ (ctx0 :*& l0)’
- from the context: (ctx4 ~ Extend ctx1, ctx5 ~ Extend ctx2)
+ • Could not deduce ‘ctx4 ~ (ctx0 :*& l0)’
+ from the context: (ctx1 ~ Extend ctx2, ctx2 ~ Extend ctx1)
bound by a pattern with constructor:
U :: forall {k} (ctx1 :: Context) (ctx2 :: Context) (l :: k).
Rn ctx1 ctx2 -> Rn (ctx1 :*& l) (ctx2 :*& l),
in an equation for ‘rnRename’
at T20063.hs:25:11-13
- Expected: Idx ctx6
+ Expected: Idx ctx4
Actual: Idx (ctx0 :*& l0)
- ‘ctx6’ is a rigid type variable bound by
+ ‘ctx4’ is a rigid type variable bound by
the type signature for:
- rnRename :: forall (ctx4 :: Context) (ctx5 :: Context)
- (ctx3 :: Context) (ctx6 :: Context).
- Rn ctx4 ctx5 -> Idx ctx3 -> Idx ctx6
+ rnRename :: forall (ctx7 :: Context) (ctx8 :: Context)
+ (ctx3 :: Context) (ctx4 :: Context).
+ Rn ctx7 ctx8 -> Idx ctx3 -> Idx ctx4
at T20063.hs:24:1-48
• In the expression: T _
In an equation for ‘rnRename’: rnRename (U _) _ = T _
• Relevant bindings include
- rnRename :: Rn ctx4 ctx5 -> Idx ctx3 -> Idx ctx6
+ rnRename :: Rn ctx7 ctx8 -> Idx ctx3 -> Idx ctx4
(bound at T20063.hs:25:1)
T20063.hs:26:17: error: [GHC-27346]
=====================================
testsuite/tests/typecheck/should_compile/T25180.stderr
=====================================
@@ -146,7 +146,7 @@ T25180.hs:66:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
T25180.hs:73:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: b -> (# a | b #)
- Where: ‘a’, ‘b’ are rigid type variables bound by
+ Where: ‘b’, ‘a’ are rigid type variables bound by
the type signature for:
usum2_2 :: forall b a. b -> (# a | b #)
at T25180.hs:72:1-27
@@ -176,7 +176,7 @@ T25180.hs:80:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
T25180.hs:87:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: b -> (# a | b | c #)
- Where: ‘a’, ‘b’, ‘c’ are rigid type variables bound by
+ Where: ‘b’, ‘a’, ‘c’ are rigid type variables bound by
the type signature for:
usum3_2 :: forall b a c. b -> (# a | b | c #)
at T25180.hs:86:1-31
@@ -191,7 +191,7 @@ T25180.hs:87:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
T25180.hs:94:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: c -> (# a | b | c #)
- Where: ‘a’, ‘b’, ‘c’ are rigid type variables bound by
+ Where: ‘c’, ‘a’, ‘b’ are rigid type variables bound by
the type signature for:
usum3_3 :: forall c a b. c -> (# a | b | c #)
at T25180.hs:93:1-31
=====================================
testsuite/tests/typecheck/should_compile/free_monad_hole_fits.stderr
=====================================
@@ -1,13 +1,13 @@
free_monad_hole_fits.hs:14:28: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole:
_a :: (Free f a -> Free f b) -> f (Free f a) -> f (Free f b)
- Where: ‘a’, ‘b’ are rigid type variables bound by
+ Where: ‘f’ is a rigid type variable bound by
+ the instance declaration
+ at free_monad_hole_fits.hs:10:10-38
+ ‘a’, ‘b’ are rigid type variables bound by
the type signature for:
fmap :: forall a b. (a -> b) -> Free f a -> Free f b
at free_monad_hole_fits.hs:11:5-8
- ‘f’ is a rigid type variable bound by
- the instance declaration
- at free_monad_hole_fits.hs:10:10-38
Or perhaps ‘_a’ is mis-spelled, or not in scope
• In the first argument of ‘Free’, namely ‘(_a go fa)’
In the expression: Free (_a go fa)
@@ -35,13 +35,13 @@ free_monad_hole_fits.hs:14:28: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault
free_monad_hole_fits.hs:25:31: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole: _a :: Free f a -> Free f b
- Where: ‘a’, ‘b’ are rigid type variables bound by
+ Where: ‘f’ is a rigid type variable bound by
+ the instance declaration
+ at free_monad_hole_fits.hs:22:10-40
+ ‘a’, ‘b’ are rigid type variables bound by
the type signature for:
(>>=) :: forall a b. Free f a -> (a -> Free f b) -> Free f b
at free_monad_hole_fits.hs:23:12-14
- ‘f’ is a rigid type variable bound by
- the instance declaration
- at free_monad_hole_fits.hs:22:10-40
Or perhaps ‘_a’ is mis-spelled, or not in scope
• In the first argument of ‘fmap’, namely ‘_a’
In the first argument of ‘Free’, namely ‘(fmap _a f)’
=====================================
testsuite/tests/typecheck/should_fail/T10971d.stderr
=====================================
@@ -1,21 +1,21 @@
-
T10971d.hs:4:14: error: [GHC-83865]
- • Couldn't match expected type: [a0]
- with actual type: Maybe a3
+ • Couldn't match expected type: [a1]
+ with actual type: Maybe a0
• In the first argument of ‘f’, namely ‘(Just 1)’
In the second argument of ‘($)’, namely ‘f (Just 1)’
In a stmt of a 'do' block: print $ f (Just 1)
T10971d.hs:5:19: error: [GHC-83865]
• Couldn't match expected type: [b0]
- with actual type: Maybe a4
+ with actual type: Maybe a2
• In the second argument of ‘g’, namely ‘(Just 5)’
In the second argument of ‘($)’, namely ‘g (+ 1) (Just 5)’
In a stmt of a 'do' block: print $ g (+ 1) (Just 5)
T10971d.hs:6:23: error: [GHC-83865]
- • Couldn't match expected type: [a2]
- with actual type: Maybe a1
+ • Couldn't match expected type: [a4]
+ with actual type: Maybe a3
• In the second argument of ‘h’, namely ‘Nothing’
In the second argument of ‘($)’, namely ‘h (const 5) Nothing’
In a stmt of a 'do' block: print $ h (const 5) Nothing
+
=====================================
testsuite/tests/typecheck/should_fail/T12589.stderr
=====================================
@@ -1,3 +1,3 @@
-
T12589.hs:13:3: error: [GHC-88464]
- Variable not in scope: (&) :: t0 -> t1 -> t
+ Variable not in scope: (&) :: t1 -> t0 -> t
+
=====================================
testsuite/tests/typecheck/should_fail/T13311.stderr
=====================================
@@ -1,7 +1,6 @@
-
T13311.hs:9:3: error: [GHC-83865]
- • Couldn't match expected type: IO a0
- with actual type: Maybe a1 -> Maybe b0
+ • Couldn't match expected type: IO a1
+ with actual type: Maybe a0 -> Maybe b0
• Probable cause: ‘f’ is applied to too few arguments
In a stmt of a 'do' block: f
In the expression:
@@ -10,3 +9,4 @@ T13311.hs:9:3: error: [GHC-83865]
In an equation for ‘g’:
g = do f
putChar 'a'
+
=====================================
testsuite/tests/typecheck/should_fail/T17773.stderr
=====================================
@@ -1,7 +1,6 @@
-
T17773.hs:16:22: error: [GHC-88464]
• Found hole: _Refl :: Mzero x y :~: (x <|> y)
- Where: ‘x’, ‘f’, ‘k’, ‘a’, ‘y’ are rigid type variables bound by
+ Where: ‘k’, ‘f’, ‘a’, ‘x’, ‘y’ are rigid type variables bound by
the type signature for:
monadPlusMplus :: forall {k} (f :: k -> *) (a :: k) (x :: f a)
(y :: f a).
@@ -12,3 +11,4 @@ T17773.hs:16:22: error: [GHC-88464]
• Relevant bindings include
monadPlusMplus :: Proxy x -> Proxy y -> Mzero x y :~: (x <|> y)
(bound at T17773.hs:16:1)
+
=====================================
testsuite/tests/typecheck/should_fail/T2846b.stderr
=====================================
@@ -1,10 +1,10 @@
-
T2846b.hs:5:10: error: [GHC-91028]
- • Couldn't match expected type ‘a1’
- with actual type ‘[Num a0 => a0]’
- Cannot instantiate unification variable ‘a1’
- with a type involving polytypes: [Num a0 => a0]
+ • Couldn't match expected type ‘a0’
+ with actual type ‘[Num a1 => a1]’
+ Cannot instantiate unification variable ‘a0’
+ with a type involving polytypes: [Num a1 => a1]
• In the first argument of ‘show’, namely
‘([1, 2, 3] :: [Num a => a])’
In the expression: show ([1, 2, 3] :: [Num a => a])
In an equation for ‘f’: f = show ([1, 2, 3] :: [Num a => a])
+
=====================================
testsuite/tests/typecheck/should_fail/T7851.stderr
=====================================
@@ -1,7 +1,6 @@
-
T7851.hs:5:10: error: [GHC-83865]
- • Couldn't match expected type: IO a0
- with actual type: a1 -> IO ()
+ • Couldn't match expected type: IO a1
+ with actual type: a0 -> IO ()
• Probable cause: ‘print’ is applied to too few arguments
In a stmt of a 'do' block: print
In the expression:
@@ -11,3 +10,4 @@ T7851.hs:5:10: error: [GHC-83865]
bar
= do print
print "Hello"
+
=====================================
testsuite/tests/typecheck/should_fail/T8603.stderr
=====================================
@@ -2,9 +2,9 @@ T8603.hs:33:17: error: [GHC-18872]
• Couldn't match kind ‘*’ with ‘* -> *’
When matching types
m0 :: * -> *
- [a2] :: *
- Expected: [a2] -> StateT s RV a1
- Actual: t0 m0 (StateT s RV a1)
+ [a0] :: *
+ Expected: [a0] -> StateT s RV a2
+ Actual: t0 m0 (StateT s RV a2)
• The function ‘lift’ is applied to two visible arguments,
but its type ‘(Control.Monad.Trans.Class.MonadTrans t, Monad m) =>
m a -> t m a’
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/7c714cafd41c42f19debb2fca76667…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/7c714cafd41c42f19debb2fca76667…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][wip/ani/kill-SrcCodeOrigin] route the correct ExpectedFunTyCtxt SDoc. Add missing RecordUpdCtxt to errCtxtCtOrigin
by Apoorv Ingle (＠ani) 09 Mar '26
by Apoorv Ingle (＠ani) 09 Mar '26
09 Mar '26
Apoorv Ingle pushed to branch wip/ani/kill-SrcCodeOrigin at Glasgow Haskell Compiler / GHC
Commits:
427c26b4 by Apoorv Ingle at 2026-03-09T12:19:03-05:00
route the correct ExpectedFunTyCtxt SDoc. Add missing RecordUpdCtxt to errCtxtCtOrigin
- - - - -
2 changed files:
- compiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Zonk/TcType.hs
Changes:
=====================================
compiler/GHC/Tc/Types/Origin.hs
=====================================
@@ -431,7 +431,7 @@ data CtOrigin
| ProvCtxtOrigin -- The "provided" context of a pattern synonym signature
(PatSynBind GhcRn GhcRn) -- Information about the pattern synonym, in
-- particular the name and the right-hand side
- | RecordUpdOrigin (LHsRecUpdFields GhcRn)
+ | RecordUpdOrigin
| ViewPatOrigin
-- | 'ScOrigin' is used only for the Wanted constraints for the
@@ -623,7 +623,7 @@ exprCtOrigin (HsFunArr {}) = Shouldn'tHappenOrigin "function arrow"
exprCtOrigin (ExplicitList {}) = ListOrigin
exprCtOrigin (HsIf {}) = IfThenElseOrigin
exprCtOrigin (HsProjection _ p) = RecordFieldProjectionOrigin (FieldLabelStrings $ fmap noLocA p)
-exprCtOrigin (RecordUpd _ _ flds) = RecordUpdOrigin flds
+exprCtOrigin (RecordUpd{}) = RecordUpdOrigin
exprCtOrigin (HsGetField _ _ f) = GetFieldOrigin (fmap field_label $ dfoLabel (unLoc f))
exprCtOrigin (XExpr (ExpandedThingRn o _)) = errCtxtCtOrigin o
exprCtOrigin (XExpr (HsRecSelRn f)) = OccurrenceOfRecSel $ L (getLoc $ foLabel f) (foExt f)
@@ -639,6 +639,7 @@ errCtxtCtOrigin (FunAppCtxt (FunAppCtxtExpr _ e) _) = exprCtOrigin e
errCtxtCtOrigin (StmtErrCtxt{}) = DoStmtOrigin
errCtxtCtOrigin (DoStmtErrCtxt{}) = DoStmtOrigin
errCtxtCtOrigin (StmtErrCtxtPat _ _ p) = DoPatOrigin p
+errCtxtCtOrigin (RecordUpdCtxt{}) = RecordUpdOrigin
errCtxtCtOrigin _ = Shouldn'tHappenOrigin "errCtxtCtOrigin"
@@ -1168,8 +1169,8 @@ pprFixedRuntimeRepContext FRRBindStmtGuard
= sep [ text "The body of the bind statement" ]
pprFixedRuntimeRepContext (FRRArrow arrowContext)
= pprFRRArrowContext arrowContext
-pprFixedRuntimeRepContext (FRRExpectedFunTy funTyOrig _)
- = pprExpectedFunTyHerald funTyOrig
+pprFixedRuntimeRepContext (FRRExpectedFunTy funTyOrig i)
+ = pprExpectedFunTyCtxt funTyOrig i
pprFixedRuntimeRepContext (FRRDeepSubsumption is_exp pos mb_fun)
= hsep [ text "The", what, text "type of the"
, ppr (Argument pos)
=====================================
compiler/GHC/Tc/Zonk/TcType.hs
=====================================
@@ -811,153 +811,19 @@ zonkTidyErrCtxtMsg env (ThetaCtxt ctxt theta_ty) = do
zonkTidyErrCtxtMsg env (InferredTypeCtxt n ty) = do
(env', ty') <- zonkTidyTcType env ty
return $ (env', InferredTypeCtxt n ty')
--- zonkTidyErrCtxtMsg (RecordUpdCtxt n1 n2 tys) = do
--- tys' <- lift $ mapM zonkTcTypeToType tys
--- return $ RecordUpdCtxt n1 n2 tys'
zonkTidyErrCtxtMsg env (ClassOpCtxt n ty) = do
(env', ty') <- zonkTidyTcType env ty
return $ (env', ClassOpCtxt n ty')
zonkTidyErrCtxtMsg env (MethSigCtxt n ty1 ty2) = do
(env', ty1) <- zonkTidyTcType env ty1
- (env', ty2) <- zonkTidyTcType env ty2
+ (env', ty2) <- zonkTidyTcType env' ty2
return $ (env', MethSigCtxt n ty1 ty2)
--- zonkTidyErrCtxtMsg (PatSigErrCtxt ty exp_ty) = do
--- ty' <- lift $ zonkTcTypeToType ty
--- exp_ty' <- lift $ readExpType_maybe exp_ty
--- case exp_ty' of
--- Nothing -> error "zonkTidyErrCtxtMsg PatSingErrCtxt"
--- Just exp_ty' -> do
--- exp_ty' <- lift $ zonkTcTypeToType exp_ty'
--- return $ PatSigErrCtxt ty' exp_ty'
-
zonkTidyErrCtxtMsg env e@(FunAppCtxt{}) = return (env, e)
zonkTidyErrCtxtMsg env (FunTysCtxt ctxt ty i1 i2) = do
(env', ty') <- zonkTidyTcType env ty
return $ (env', FunTysCtxt ctxt ty' i1 i2)
zonkTidyErrCtxtMsg env (FunResCtxt e i1 ty1 ty2 i2 i3) = do
(env', ty1') <- zonkTidyTcType env ty1
- (env', ty2') <- zonkTidyTcType env ty2
+ (env', ty2') <- zonkTidyTcType env' ty2
return $ (env', FunResCtxt e i1 ty1' ty2' i2 i3)
zonkTidyErrCtxtMsg env p = return (env, p)
-{-
- -- or a type signature, or... (see 'Sig').
- | SigCtxt !(Sig GhcRn)
- -- | In a user-written type signature.
- | UserSigCtxt !UserTypeCtxt !UserSigType
-
- -- | In a pattern.
- | PatCtxt !(Pat GhcRn)
- -- | In a pattern synonym declaration.
- | PatSynDeclCtxt !Name
- -- | In a pattern matching context, e.g. a equation for a function binding,
- -- or a case alternative, ...
- | MatchCtxt !HsMatchContextRn
- -- | In a match in a pattern matching context,
- -- either for an expression or for an arrow command.
- | forall body. (Outputable body)
- => MatchInCtxt !(Match GhcRn body)
- -- | In the declaration of a type constructor.
- | TyConDeclCtxt !Name !(TyConFlavour TyCon)
- -- | In a type or data family instance (or default instance).
- | TyConInstCtxt !Name !TyConInstFlavour
- -- | In the declaration of a data constructor.
- | DataConDefCtxt !(NE.NonEmpty (LocatedN Name))
- -- | In the result type of a data constructor.
- | DataConResTyCtxt !(NE.NonEmpty (LocatedN Name))
- -- | In the equations for a closed type family.
- | ClosedFamEqnCtxt !TyCon
- -- | In the expansion of a type synonym.
- | TySynErrCtxt !TyCon
- -- | In a role annotation.
- | RoleAnnotErrCtxt !Name
- -- | In an arrow command.
- | CmdCtxt !(HsCmd GhcRn)
- -- | In an instance declaration.
- | InstDeclErrCtxt !(Either (LHsType GhcRn) PredType)
- -- | In a default declaration.
- | DefaultDeclErrCtxt { ddec_in_type_list :: !Bool }
- -- | In the body of a static form.
- | StaticFormCtxt !(LHsExpr GhcRn)
- -- | In a pattern binding.
- | forall p. OutputableBndrId p
- => PatMonoBindsCtxt !(LPat (GhcPass p)) !(GRHSs GhcRn (LHsExpr GhcRn))
- -- | In a foreign import/export declaration.
- | ForeignDeclCtxt !(ForeignDecl GhcRn)
- -- | In a record field.
- | FieldCtxt !FieldLabelString
- -- | In a type.
- | TypeCtxt !(LHsType GhcRn)
- -- | In a kind.
- | KindCtxt !(LHsKind GhcRn)
- -- | In an ambiguity check.
- | AmbiguityCheckCtxt !UserTypeCtxt !Bool
-
- -- | In a term-level use of a 'Name'.
- | TermLevelUseCtxt !Name !TermLevelUseCtxt
-
- -- | When checking the type of the @main@ function.
- | MainCtxt !Name
- -- | Warning emitted when inferring use of visible dependent quantification.
- | VDQWarningCtxt !TcTyCon
-
- -- | In a statement
- | forall body.
- ( Anno (StmtLR GhcRn GhcRn body) ~ SrcSpanAnnA
- , Outputable body
- ) => StmtErrCtxt !HsStmtContextRn !(StmtLR GhcRn GhcRn body)
-
- -- | In a do statement.
- | DoStmtErrCtxt !HsStmtContextRn !(ExprLStmt GhcRn)
-
- -- | In patten of the do statement. (c.f. MonadFailErrors)
- | StmtErrCtxtPat !HsStmtContextRn !(ExprLStmt GhcRn) (LPat GhcRn)
-
- -- | In an rebindable syntax expression.
- | SyntaxNameCtxt !(HsExpr GhcRn) !CtOrigin !TcType !SrcSpan
- -- | In a RULE.
- | RuleCtxt !FastString
- -- | In a subtype check.
- | SubTypeCtxt !TcType !TcType
-
- -- | In an export.
- | forall p. OutputableBndrId p
- => ExportCtxt (IE (GhcPass p))
- -- | In an export of a pattern synonym.
- | PatSynExportCtxt !PatSyn
- -- | In an export of a pattern synonym record field.
- | PatSynRecSelExportCtxt !PatSyn !Name
-
- -- | In an annotation.
- | forall p. OutputableBndrId p
- => AnnCtxt (AnnDecl (GhcPass p))
-
- -- | In a specialise pragma.
- | SpecPragmaCtxt !(Sig GhcRn)
-
- -- | In a deriving clause.
- | DerivInstCtxt !PredType
- -- | In a standalone deriving clause.
- | StandaloneDerivCtxt !(LHsSigWcType GhcRn)
- -- | When typechecking the body of a derived instance.
- | DerivBindCtxt !Id !Class ![Type]
-
- -- | In an untyped Template Haskell quote.
- | UntypedTHBracketCtxt !(HsQuote GhcPs)
- -- | In a typed Template Haskell quote.
- | forall p. OutputableBndrId p
- => TypedTHBracketCtxt !(LHsExpr (GhcPass p))
- -- | In an untyped Template Haskell splice or quasi-quote.
- | UntypedSpliceCtxt !(HsUntypedSplice GhcPs)
- -- | In a typed Template Haskell splice.
- | forall p. OutputableBndrId p
- => TypedSpliceCtxt !(Maybe SplicePointName) !(HsTypedSplice (GhcPass p))
- -- | In the result of a typed Template Haskell splice.
- | TypedSpliceResultCtxt !(LHsExpr GhcTc)
- -- | In an argument to the Template Haskell @reifyInstances@ function.
- | ReifyInstancesCtxt !TH.Name ![TH.Type]
-
- -- | While merging Backpack signatures.
- | MergeSignaturesCtxt !UnitState !ModuleName ![InstantiatedModule]
- -- | While checking that a module implements a Backpack signature.
- | CheckImplementsCtxt !UnitState !Module !InstantiatedModule
--}
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/427c26b4248a4abc92ef13f4f929eae…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/427c26b4248a4abc92ef13f4f929eae…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 6 commits: Apply NOINLINE pragmas to generated Typeable bindings
by Marge Bot (＠marge-bot) 09 Mar '26
by Marge Bot (＠marge-bot) 09 Mar '26
09 Mar '26
Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC
Commits:
e659610c by Duncan Coutts at 2026-03-09T12:08:35-04:00
Apply NOINLINE pragmas to generated Typeable bindings
For context, see the existing Note [Grand plan for Typeable]
and the Note [NOINLINE on generated Typeable bindings] added in the
subsequent commit.
This is about reducing the number of exported top level names and
unfoldings, which reduces interface file sizes and reduces the number of
global/dynamic linker symbols.
Also accept the changed test output and metric decreases.
Tests that record the phase output for type checking or for simplifier
end up with different output: the generated bindings now have an
Inline [~] annotation, and many top level names are now local rather
than module-prefixed for export.
Also accept the numerous metric decreases in compile_time/bytes
allocated, and a few in compile_time/max_bytes_used.
There's also one instance of a decrease in runtime/max_bytes_used but
it's a ghci-way test and so presumably the reason is that it loads
smaller .hi files and/or links fewer symbols.
-------------------------
Metric Decrease:
CoOpt_Singletons
MultiLayerModulesTH_OneShot
MultilineStringsPerf
T10421
T10547
T12150
T12227
T12234
T12425
T13035
T13056
T13253
T13253-spj
T15304
T15703
T16875
T17836b
T17977b
T18140
T18223
T18282
T18304
T18698a
T18698b
T18730
T18923
T20049
T21839c
T24471
T24582
T24984
T3064
T4029
T5030
T5642
T5837
T6048
T9020
T9198
T9961
TcPlugin_RewritePerf
WWRec
hard_hole_fits
mhu-perf
-------------------------
- - - - -
67df5161 by Duncan Coutts at 2026-03-09T12:08:35-04:00
Add documentation Note [NOINLINE on generated Typeable bindings]
and refer to it from the code and existing documentation.
- - - - -
c4ad6167 by Duncan Coutts at 2026-03-09T12:08:35-04:00
Switch existing note to "named wrinkle" style, (GPT1)..(GPT7)
GPT = Grand plan for Typeable
- - - - -
dc84f8e2 by Cheng Shao at 2026-03-09T12:09:21-04:00
ci: only build deb13 for validate pipeline aarch64-linux jobs
This patch drops the redundant aarch64-linux deb12 job from validate pipelines
and only keeps deb13; it's still built in nightly/release pipelines. Closes #27004.
- - - - -
fc2eac1a by Rajkumar Natarajan at 2026-03-09T12:41:07-04:00
chore: Merge GHC.Internal.TH.Quote into GHC.Internal.TH.Monad
Move the QuasiQuoter datatype from GHC.Internal.TH.Quote to
GHC.Internal.TH.Monad and delete the Quote module.
Update submodule template-haskell-quasiquoter to use the merged
upstream version that imports from the correct module.
Co-authored-by: Cursor <cursoragent(a)cursor.com>
- - - - -
bf3db183 by Simon Jakobi at 2026-03-09T12:41:08-04:00
Add regression test for #16122
- - - - -
43 changed files:
- .gitlab/generate-ci/gen_ci.hs
- .gitlab/jobs.yaml
- compiler/GHC/Builtin/Names/TH.hs
- compiler/GHC/Tc/Instance/Typeable.hs
- libraries/ghc-boot-th/GHC/Boot/TH/Quote.hs
- libraries/ghc-internal/ghc-internal.cabal.in
- libraries/ghc-internal/src/GHC/Internal/TH/Monad.hs
- − libraries/ghc-internal/src/GHC/Internal/TH/Quote.hs
- libraries/template-haskell-quasiquoter
- testsuite/tests/deSugar/should_compile/T16615.stderr
- testsuite/tests/deSugar/should_compile/T2431.stderr
- testsuite/tests/dmdanal/should_compile/T16029.stdout
- testsuite/tests/linters/Makefile
- testsuite/tests/numeric/should_compile/T14170.stdout
- testsuite/tests/numeric/should_compile/T14465.stdout
- testsuite/tests/numeric/should_compile/T7116.stdout
- testsuite/tests/plugins/plugins10.stdout
- testsuite/tests/quotes/QQError.stderr
- testsuite/tests/roles/should_compile/Roles1.stderr
- testsuite/tests/roles/should_compile/Roles13.stderr
- testsuite/tests/roles/should_compile/Roles14.stderr
- testsuite/tests/roles/should_compile/Roles2.stderr
- testsuite/tests/roles/should_compile/Roles3.stderr
- testsuite/tests/roles/should_compile/Roles4.stderr
- testsuite/tests/roles/should_compile/T8958.stderr
- testsuite/tests/simplCore/should_compile/OpaqueNoCastWW.stderr
- + testsuite/tests/simplCore/should_compile/T16122.hs
- + testsuite/tests/simplCore/should_compile/T16122.stderr
- testsuite/tests/simplCore/should_compile/T3717.stderr
- testsuite/tests/simplCore/should_compile/T3772.stdout
- testsuite/tests/simplCore/should_compile/T4908.stderr
- testsuite/tests/simplCore/should_compile/T4930.stderr
- testsuite/tests/simplCore/should_compile/T7360.stderr
- testsuite/tests/simplCore/should_compile/T8274.stdout
- testsuite/tests/simplCore/should_compile/T9400.stderr
- testsuite/tests/simplCore/should_compile/all.T
- testsuite/tests/simplCore/should_compile/noinline01.stderr
- testsuite/tests/simplCore/should_compile/par01.stderr
- testsuite/tests/th/QQTopError.stderr
- testsuite/tests/th/TH_Roles2.stderr
- testsuite/tests/typecheck/should_compile/T13032.stderr
- testsuite/tests/typecheck/should_compile/T18406b.stderr
- testsuite/tests/typecheck/should_compile/T18529.stderr
The diff was not included because it is too large.
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0cf8aa0565e447f9bac3d889e26f29…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0cf8aa0565e447f9bac3d889e26f29…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc] Pushed new branch wip/advanceStackFrameLocation-segfault
by Matthew Pickering (＠mpickering) 09 Mar '26
by Matthew Pickering (＠mpickering) 09 Mar '26
09 Mar '26
Matthew Pickering pushed new branch wip/advanceStackFrameLocation-segfault at Glasgow Haskell Compiler / GHC
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/advanceStackFrameLocation-seg…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][wip/sjakobi/T2057] Add regression test for #2057
by Simon Jakobi (＠sjakobi2) 09 Mar '26
by Simon Jakobi (＠sjakobi2) 09 Mar '26
09 Mar '26
Simon Jakobi pushed to branch wip/sjakobi/T2057 at Glasgow Haskell Compiler / GHC
Commits:
75d6f4d5 by Simon Jakobi at 2026-03-09T17:28:32+01:00
Add regression test for #2057
Test that GHC stops after an interface-file error instead of
continuing into the linker.
The test constructs a stale package dependency on purpose. `pkgB` is compiled
against one version of package `A`, then the same unit id is replaced by an
incompatible build of `A`. When `Main` imports `B`, GHC has to read `B.hi`,
finds an unfolding that still mentions the old `A`, and should fail while
loading interfaces.
Closes #2057.
Assisted-by: Codex
- - - - -
12 changed files:
- + testsuite/tests/driver/T2057/.gitignore
- + testsuite/tests/driver/T2057/Makefile
- + testsuite/tests/driver/T2057/README.md
- + testsuite/tests/driver/T2057/T2057.stderr
- + testsuite/tests/driver/T2057/all.T
- + testsuite/tests/driver/T2057/app/Main.hs
- + testsuite/tests/driver/T2057/pkgA1/A.hs
- + testsuite/tests/driver/T2057/pkgA1/pkg.conf
- + testsuite/tests/driver/T2057/pkgA2/A.hs
- + testsuite/tests/driver/T2057/pkgA2/pkg.conf
- + testsuite/tests/driver/T2057/pkgB/B.hs
- + testsuite/tests/driver/T2057/pkgB/pkg.conf
Changes:
=====================================
testsuite/tests/driver/T2057/.gitignore
=====================================
@@ -0,0 +1 @@
+work/
=====================================
testsuite/tests/driver/T2057/Makefile
=====================================
@@ -0,0 +1,52 @@
+TOP=../../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/test.mk
+
+WORK = work
+PKGDB = $(WORK)/pkgdb
+PKGA1 = $(WORK)/pkgA1
+PKGA2 = $(WORK)/pkgA2
+PKGB = $(WORK)/pkgB
+APP = $(WORK)/app
+OUT = $(WORK)/T2057.out
+
+.PHONY: T2057 clean
+
+clean:
+ rm -rf $(WORK)
+
+T2057: clean
+
+ # Create an isolated package DB and output directories for the repro.
+ mkdir -p '$(PKGA1)' '$(PKGA2)' '$(PKGB)' '$(APP)'
+ '$(GHC_PKG)' init '$(PKGDB)'
+
+ # Build and register pkgA from the pkgA1 sources.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -this-unit-id pkgA -O -c pkgA1/A.hs -outputdir '$(PKGA1)'
+ ar q '$(PKGA1)/libHSpkgA.a' '$(PKGA1)/A.o' >/dev/null 2>&1
+ cp pkgA1/pkg.conf '$(WORK)/pkgA1.conf'
+ '$(GHC_PKG)' --package-db '$(PKGDB)' register '$(WORK)/pkgA1.conf' >/dev/null
+
+ # Build and register pkgB against pkgA so INLINE g records the unfolding g = f in B.hi.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -package pkgA -this-unit-id pkgB -O -c pkgB/B.hs \
+ -outputdir '$(PKGB)'
+ ar q '$(PKGB)/libHSpkgB.a' '$(PKGB)/B.o' >/dev/null 2>&1
+ cp pkgB/pkg.conf '$(WORK)/pkgB.conf'
+ '$(GHC_PKG)' --package-db '$(PKGDB)' register '$(WORK)/pkgB.conf' >/dev/null
+
+ # Rebuild pkgA from the pkgA2 source tree, removing f.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -this-unit-id pkgA -O -c pkgA2/A.hs -outputdir '$(PKGA2)'
+ ar q '$(PKGA2)/libHSpkgA.a' '$(PKGA2)/A.o' >/dev/null 2>&1
+ cp pkgA2/pkg.conf '$(WORK)/pkgA2.conf'
+ '$(GHC_PKG)' --package-db '$(PKGDB)' update '$(WORK)/pkgA2.conf' >/dev/null
+
+ # Compiling Main against pkgB should now fail while loading the stale B.hi.
+ ! '$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make app/Main.hs \
+ -O -fforce-recomp -package-db '$(PKGDB)' -package pkgB \
+ >'$(OUT)' 2>&1 || { echo "expected compilation failure" >&2; exit 1; }
+
+ # Strip the absolute test directory prefix before comparing against T2057.stderr.
+ sed "s#$(CURDIR)/##g" '$(OUT)' >&2
=====================================
testsuite/tests/driver/T2057/README.md
=====================================
@@ -0,0 +1,21 @@
+`T2057` checks that GHC stops after an interface-file error instead of
+continuing into the linker.
+
+The test constructs a stale package dependency on purpose. The two directories
+`pkgA1/` and `pkgA2/` are just two source trees for the same registered
+package, `pkgA`. `pkgA` has no external package dependencies, and `pkgB`
+depends only on `pkgA`.
+
+`pkgA1/` defines a local type `T` and `f :: T -> T`. `pkgB/` builds against
+that package, keeps `{-# INLINE g #-}`, and therefore records the stale
+unfolding `g = f` in `B.hi`.
+
+After that, the Makefile updates the same package `pkgA` from `pkgA2/`, where
+module `A` still exports `T` but no longer exports `f`. When `Main` imports
+`B`, GHC has to load `B.hi`, sees the stale reference to `f`, and should fail
+while loading interfaces.
+
+The golden [`T2057.stderr`](T2057.stderr) captures the fixed behaviour:
+diagnose the missing declaration in the stale interface and then stop with
+`Cannot continue after interface file error`. Any linker output would be a
+regression.
=====================================
testsuite/tests/driver/T2057/T2057.stderr
=====================================
@@ -0,0 +1,9 @@
+work/pkgB/B.hi
+Declaration for g
+Unfolding of g:
+ f ErrorWithoutFlag
+ Can't find interface-file declaration for variable f
+ Probable cause: bug in .hi-boot file, or inconsistent .hi file
+ Use -ddump-if-trace to get an idea of which file caused the error
+<no location info>:
+ Cannot continue after interface file error
=====================================
testsuite/tests/driver/T2057/all.T
=====================================
@@ -0,0 +1,11 @@
+test(
+ 'T2057',
+ [ extra_files(['pkgA1', 'pkgA2', 'pkgB', 'app', 'README.md'])
+ , when(opsys('mingw32'), skip)
+ , js_skip
+ , wasm_skip
+ , ignore_stdout
+ ],
+ makefile_test,
+ []
+)
=====================================
testsuite/tests/driver/T2057/app/Main.hs
=====================================
@@ -0,0 +1,7 @@
+module Main where
+
+import B
+
+main :: IO ()
+main = case g MkT of
+ MkT -> print ()
=====================================
testsuite/tests/driver/T2057/pkgA1/A.hs
=====================================
@@ -0,0 +1,7 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module A (T(..), f) where
+
+data T = MkT
+
+f :: T -> T
+f x = x
=====================================
testsuite/tests/driver/T2057/pkgA1/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgA
+version: 1.0
+id: pkgA
+key: pkgA
+exposed: True
+exposed-modules: A
+import-dirs: ${pkgroot}/pkgA1
+library-dirs: ${pkgroot}/pkgA1
+dynamic-library-dirs: ${pkgroot}/pkgA1
+hs-libraries: HSpkgA
+depends:
=====================================
testsuite/tests/driver/T2057/pkgA2/A.hs
=====================================
@@ -0,0 +1,5 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module A where
+
+-- no f here
+data T = MkT
=====================================
testsuite/tests/driver/T2057/pkgA2/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgA
+version: 1.0
+id: pkgA
+key: pkgA
+exposed: True
+exposed-modules: A
+import-dirs: ${pkgroot}/pkgA2
+library-dirs: ${pkgroot}/pkgA2
+dynamic-library-dirs: ${pkgroot}/pkgA2
+hs-libraries: HSpkgA
+depends:
=====================================
testsuite/tests/driver/T2057/pkgB/B.hs
=====================================
@@ -0,0 +1,8 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module B (T(..), g) where
+
+import A
+
+{-# INLINE g #-}
+g :: T -> T
+g x = f x
=====================================
testsuite/tests/driver/T2057/pkgB/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgB
+version: 1.0
+id: pkgB
+key: pkgB
+exposed: True
+exposed-modules: B
+import-dirs: ${pkgroot}/pkgB
+library-dirs: ${pkgroot}/pkgB
+dynamic-library-dirs: ${pkgroot}/pkgB
+hs-libraries: HSpkgB
+depends: pkgA
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/75d6f4d5b8b368d8851b6143903abb4…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/75d6f4d5b8b368d8851b6143903abb4…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][wip/sjakobi/T2057] Add regression test for #2057
by Simon Jakobi (＠sjakobi2) 09 Mar '26
by Simon Jakobi (＠sjakobi2) 09 Mar '26
09 Mar '26
Simon Jakobi pushed to branch wip/sjakobi/T2057 at Glasgow Haskell Compiler / GHC
Commits:
92031328 by Simon Jakobi at 2026-03-09T17:21:40+01:00
Add regression test for #2057
Test that GHC stops after an interface-file error instead of
continuing into the linker.
The test constructs a stale package dependency on purpose. `pkgB` is compiled
against one version of package `A`, then the same unit id is replaced by an
incompatible build of `A`. When `Main` imports `B`, GHC has to read `B.hi`,
finds an unfolding that still mentions the old `A`, and should fail while
loading interfaces.
Closes #2057.
Assisted-by: Codex
- - - - -
12 changed files:
- + testsuite/tests/driver/T2057/.gitignore
- + testsuite/tests/driver/T2057/Makefile
- + testsuite/tests/driver/T2057/README.md
- + testsuite/tests/driver/T2057/T2057.stderr
- + testsuite/tests/driver/T2057/all.T
- + testsuite/tests/driver/T2057/app/Main.hs
- + testsuite/tests/driver/T2057/pkgA1/A.hs
- + testsuite/tests/driver/T2057/pkgA1/pkg.conf
- + testsuite/tests/driver/T2057/pkgA2/A.hs
- + testsuite/tests/driver/T2057/pkgA2/pkg.conf
- + testsuite/tests/driver/T2057/pkgB/B.hs
- + testsuite/tests/driver/T2057/pkgB/pkg.conf
Changes:
=====================================
testsuite/tests/driver/T2057/.gitignore
=====================================
@@ -0,0 +1 @@
+work/
=====================================
testsuite/tests/driver/T2057/Makefile
=====================================
@@ -0,0 +1,52 @@
+TOP=../../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/test.mk
+
+WORK = work
+PKGDB = $(WORK)/pkgdb
+PKGA1 = $(WORK)/pkgA1
+PKGA2 = $(WORK)/pkgA2
+PKGB = $(WORK)/pkgB
+APP = $(WORK)/app
+OUT = $(WORK)/T2057.out
+
+.PHONY: T2057 clean
+
+clean:
+ rm -rf $(WORK)
+
+T2057: clean
+
+ # Create an isolated package DB and output directories for the repro.
+ mkdir -p '$(PKGA1)' '$(PKGA2)' '$(PKGB)' '$(APP)'
+ '$(GHC_PKG)' init '$(PKGDB)'
+
+ # Build and register pkgA from the pkgA1 sources.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -this-unit-id pkgA -O -c pkgA1/A.hs -outputdir '$(PKGA1)'
+ ar q '$(PKGA1)/libHSpkgA.a' '$(PKGA1)/A.o' >/dev/null 2>&1
+ cp pkgA1/pkg.conf '$(WORK)/pkgA1.conf'
+ '$(GHC_PKG)' --package-db '$(PKGDB)' register '$(WORK)/pkgA1.conf' >/dev/null
+
+ # Build and register pkgB against pkgA so INLINE g records the unfolding g = f in B.hi.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -package pkgA -this-unit-id pkgB -O -c pkgB/B.hs \
+ -outputdir '$(PKGB)'
+ ar q '$(PKGB)/libHSpkgB.a' '$(PKGB)/B.o' >/dev/null 2>&1
+ cp pkgB/pkg.conf '$(WORK)/pkgB.conf'
+ '$(GHC_PKG)' --package-db '$(PKGDB)' register '$(WORK)/pkgB.conf' >/dev/null
+
+ # Rebuild pkgA from the pkgA2 source tree, removing f.
+ '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -package-db '$(PKGDB)' \
+ -this-unit-id pkgA -O -c pkgA2/A.hs -outputdir '$(PKGA2)'
+ cp pkgA2/pkg.conf '$(WORK)/pkgA2.conf'
+ ar q '$(PKGA2)/libHSpkgA.a' '$(PKGA2)/A.o' >/dev/null 2>&1
+ '$(GHC_PKG)' --package-db '$(PKGDB)' update '$(WORK)/pkgA2.conf' >/dev/null
+
+ # Compiling Main against pkgB should now fail while loading the stale B.hi.
+ ! '$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make app/Main.hs \
+ -O -fforce-recomp -package-db '$(PKGDB)' -package pkgB \
+ >'$(OUT)' 2>&1 || { echo "expected compilation failure" >&2; exit 1; }
+
+ # Strip the absolute test directory prefix before comparing against T2057.stderr.
+ sed "s#$(CURDIR)/##g" '$(OUT)' >&2
=====================================
testsuite/tests/driver/T2057/README.md
=====================================
@@ -0,0 +1,21 @@
+`T2057` checks that GHC stops after an interface-file error instead of
+continuing into the linker.
+
+The test constructs a stale package dependency on purpose. The two directories
+`pkgA1/` and `pkgA2/` are just two source trees for the same registered
+package, `pkgA`. `pkgA` has no external package dependencies, and `pkgB`
+depends only on `pkgA`.
+
+`pkgA1/` defines a local type `T` and `f :: T -> T`. `pkgB/` builds against
+that package, keeps `{-# INLINE g #-}`, and therefore records the stale
+unfolding `g = f` in `B.hi`.
+
+After that, the Makefile updates the same package `pkgA` from `pkgA2/`, where
+module `A` still exports `T` but no longer exports `f`. When `Main` imports
+`B`, GHC has to load `B.hi`, sees the stale reference to `f`, and should fail
+while loading interfaces.
+
+The golden [`T2057.stderr`](T2057.stderr) captures the fixed behaviour:
+diagnose the missing declaration in the stale interface and then stop with
+`Cannot continue after interface file error`. Any linker output would be a
+regression.
=====================================
testsuite/tests/driver/T2057/T2057.stderr
=====================================
@@ -0,0 +1,9 @@
+work/pkgB/B.hi
+Declaration for g
+Unfolding of g:
+ f ErrorWithoutFlag
+ Can't find interface-file declaration for variable f
+ Probable cause: bug in .hi-boot file, or inconsistent .hi file
+ Use -ddump-if-trace to get an idea of which file caused the error
+<no location info>:
+ Cannot continue after interface file error
=====================================
testsuite/tests/driver/T2057/all.T
=====================================
@@ -0,0 +1,11 @@
+test(
+ 'T2057',
+ [ extra_files(['pkgA1', 'pkgA2', 'pkgB', 'app', 'README.md'])
+ , when(opsys('mingw32'), skip)
+ , js_skip
+ , wasm_skip
+ , ignore_stdout
+ ],
+ makefile_test,
+ []
+)
=====================================
testsuite/tests/driver/T2057/app/Main.hs
=====================================
@@ -0,0 +1,7 @@
+module Main where
+
+import B
+
+main :: IO ()
+main = case g MkT of
+ MkT -> print ()
=====================================
testsuite/tests/driver/T2057/pkgA1/A.hs
=====================================
@@ -0,0 +1,7 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module A (T(..), f) where
+
+data T = MkT
+
+f :: T -> T
+f x = x
=====================================
testsuite/tests/driver/T2057/pkgA1/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgA
+version: 1.0
+id: pkgA
+key: pkgA
+exposed: True
+exposed-modules: A
+import-dirs: ${pkgroot}/pkgA1
+library-dirs: ${pkgroot}/pkgA1
+dynamic-library-dirs: ${pkgroot}/pkgA1
+hs-libraries: HSpkgA
+depends:
=====================================
testsuite/tests/driver/T2057/pkgA2/A.hs
=====================================
@@ -0,0 +1,5 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module A where
+
+-- no f here
+data T = MkT
=====================================
testsuite/tests/driver/T2057/pkgA2/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgA
+version: 1.0
+id: pkgA
+key: pkgA
+exposed: True
+exposed-modules: A
+import-dirs: ${pkgroot}/pkgA2
+library-dirs: ${pkgroot}/pkgA2
+dynamic-library-dirs: ${pkgroot}/pkgA2
+hs-libraries: HSpkgA
+depends:
=====================================
testsuite/tests/driver/T2057/pkgB/B.hs
=====================================
@@ -0,0 +1,8 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module B (T(..), g) where
+
+import A
+
+{-# INLINE g #-}
+g :: T -> T
+g x = f x
=====================================
testsuite/tests/driver/T2057/pkgB/pkg.conf
=====================================
@@ -0,0 +1,11 @@
+name: pkgB
+version: 1.0
+id: pkgB
+key: pkgB
+exposed: True
+exposed-modules: B
+import-dirs: ${pkgroot}/pkgB
+library-dirs: ${pkgroot}/pkgB
+dynamic-library-dirs: ${pkgroot}/pkgB
+hs-libraries: HSpkgB
+depends: pkgA
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9203132832b84eba512e896aa043250…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9203132832b84eba512e896aa043250…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][master] ci: only build deb13 for validate pipeline aarch64-linux jobs
by Marge Bot (＠marge-bot) 09 Mar '26
by Marge Bot (＠marge-bot) 09 Mar '26
09 Mar '26
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
dc84f8e2 by Cheng Shao at 2026-03-09T12:09:21-04:00
ci: only build deb13 for validate pipeline aarch64-linux jobs
This patch drops the redundant aarch64-linux deb12 job from validate pipelines
and only keeps deb13; it's still built in nightly/release pipelines. Closes #27004.
- - - - -
2 changed files:
- .gitlab/generate-ci/gen_ci.hs
- .gitlab/jobs.yaml
Changes:
=====================================
.gitlab/generate-ci/gen_ci.hs
=====================================
@@ -1179,7 +1179,7 @@ debian_aarch64 :: [JobGroup Job]
debian_aarch64 =
[
disableValidate (standardBuildsWithConfig AArch64 (Linux Debian11) (splitSectionsBroken vanilla))
- , fastCI (standardBuildsWithConfig AArch64 (Linux Debian12) (splitSectionsBroken vanilla))
+ , disableValidate (standardBuildsWithConfig AArch64 (Linux Debian12) (splitSectionsBroken vanilla))
, fastCI (standardBuildsWithConfig AArch64 (Linux Debian13) (splitSectionsBroken vanilla))
-- LLVM backend bootstrap
, onlyRule LLVMBackend (validateBuilds AArch64 (Linux Debian13) llvm)
=====================================
.gitlab/jobs.yaml
=====================================
@@ -228,7 +228,7 @@
],
"rules": [
{
- "if": "((($ONLY_JOBS) && ($ONLY_JOBS =~ /.*\\baarch64-linux-deb12-validate(\\s|$).*/)) || (($ONLY_JOBS == null) && ((\"true\" == \"true\")))) && ($RELEASE_JOB != \"yes\") && ($NIGHTLY == null)",
+ "if": "((($ONLY_JOBS) && ($ONLY_JOBS =~ /.*\\baarch64-linux-deb12-validate(\\s|$).*/)) || (($ONLY_JOBS == null) && (\"disabled\" != \"disabled\"))) && ($RELEASE_JOB != \"yes\") && ($NIGHTLY == null)",
"when": "on_success"
}
],
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/dc84f8e2d418f456e5f4854788fc58d…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/dc84f8e2d418f456e5f4854788fc58d…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][master] 3 commits: Apply NOINLINE pragmas to generated Typeable bindings
by Marge Bot (＠marge-bot) 09 Mar '26
by Marge Bot (＠marge-bot) 09 Mar '26
09 Mar '26
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
e659610c by Duncan Coutts at 2026-03-09T12:08:35-04:00
Apply NOINLINE pragmas to generated Typeable bindings
For context, see the existing Note [Grand plan for Typeable]
and the Note [NOINLINE on generated Typeable bindings] added in the
subsequent commit.
This is about reducing the number of exported top level names and
unfoldings, which reduces interface file sizes and reduces the number of
global/dynamic linker symbols.
Also accept the changed test output and metric decreases.
Tests that record the phase output for type checking or for simplifier
end up with different output: the generated bindings now have an
Inline [~] annotation, and many top level names are now local rather
than module-prefixed for export.
Also accept the numerous metric decreases in compile_time/bytes
allocated, and a few in compile_time/max_bytes_used.
There's also one instance of a decrease in runtime/max_bytes_used but
it's a ghci-way test and so presumably the reason is that it loads
smaller .hi files and/or links fewer symbols.
-------------------------
Metric Decrease:
CoOpt_Singletons
MultiLayerModulesTH_OneShot
MultilineStringsPerf
T10421
T10547
T12150
T12227
T12234
T12425
T13035
T13056
T13253
T13253-spj
T15304
T15703
T16875
T17836b
T17977b
T18140
T18223
T18282
T18304
T18698a
T18698b
T18730
T18923
T20049
T21839c
T24471
T24582
T24984
T3064
T4029
T5030
T5642
T5837
T6048
T9020
T9198
T9961
TcPlugin_RewritePerf
WWRec
hard_hole_fits
mhu-perf
-------------------------
- - - - -
67df5161 by Duncan Coutts at 2026-03-09T12:08:35-04:00
Add documentation Note [NOINLINE on generated Typeable bindings]
and refer to it from the code and existing documentation.
- - - - -
c4ad6167 by Duncan Coutts at 2026-03-09T12:08:35-04:00
Switch existing note to "named wrinkle" style, (GPT1)..(GPT7)
GPT = Grand plan for Typeable
- - - - -
28 changed files:
- compiler/GHC/Tc/Instance/Typeable.hs
- testsuite/tests/deSugar/should_compile/T16615.stderr
- testsuite/tests/deSugar/should_compile/T2431.stderr
- testsuite/tests/dmdanal/should_compile/T16029.stdout
- testsuite/tests/numeric/should_compile/T14170.stdout
- testsuite/tests/numeric/should_compile/T14465.stdout
- testsuite/tests/numeric/should_compile/T7116.stdout
- testsuite/tests/roles/should_compile/Roles1.stderr
- testsuite/tests/roles/should_compile/Roles13.stderr
- testsuite/tests/roles/should_compile/Roles14.stderr
- testsuite/tests/roles/should_compile/Roles2.stderr
- testsuite/tests/roles/should_compile/Roles3.stderr
- testsuite/tests/roles/should_compile/Roles4.stderr
- testsuite/tests/roles/should_compile/T8958.stderr
- testsuite/tests/simplCore/should_compile/OpaqueNoCastWW.stderr
- testsuite/tests/simplCore/should_compile/T3717.stderr
- testsuite/tests/simplCore/should_compile/T3772.stdout
- testsuite/tests/simplCore/should_compile/T4908.stderr
- testsuite/tests/simplCore/should_compile/T4930.stderr
- testsuite/tests/simplCore/should_compile/T7360.stderr
- testsuite/tests/simplCore/should_compile/T8274.stdout
- testsuite/tests/simplCore/should_compile/T9400.stderr
- testsuite/tests/simplCore/should_compile/noinline01.stderr
- testsuite/tests/simplCore/should_compile/par01.stderr
- testsuite/tests/th/TH_Roles2.stderr
- testsuite/tests/typecheck/should_compile/T13032.stderr
- testsuite/tests/typecheck/should_compile/T18406b.stderr
- testsuite/tests/typecheck/should_compile/T18529.stderr
Changes:
=====================================
compiler/GHC/Tc/Instance/Typeable.hs
=====================================
@@ -53,6 +53,7 @@ The overall plan is this:
1. Generate a binding for each module p:M
(done in GHC.Tc.Instance.Typeable by mkModIdBindings)
+ {-# NOINLINE M.$trModule #-} -- See (GPT5) below
M.$trModule :: GHC.Unit.Module
M.$trModule = Module "p" "M"
("tr" is short for "type representation"; see GHC.Types)
@@ -63,6 +64,7 @@ The overall plan is this:
Record the Name M.$trModule in the tcg_tr_module field of TcGblEnv
2. Generate a binding for every data type declaration T in module M,
+ {-# NOINLINE M.$tcT #-} -- See (GPT5) below
M.$tcT :: GHC.Types.TyCon
M.$tcT = TyCon ...fingerprint info...
$trModule
@@ -96,48 +98,199 @@ The overall plan is this:
There are many wrinkles:
-* The timing of when we produce this bindings is rather important: they must be
- defined after the rest of the module has been typechecked since we need to be
- able to lookup Module and TyCon in the type environment and we may be
- currently compiling GHC.Types (where they are defined).
-
-* GHC.Prim doesn't have any associated object code, so we need to put the
- representations for types defined in this module elsewhere. We chose this
- place to be GHC.Types. GHC.Tc.Instance.Typeable.mkPrimTypeableTodos is responsible for
- injecting the bindings for the GHC.Prim representations when compiling
- GHC.Types.
-
-* TyCon.tyConRepModOcc is responsible for determining where to find
- the representation binding for a given type. This is where we handle
- the special case for GHC.Prim.
-
-* To save space and reduce dependencies, we need use quite low-level
- representations for TyCon and Module. See GHC.Types
- Note [Runtime representation of modules and tycons]
-
-* The KindReps can unfortunately get quite large. Moreover, the simplifier will
- float out various pieces of them, resulting in numerous top-level bindings.
- Consequently we mark the KindRep bindings as noinline, ensuring that the
- float-outs don't make it into the interface file. This is important since
- there is generally little benefit to inlining KindReps and they would
- otherwise strongly affect compiler performance.
-
-* In general there are lots of things of kind *, * -> *, and * -> * -> *. To
- reduce the number of bindings we need to produce, we generate their KindReps
- once in GHC.Types. These are referred to as "built-in" KindReps below.
-
-* Even though KindReps aren't inlined, this scheme still has more of an effect on
- compilation time than I'd like. This is especially true in the case of
- families of type constructors (e.g. tuples and unboxed sums). The problem is
- particularly bad in the case of sums, since each arity-N tycon brings with it
- N promoted datacons, each with a KindRep whose size also scales with N.
- Consequently we currently simply don't allow sums to be Typeable.
-
- In general we might consider moving some or all of this generation logic back
- to the solver since the performance hit we take in doing this at
- type-definition time is non-trivial and Typeable isn't very widely used. This
- is discussed in #13261.
+ (GPT1) The timing of when we produce this bindings is rather important: they
+ must be defined after the rest of the module has been typechecked
+ since we need to be able to lookup Module and TyCon in the type
+ environment and we may be currently compiling GHC.Types (where they
+ are defined).
+
+ (GPT2) GHC.Prim doesn't have any associated object code, so we need to put
+ the representations for types defined in this module elsewhere. We
+ chose this place to be GHC.Types.
+ GHC.Tc.Instance.Typeable.mkPrimTypeableTodos is responsible for
+ injecting the bindings for the GHC.Prim representations when compiling
+ GHC.Types.
+
+ (GPT3) TyCon.tyConRepModOcc is responsible for determining where to find the
+ representation binding for a given type. This is where we handle the
+ special case for GHC.Prim.
+
+ (GPT4) To save space and reduce dependencies, we need use quite low-level
+ representations for TyCon and Module. See GHC.Types
+ Note [Runtime representation of modules and tycons]
+
+ (GPT5) The unfoldings can get quite big, so we use NOINLINE to control it.
+ See Note [NOINLINE on generated Typeable bindings].
+
+ (GPT6) In general there are lots of things of kind *, * -> *, and * -> * -> *.
+ To reduce the number of bindings we need to produce, we generate their
+ KindReps once in GHC.Types. These are referred to as "built-in"
+ KindReps below.
+
+ (GPT7) Even though KindReps aren't inlined, this scheme still has more of an
+ effect on compilation time than I'd like. This is especially true in
+ the case of families of type constructors (e.g. tuples and unboxed
+ sums). The problem is particularly bad in the case of sums, since each
+ arity-N tycon brings with it N promoted datacons, each with a KindRep
+ whose size also scales with N. Consequently we currently simply don't
+ allow sums to be Typeable.
+
+ In general we might consider moving some or all of this generation
+ logic back to the solver since the performance hit we take in doing
+ this at type-definition time is non-trivial and Typeable isn't very
+ widely used. This is discussed in #13261.
+-}
+
+{- Note [NOINLINE on generated Typeable bindings]
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+The short story is that we annotate all the generated Typeable bindings with
+(the equivalent of) a NOINLINE pragma. This avoids an explosion of exported
+top-level exported bindings.
+
+For the long story, consider the following module "M" in a package "pkg":
+
+ module M (Foo(..), Bar(..)) where
+
+ data Bar = MkBar
+ data Foo (k :: Bar) = MkFoo
+
+For this module, the generated module name binding starts out (-ddump-ds-preopt)
+looking like this:
+ M.$trModule :: GHC.Unit.Module
+ M.$trModule = GHC.Types.Module
+ (GHC.Types.TrNameS "pkg"#)
+ (GHC.Types.TrNameS "M"#)
+
+but after the simplifier runs (-ddump-simpl), it will look like this:
+
+ M.$trModule = M.$trModule3 M.$trModule1
+ M.$trModule1 = GHC.Types.TrNameS M.$trModule2
+ M.$trModule2 = "M"#
+ M.$trModule3 = GHC.Types.TrNameS M.$trModule4
+ M.$trModule4 = "pkg"#
+
+While for the data types, there are a lot more bindings, and the explosion of
+them after the simplifier is even greater.
+
+For Bar, the generated TyCon binding starts out looking like:
+
+ M.$tcBar =
+ GHC.Types.TyCon
+ 12132242703551041979#Word64
+ 4299988877040426036#Word64
+ M.$trModule
+ (GHC.Types.TrNameS "Bar"#)
+ 0#
+ GHC.Types.krep$* -- reuse "built-in" kind rep from GHC.Types
+
+But we will *also* get a TcCon binding for the promoted type 'MkBar
+
+ M.$tc'MkBar =
+ GHC.Types.TyCon
+ 10085502217043517326#Word64
+ 15241743887701645856#Word64
+ M.$trModule
+ (GHC.Types.TrNameS "'MkBar"#)
+ 0#
+ $krep_axs
+
+which needs a locally defined kind representation:
+
+ $krep_axs = GHC.Types.KindRepTyConApp M.$tcBar []
+
+For the data type with the more complex kind, the generated TyCon binding for
+Foo and the promoted 'MkFoo look like:
+
+ M.$tcFoo =
+ GHC.Types.TyCon
+ 13551215831514624777#Word64
+ 7693314462125512072#Word64
+ M.$trModule
+ (GHC.Types.TrNameS "Foo"#)
+ 0#
+ $krep_axr
+
+ $krep_axr = GHC.Types.KindRepFun $krep_axs GHC.Types.krep$*
+
+ M.$tc'MkFoo =
+ GHC.Types.TyCon
+ 16689947533794933931#Word64
+ 14421717338642533175#Word64
+ M.$trModule
+ (GHC.Types.TrNameS "'MkFoo"#)
+ 1#
+ $krep_axt
+
+ $krep_axt = GHC.Types.KindRepTyConApp M.$tcFoo [$krep_axu]
+ $krep_axu = GHC.Types.$WKindRepVar (GHC.Types.I# 0#)
+
+After the simplifier runs and floats everything out, we get a lot of bindings:
+
+M.$tcBar = ...
+M.$tcBar1 = ...
+M.$tcBar2 = ...
+M.$tcBar3 = ...
+
+M.$tc'MkBar = ...
+M.$tc'MkBar1 = ...
+M.$tc'MkBar2 = ...
+M.$tc'MkBar3 = ...
+
+M.$tcFoo = ...
+M.$tcFoo1 = ...
+M.$tcFoo2 = ...
+M.$tcFoo3 = ...
+
+M.$tc'MkFoo = ...
+M.$tc'MkFoo1 = ...
+M.$tc'MkFoo2 = ...
+M.$tc'MkFoo3 = ...
+
+M.$krep_rxB = ...
+M.$krep1_rxC = ...
+
+The simplifier has floated everything out. This is good because it means we end
+up with fully static data and no code (which is compact and can be kept in the
+read-only section of object files). On the other hand, there are now a *lot* of
+top level names. Each one is fairly small, so the get chosen to have their
+unfoldings exposed. This means all the top level names must be exported from
+the module because they all get mentioned (transitively) in the unfoldings.
+
+Our original module with two data types and no functions ends up with 23
+exported names, and corresponding unfoldings! The benefit of exposing all these
+unfoldings is minimal: there is generally little benefit to inlining TyCons,
+KindReps, TrNames etc. The Typeable representations get used for comparisons,
+but this does not benefit greatly from inlining.
+
+On the other hand, the cost to the compiler is substantial. This is a lot of
+information to manage and put into the interface files. And if the unfoldings
+are used at call sites, this costs further compile time, for little runtime
+benefit.
+
+Furthermore, there is the number of linker symbols to consider. For example, in
+the ghc-internal package, exposing all the unfoldings results in over 10% more
+dynamic linker symbols being exported from the DSO (.so file). This has a time
+cost at static link time and dynamic link time (program startup), and a space
+cost. On Windows in particular, there is a hard limit of 64k on the number of
+symbols that can be exported from a DLL.
+
+The solution is simple: annotate all the generated Typeable bindings with
+(the equivalent of) a NOINLINE pragma. The simplifier still floats everything
+out to the top level so that we end up with fully static data, but only the
+original generated names get exported (without their unfoldings). For the
+example module M above, that is just the 5 original names, rather than 23. So
+only 5 entries in the interface files, and only 5 linker symbols. In the GHC
+compiler performance test suite this is enough in some tests to shave 10-20%
+off of bytes allocated and peak memory use, and enough to improve the geometric
+mean by several percent.
+
+We use neverInlinePragma, which is technically a {-# INLINE [~] #-} pragma.
+We use it in:
+ * mkModIdBindings for the module name binding;
+ * todoForTyCons for the TyCon bindings;
+ * getKindRep for kind representation bindings.
-}
-- | Generate the Typeable bindings for a module. This is the only
@@ -191,6 +344,8 @@ mkModIdBindings
; mod_nm <- newGlobalBinder mod (mkVarOccFS (fsLit "$trModule")) loc
; trModuleTyCon <- tcLookupTyCon trModuleTyConName
; let mod_id = mkExportedVanillaId mod_nm (mkTyConApp trModuleTyCon [])
+ `setInlinePragma` neverInlinePragma
+ -- See Note [NOINLINE on generated Typeable bindings]
; mod_bind <- mkVarBind mod_id <$> mkModIdRHS mod
; tcg_env <- tcExtendGlobalValEnv [mod_id] getGblEnv
@@ -241,6 +396,8 @@ todoForTyCons mod mod_id tycons = do
trTyConTy <- mkTyConTy <$> tcLookupTyCon trTyConTyConName
let mk_rep_id :: TyConRepName -> Id
mk_rep_id rep_name = mkExportedVanillaId rep_name trTyConTy
+ `setInlinePragma` neverInlinePragma
+ -- See Note [NOINLINE on generated Typeable bindings]
let typeable_tycons :: [TypeableTyCon]
typeable_tycons =
@@ -552,8 +709,7 @@ getKindRep stuff@(Stuff {..}) in_scope = go
-- We need to construct a new KindRep binding
| otherwise
- = do -- Place a NOINLINE pragma on KindReps since they tend to be quite
- -- large and bloat interface files.
+ = do -- See Note [NOINLINE on generated Typeable bindings]
rep_bndr <- (`setInlinePragma` neverInlinePragma)
<$> newSysLocalId (fsLit "$krep") ManyTy (mkTyConTy kindRepTyCon)
=====================================
testsuite/tests/deSugar/should_compile/T16615.stderr
=====================================
@@ -4,7 +4,7 @@ Result size of Desugar (after optimization)
= {terms: 36, types: 13, coercions: 0, joins: 0/0}
-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0}
-T16615.$trModule :: GHC.Internal.Types.Module
+T16615.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True,
Value=True, ConLike=True, WorkFree=True, Expandable=True,
=====================================
testsuite/tests/deSugar/should_compile/T2431.stderr
=====================================
@@ -29,7 +29,7 @@ $trModule4 :: GHC.Internal.Types.TrName
$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T2431.$trModule :: GHC.Internal.Types.Module
+T2431.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[GblId, Unf=OtherCon []]
T2431.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
@@ -49,7 +49,7 @@ $tc:~:2 :: GHC.Internal.Types.TrName
$tc:~:2 = GHC.Internal.Types.TrNameS $tc:~:1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T2431.$tc:~: :: GHC.Internal.Types.TyCon
+T2431.$tc:~: [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
T2431.$tc:~:
= GHC.Internal.Types.TyCon
@@ -91,7 +91,7 @@ $tc'Refl2 :: GHC.Internal.Types.TrName
$tc'Refl2 = GHC.Internal.Types.TrNameS $tc'Refl1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T2431.$tc'Refl :: GHC.Internal.Types.TyCon
+T2431.$tc'Refl [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
T2431.$tc'Refl
= GHC.Internal.Types.TyCon
=====================================
testsuite/tests/dmdanal/should_compile/T16029.stdout
=====================================
@@ -1,27 +1,27 @@
-T16029.$trModule4 :: GHC.Internal.Prim.Addr#
-T16029.$trModule3 :: GHC.Internal.Types.TrName
-T16029.$trModule2 :: GHC.Internal.Prim.Addr#
-T16029.$trModule1 :: GHC.Internal.Types.TrName
-T16029.$trModule :: GHC.Internal.Types.Module
+$trModule1 :: GHC.Internal.Prim.Addr#
+$trModule2 :: GHC.Internal.Types.TrName
+$trModule3 :: GHC.Internal.Prim.Addr#
+$trModule4 :: GHC.Internal.Types.TrName
+T16029.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
$krep :: GHC.Internal.Types.KindRep
-T16029.$tcS2 :: GHC.Internal.Prim.Addr#
-T16029.$tcS1 :: GHC.Internal.Types.TrName
-T16029.$tcS :: GHC.Internal.Types.TyCon
+$tcS1 :: GHC.Internal.Prim.Addr#
+$tcS2 :: GHC.Internal.Types.TrName
+T16029.$tcS [InlPrag=[~]] :: GHC.Internal.Types.TyCon
$krep1 :: GHC.Internal.Types.KindRep
$krep2 :: GHC.Internal.Types.KindRep
-T16029.$tc'MkS1 [InlPrag=[~]] :: GHC.Internal.Types.KindRep
-T16029.$tc'MkS3 :: GHC.Internal.Prim.Addr#
-T16029.$tc'MkS2 :: GHC.Internal.Types.TrName
-T16029.$tc'MkS :: GHC.Internal.Types.TyCon
-T16029.$tcT2 :: GHC.Internal.Prim.Addr#
-T16029.$tcT1 :: GHC.Internal.Types.TrName
-T16029.$tcT :: GHC.Internal.Types.TyCon
$krep3 :: GHC.Internal.Types.KindRep
+$tc'MkS1 :: GHC.Internal.Prim.Addr#
+$tc'MkS2 :: GHC.Internal.Types.TrName
+T16029.$tc'MkS [InlPrag=[~]] :: GHC.Internal.Types.TyCon
+$tcT1 :: GHC.Internal.Prim.Addr#
+$tcT2 :: GHC.Internal.Types.TrName
+T16029.$tcT [InlPrag=[~]] :: GHC.Internal.Types.TyCon
$krep4 :: GHC.Internal.Types.KindRep
-T16029.$tc'MkT1 [InlPrag=[~]] :: GHC.Internal.Types.KindRep
-T16029.$tc'MkT3 :: GHC.Internal.Prim.Addr#
-T16029.$tc'MkT2 :: GHC.Internal.Types.TrName
-T16029.$tc'MkT :: GHC.Internal.Types.TyCon
+$krep5 :: GHC.Internal.Types.KindRep
+$krep6 :: GHC.Internal.Types.KindRep
+$tc'MkT1 :: GHC.Internal.Prim.Addr#
+$tc'MkT2 :: GHC.Internal.Types.TrName
+T16029.$tc'MkT [InlPrag=[~]] :: GHC.Internal.Types.TyCon
:: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
= \ (ww :: GHC.Internal.Prim.Int#) ->
g2 [InlPrag=[2]] :: T -> Int -> Int
=====================================
testsuite/tests/numeric/should_compile/T14170.stdout
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 17, types: 6, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-NatVal.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-NatVal.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-NatVal.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-NatVal.$trModule3 = GHC.Internal.Types.TrNameS NatVal.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-NatVal.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-NatVal.$trModule2 = "NatVal"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "NatVal"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-NatVal.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-NatVal.$trModule1 = GHC.Internal.Types.TrNameS NatVal.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-NatVal.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-NatVal.$trModule
- = GHC.Internal.Types.Module NatVal.$trModule3 NatVal.$trModule1
+NatVal.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+NatVal.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
foo :: Integer
=====================================
testsuite/tests/numeric/should_compile/T14465.stdout
=====================================
@@ -12,44 +12,29 @@ ten :: Natural
ten = GHC.Internal.Bignum.Natural.NS 10##
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-M.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-M.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-M.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-M.$trModule3 = GHC.Internal.Types.TrNameS M.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-M.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-M.$trModule2 = "M"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "M"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-M.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-M.$trModule1 = GHC.Internal.Types.TrNameS M.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-M.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-M.$trModule = GHC.Internal.Types.Module M.$trModule3 M.$trModule1
+M.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+M.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 1, types: 1, coercions: 0, joins: 0/0}
minusOne :: Natural
=====================================
testsuite/tests/numeric/should_compile/T7116.stdout
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 36, types: 19, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7116.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T7116.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7116.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7116.$trModule3 = GHC.Internal.Types.TrNameS T7116.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7116.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T7116.$trModule2 = "T7116"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T7116"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7116.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7116.$trModule1 = GHC.Internal.Types.TrNameS T7116.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T7116.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7116.$trModule
- = GHC.Internal.Types.Module T7116.$trModule3 T7116.$trModule1
+T7116.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+T7116.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 8, types: 3, coercions: 0, joins: 0/0}
dr :: Double -> Double
=====================================
testsuite/tests/roles/should_compile/Roles1.stderr
=====================================
@@ -20,65 +20,65 @@ DATA CONSTRUCTORS
K2 :: forall a. a -> T2 a
K1 :: forall a. a -> T1 a
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Roles1.$tcT7
+Roles1.$tcT7 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
178606230775360129#Word64 14564382578551945561#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T7"#) 1# $krep
-Roles1.$tc'K7
+Roles1.$tc'K7 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
15901479081375327280#Word64 4842873210599704617#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K7"#) 3# $krep
-Roles1.$tcT6
+Roles1.$tcT6 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
7244893995195634045#Word64 6882827069359931041#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T6"#) 1# $krep
-Roles1.$tc'K6
+Roles1.$tc'K6 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
13928703131159360198#Word64 9274401506945696896#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K6"#) 2# $krep
-Roles1.$tcT5
+Roles1.$tcT5 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12033401645911719002#Word64 6369139038321702301#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T5"#) 0#
GHC.Internal.Types.krep$*Arr*
-Roles1.$tc'K5
+Roles1.$tc'K5 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
5548842497263642061#Word64 18349261927117571882#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K5"#) 1# $krep
-Roles1.$tcT4
+Roles1.$tcT4 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
15834077582937152787#Word64 17059037094835388922#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T4"#) 0# $krep
-Roles1.$tc'K4
+Roles1.$tc'K4 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
10188453925450404995#Word64 4762093850599364042#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K4"#) 2# $krep
-Roles1.$tcT3
+Roles1.$tcT3 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
13341737262627465733#Word64 14527452670364737316#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T3"#) 1# $krep
-Roles1.$tc'K3
+Roles1.$tc'K3 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
14534968069054730342#Word64 6860808298964464185#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K3"#) 2# $krep
-Roles1.$tcT2
+Roles1.$tcT2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12900773996789723956#Word64 9313087549503346504#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T2"#) 0#
GHC.Internal.Types.krep$*Arr*
-Roles1.$tc'K2
+Roles1.$tc'K2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
11054915488163123841#Word64 10799789256744079155#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K2"#) 1# $krep
-Roles1.$tcT1
+Roles1.$tcT1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
13228660854624297872#Word64 14494320157476678712#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "T1"#) 0#
GHC.Internal.Types.krep$*Arr*
-Roles1.$tc'K1
+Roles1.$tc'K1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
1265606750138351672#Word64 7033043930969109074#Word64
Roles1.$trModule (GHC.Internal.Types.TrNameS "'K1"#) 1# $krep
@@ -118,7 +118,7 @@ $krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepTyConApp Roles1.$tcT2 ((:) $krep [])
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepTyConApp Roles1.$tcT1 ((:) $krep [])
-Roles1.$trModule
+Roles1.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Roles1"#)
=====================================
testsuite/tests/roles/should_compile/Roles13.stderr
=====================================
@@ -37,7 +37,7 @@ $trModule4 :: GHC.Internal.Types.TrName
$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-Roles13.$trModule :: GHC.Internal.Types.Module
+Roles13.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[GblId, Unf=OtherCon []]
Roles13.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
@@ -65,7 +65,7 @@ $tcAge2 :: GHC.Internal.Types.TrName
$tcAge2 = GHC.Internal.Types.TrNameS $tcAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-Roles13.$tcAge :: GHC.Internal.Types.TyCon
+Roles13.$tcAge [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
Roles13.$tcAge
= GHC.Internal.Types.TyCon
@@ -99,7 +99,7 @@ $tc'MkAge2 :: GHC.Internal.Types.TrName
$tc'MkAge2 = GHC.Internal.Types.TrNameS $tc'MkAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-Roles13.$tc'MkAge :: GHC.Internal.Types.TyCon
+Roles13.$tc'MkAge [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
Roles13.$tc'MkAge
= GHC.Internal.Types.TyCon
@@ -121,7 +121,7 @@ $tcWrap2 :: GHC.Internal.Types.TrName
$tcWrap2 = GHC.Internal.Types.TrNameS $tcWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-Roles13.$tcWrap :: GHC.Internal.Types.TyCon
+Roles13.$tcWrap [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
Roles13.$tcWrap
= GHC.Internal.Types.TyCon
@@ -162,7 +162,7 @@ $tc'MkWrap2 :: GHC.Internal.Types.TrName
$tc'MkWrap2 = GHC.Internal.Types.TrNameS $tc'MkWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-Roles13.$tc'MkWrap :: GHC.Internal.Types.TyCon
+Roles13.$tc'MkWrap [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
Roles13.$tc'MkWrap
= GHC.Internal.Types.TyCon
=====================================
testsuite/tests/roles/should_compile/Roles14.stderr
=====================================
@@ -4,14 +4,14 @@ TYPE CONSTRUCTORS
class C2{1} :: * -> Constraint
roles representational
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Roles12.$tcC2
+Roles12.$tcC2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
7996680154108933333#Word64 9454227235464419996#Word64
Roles12.$trModule (GHC.Internal.Types.TrNameS "C2"#) 0# $krep
-Roles12.$tc'C:C2
+Roles12.$tc'C:C2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
7087988437584478859#Word64 11477953550142401435#Word64
Roles12.$trModule (GHC.Internal.Types.TrNameS "'C:C2"#) 1# $krep
@@ -23,7 +23,7 @@ $krep [InlPrag=[~]] = GHC.Internal.Types.KindRepFun $krep $krep
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepFun
GHC.Internal.Types.krep$* GHC.Internal.Types.krep$Constraint
-Roles12.$trModule
+Roles12.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Roles12"#)
=====================================
testsuite/tests/roles/should_compile/Roles2.stderr
=====================================
@@ -6,24 +6,24 @@ DATA CONSTRUCTORS
K2 :: forall a. FunPtr a -> T2 a
K1 :: forall a. IO a -> T1 a
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Roles2.$tcT2
+Roles2.$tcT2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
9065817229114433861#Word64 13399581642971864140#Word64
Roles2.$trModule (GHC.Internal.Types.TrNameS "T2"#) 0#
GHC.Internal.Types.krep$*Arr*
-Roles2.$tc'K2
+Roles2.$tc'K2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
17395957229042313563#Word64 12263882107019815181#Word64
Roles2.$trModule (GHC.Internal.Types.TrNameS "'K2"#) 1# $krep
-Roles2.$tcT1
+Roles2.$tcT1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
10310640733256438505#Word64 9162099558816022096#Word64
Roles2.$trModule (GHC.Internal.Types.TrNameS "T1"#) 0#
GHC.Internal.Types.krep$*Arr*
-Roles2.$tc'K1
+Roles2.$tc'K1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
16530009231990968394#Word64 11761390951471299534#Word64
Roles2.$trModule (GHC.Internal.Types.TrNameS "'K1"#) 1# $krep
@@ -40,7 +40,7 @@ $krep [InlPrag=[~]]
GHC.Internal.Types.$tcIO ((:) $krep [])
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepTyConApp Roles2.$tcT1 ((:) $krep [])
-Roles2.$trModule
+Roles2.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Roles2"#)
=====================================
testsuite/tests/roles/should_compile/Roles3.stderr
=====================================
@@ -16,30 +16,30 @@ TYPE CONSTRUCTORS
roles nominal
type synonym Syn2{1} :: * -> *
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Roles3.$tcC4
+Roles3.$tcC4 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
6800596812149592130#Word64 15513203864133461281#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "C4"#) 0# $krep
-Roles3.$tcC3
+Roles3.$tcC3 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
5076086601454991970#Word64 10299714674904836194#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "C3"#) 0# $krep
-Roles3.$tcC2
+Roles3.$tcC2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
7902873224172523979#Word64 11840994447152209031#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "C2"#) 0# $krep
-Roles3.$tc'C:C2
+Roles3.$tc'C:C2 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
11218882737915989529#Word64 9454910899374397367#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "'C:C2"#) 2# $krep
-Roles3.$tcC1
+Roles3.$tcC1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
11013585501375994163#Word64 16371608655219610659#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "C1"#) 0# $krep
-Roles3.$tc'C:C1
+Roles3.$tc'C:C1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
4508088879886988796#Word64 13962145553903222779#Word64
Roles3.$trModule (GHC.Internal.Types.TrNameS "'C:C1"#) 1# $krep
@@ -64,7 +64,7 @@ $krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepFun
GHC.Internal.Types.krep$* GHC.Internal.Types.krep$Constraint
$krep [InlPrag=[~]] = GHC.Internal.Types.KindRepFun $krep $krep
-Roles3.$trModule
+Roles3.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Roles3"#)
=====================================
testsuite/tests/roles/should_compile/Roles4.stderr
=====================================
@@ -6,22 +6,22 @@ TYPE CONSTRUCTORS
class C3{1} :: * -> Constraint
type synonym Syn1{1} :: * -> *
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Roles4.$tcC3
+Roles4.$tcC3 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
7508642517340826358#Word64 16938219270597865136#Word64
Roles4.$trModule (GHC.Internal.Types.TrNameS "C3"#) 0# $krep
-Roles4.$tc'C:C3
+Roles4.$tc'C:C3 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
3133378316178104365#Word64 15809386433947157376#Word64
Roles4.$trModule (GHC.Internal.Types.TrNameS "'C:C3"#) 1# $krep
-Roles4.$tcC1
+Roles4.$tcC1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
13392243382482428602#Word64 1780037961948725012#Word64
Roles4.$trModule (GHC.Internal.Types.TrNameS "C1"#) 0# $krep
-Roles4.$tc'C:C1
+Roles4.$tc'C:C1 [InlPrag=[~]]
= GHC.Internal.Types.TyCon
3870707671502302648#Word64 10631907186261837450#Word64
Roles4.$trModule (GHC.Internal.Types.TrNameS "'C:C1"#) 1# $krep
@@ -40,7 +40,7 @@ $krep [InlPrag=[~]]
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepTyConApp
GHC.Internal.Types.$tcList ((:) $krep [])
-Roles4.$trModule
+Roles4.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Roles4"#)
=====================================
testsuite/tests/roles/should_compile/T8958.stderr
=====================================
@@ -18,33 +18,33 @@ CLASS INSTANCES
instance [incoherent] Representational a
-- Defined at T8958.hs:11:10
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-T8958.$tcMap
+T8958.$tcMap [InlPrag=[~]]
= GHC.Internal.Types.TyCon
16542473435673943392#Word64 5374201132143305512#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "Map"#) 0#
GHC.Internal.Types.krep$*->*->*
-T8958.$tc'MkMap
+T8958.$tc'MkMap [InlPrag=[~]]
= GHC.Internal.Types.TyCon
2942839876828444488#Word64 3989137838066763457#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "'MkMap"#) 2# $krep
-T8958.$tcRepresentational
+T8958.$tcRepresentational [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12809567151893673426#Word64 12159693688248149156#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "Representational"#) 0#
$krep
-T8958.$tc'C:Representational
+T8958.$tc'C:Representational [InlPrag=[~]]
= GHC.Internal.Types.TyCon
2358772282532242424#Word64 5444038897914446879#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "'C:Representational"#)
1# $krep
-T8958.$tcNominal
+T8958.$tcNominal [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12224997609886144634#Word64 9866011944332051160#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "Nominal"#) 0# $krep
-T8958.$tc'C:Nominal
+T8958.$tc'C:Nominal [InlPrag=[~]]
= GHC.Internal.Types.TyCon
10562260635335201742#Word64 1215478186250709459#Word64
T8958.$trModule (GHC.Internal.Types.TrNameS "'C:Nominal"#) 1# $krep
@@ -83,7 +83,7 @@ $krep [InlPrag=[~]]
T8958.$tcNominal
((:) @GHC.Internal.Types.KindRep
$krep [] @GHC.Internal.Types.KindRep)
-T8958.$trModule
+T8958.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "T8958"#)
=====================================
testsuite/tests/simplCore/should_compile/OpaqueNoCastWW.stderr
=====================================
@@ -62,7 +62,7 @@ $trModule4 :: GHC.Internal.Types.TrName
$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-OpaqueNoCastWW.$trModule :: GHC.Internal.Types.Module
+OpaqueNoCastWW.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[GblId, Unf=OtherCon []]
OpaqueNoCastWW.$trModule
= GHC.Internal.Types.Module $trModule2 $trModule4
@@ -105,7 +105,7 @@ $tcSigned2 :: GHC.Internal.Types.TrName
$tcSigned2 = GHC.Internal.Types.TrNameS $tcSigned1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-OpaqueNoCastWW.$tcSigned :: GHC.Internal.Types.TyCon
+OpaqueNoCastWW.$tcSigned [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
OpaqueNoCastWW.$tcSigned
= GHC.Internal.Types.TyCon
@@ -148,7 +148,7 @@ $tc'S2 :: GHC.Internal.Types.TrName
$tc'S2 = GHC.Internal.Types.TrNameS $tc'S1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-OpaqueNoCastWW.$tc'S :: GHC.Internal.Types.TyCon
+OpaqueNoCastWW.$tc'S [InlPrag=[~]] :: GHC.Internal.Types.TyCon
[GblId, Unf=OtherCon []]
OpaqueNoCastWW.$tc'S
= GHC.Internal.Types.TyCon
=====================================
testsuite/tests/simplCore/should_compile/T3717.stderr
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 36, types: 15, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T3717.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T3717.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T3717.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3717.$trModule3 = GHC.Internal.Types.TrNameS T3717.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T3717.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T3717.$trModule2 = "T3717"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T3717"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T3717.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3717.$trModule1 = GHC.Internal.Types.TrNameS T3717.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T3717.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3717.$trModule
- = GHC.Internal.Types.Module T3717.$trModule3 T3717.$trModule1
+T3717.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+T3717.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
Rec {
-- RHS size: {terms: 10, types: 2, coercions: 0, joins: 0/0}
=====================================
testsuite/tests/simplCore/should_compile/T3772.stdout
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 46, types: 19, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T3772.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T3772.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T3772.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3772.$trModule3 = GHC.Internal.Types.TrNameS T3772.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T3772.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T3772.$trModule2 = "T3772"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T3772"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T3772.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3772.$trModule1 = GHC.Internal.Types.TrNameS T3772.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T3772.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T3772.$trModule
- = GHC.Internal.Types.Module T3772.$trModule3 T3772.$trModule1
+T3772.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+T3772.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
Rec {
-- RHS size: {terms: 10, types: 2, coercions: 0, joins: 0/0}
=====================================
testsuite/tests/simplCore/should_compile/T4908.stderr
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 65, types: 35, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T4908.$trModule4 :: Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T4908.$trModule4 = "main"#
+$trModule1 :: Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T4908.$trModule3 :: TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4908.$trModule3 = GHC.Internal.Types.TrNameS T4908.$trModule4
+$trModule2 :: TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T4908.$trModule2 :: Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T4908.$trModule2 = "T4908"#
+$trModule3 :: Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T4908"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T4908.$trModule1 :: TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4908.$trModule1 = GHC.Internal.Types.TrNameS T4908.$trModule2
+$trModule4 :: TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T4908.$trModule :: Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4908.$trModule
- = GHC.Internal.Types.Module T4908.$trModule3 T4908.$trModule1
+T4908.$trModule [InlPrag=[~]] :: Module
+[GblId, Unf=OtherCon []]
+T4908.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
Rec {
-- RHS size: {terms: 19, types: 5, coercions: 0, joins: 0/0}
=====================================
testsuite/tests/simplCore/should_compile/T4930.stderr
=====================================
@@ -4,45 +4,29 @@ Result size of Tidy Core
= {terms: 43, types: 16, coercions: 0, joins: 0/0}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T4930.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T4930.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T4930.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4930.$trModule3 = GHC.Internal.Types.TrNameS T4930.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T4930.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T4930.$trModule2 = "T4930"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T4930"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T4930.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4930.$trModule1 = GHC.Internal.Types.TrNameS T4930.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T4930.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T4930.$trModule
- = GHC.Internal.Types.Module T4930.$trModule3 T4930.$trModule1
+T4930.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+T4930.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
Rec {
-- RHS size: {terms: 17, types: 3, coercions: 0, joins: 0/0}
=====================================
testsuite/tests/simplCore/should_compile/T7360.stderr
=====================================
@@ -63,45 +63,29 @@ fun2
})
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$trModule4 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T7360.$trModule4 = "main"#
+$trModule1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$trModule3 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$trModule3 = GHC.Internal.Types.TrNameS T7360.$trModule4
+$trModule2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$trModule2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T7360.$trModule2 = "T7360"#
+$trModule3 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$trModule3 = "T7360"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$trModule1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$trModule1 = GHC.Internal.Types.TrNameS T7360.$trModule2
+$trModule4 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T7360.$trModule :: GHC.Internal.Types.Module
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$trModule
- = GHC.Internal.Types.Module T7360.$trModule3 T7360.$trModule1
+T7360.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
+[GblId, Unf=OtherCon []]
+T7360.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep :: GHC.Internal.Types.KindRep
@@ -112,140 +96,104 @@ $krep
(GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$tcFoo2 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 20 0}]
-T7360.$tcFoo2 = "Foo"#
+$tcFoo1 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$tcFoo1 = "Foo"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$tcFoo1 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$tcFoo1 = GHC.Internal.Types.TrNameS T7360.$tcFoo2
+$tcFoo2 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$tcFoo2 = GHC.Internal.Types.TrNameS $tcFoo1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T7360.$tcFoo :: GHC.Internal.Types.TyCon
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
+T7360.$tcFoo [InlPrag=[~]] :: GHC.Internal.Types.TyCon
+[GblId, Unf=OtherCon []]
T7360.$tcFoo
= GHC.Internal.Types.TyCon
1581370841583180512#Word64
13291578023368289311#Word64
T7360.$trModule
- T7360.$tcFoo1
+ $tcFoo2
0#
GHC.Internal.Types.krep$*
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
-T7360.$tc'Foo4 [InlPrag=[~]] :: GHC.Internal.Types.KindRep
+$krep1 :: GHC.Internal.Types.KindRep
[GblId, Unf=OtherCon []]
-T7360.$tc'Foo4
+$krep1
= GHC.Internal.Types.KindRepTyConApp
T7360.$tcFoo (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo6 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T7360.$tc'Foo6 = "'Foo1"#
+$tc'Foo4 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$tc'Foo4 = "'Foo1"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo5 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$tc'Foo5 = GHC.Internal.Types.TrNameS T7360.$tc'Foo6
+$tc'Foo5 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$tc'Foo5 = GHC.Internal.Types.TrNameS $tc'Foo4
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo1 :: GHC.Internal.Types.TyCon
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
+T7360.$tc'Foo1 [InlPrag=[~]] :: GHC.Internal.Types.TyCon
+[GblId, Unf=OtherCon []]
T7360.$tc'Foo1
= GHC.Internal.Types.TyCon
3986951253261644518#Word64
2515097940992351150#Word64
T7360.$trModule
- T7360.$tc'Foo5
+ $tc'Foo5
0#
- T7360.$tc'Foo4
+ $krep1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo8 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T7360.$tc'Foo8 = "'Foo2"#
+$tc'Foo6 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$tc'Foo6 = "'Foo2"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo7 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$tc'Foo7 = GHC.Internal.Types.TrNameS T7360.$tc'Foo8
+$tc'Foo7 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$tc'Foo7 = GHC.Internal.Types.TrNameS $tc'Foo6
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo2 :: GHC.Internal.Types.TyCon
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
+T7360.$tc'Foo2 [InlPrag=[~]] :: GHC.Internal.Types.TyCon
+[GblId, Unf=OtherCon []]
T7360.$tc'Foo2
= GHC.Internal.Types.TyCon
17325079864060690428#Word64
2969742457748208427#Word64
T7360.$trModule
- T7360.$tc'Foo7
+ $tc'Foo7
0#
- T7360.$tc'Foo4
+ $krep1
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo9 [InlPrag=[~]] :: GHC.Internal.Types.KindRep
+$krep2 :: GHC.Internal.Types.KindRep
[GblId, Unf=OtherCon []]
-T7360.$tc'Foo9 = GHC.Internal.Types.KindRepFun $krep T7360.$tc'Foo4
+$krep2 = GHC.Internal.Types.KindRepFun $krep $krep1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo11 :: GHC.Internal.Prim.Addr#
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 30 0}]
-T7360.$tc'Foo11 = "'Foo3"#
+$tc'Foo8 :: GHC.Internal.Prim.Addr#
+[GblId, Unf=OtherCon []]
+$tc'Foo8 = "'Foo3"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo10 :: GHC.Internal.Types.TrName
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
-T7360.$tc'Foo10 = GHC.Internal.Types.TrNameS T7360.$tc'Foo11
+$tc'Foo9 :: GHC.Internal.Types.TrName
+[GblId, Unf=OtherCon []]
+$tc'Foo9 = GHC.Internal.Types.TrNameS $tc'Foo8
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
-T7360.$tc'Foo3 :: GHC.Internal.Types.TyCon
-[GblId,
- Unf=Unf{Src=<vanilla>, TopLvl=True,
- Value=True, ConLike=True, WorkFree=True, Expandable=True,
- Guidance=IF_ARGS [] 10 10}]
+T7360.$tc'Foo3 [InlPrag=[~]] :: GHC.Internal.Types.TyCon
+[GblId, Unf=OtherCon []]
T7360.$tc'Foo3
= GHC.Internal.Types.TyCon
3674231676522181654#Word64
2694749919371021431#Word64
T7360.$trModule
- T7360.$tc'Foo10
+ $tc'Foo9
0#
- T7360.$tc'Foo9
+ $krep2
=====================================
testsuite/tests/simplCore/should_compile/T8274.stdout
=====================================
@@ -1,23 +1,23 @@
p = T8274.Positives 42# 4.23# 4.23## '4'# 4##
n = T8274.Negatives -4# -4.0# -4.0##
-T8274.$trModule4 :: Addr#
-T8274.$trModule4 = "main"#
-T8274.$trModule2 :: Addr#
-T8274.$trModule2 = "T8274"#
+$trModule1 :: Addr#
+$trModule1 = "main"#
+$trModule3 :: Addr#
+$trModule3 = "T8274"#
$krep = GHC.Internal.Types.KindRepTyConApp GHC.Internal.Types.$tcWord# (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
$krep1 = GHC.Internal.Types.KindRepTyConApp GHC.Internal.Types.$tcChar# (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
$krep2 = GHC.Internal.Types.KindRepTyConApp GHC.Internal.Types.$tcDouble# (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
$krep3 = GHC.Internal.Types.KindRepTyConApp GHC.Internal.Types.$tcFloat# (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
$krep4 = GHC.Internal.Types.KindRepTyConApp GHC.Internal.Types.$tcInt# (GHC.Internal.Types.[] @GHC.Internal.Types.KindRep)
-T8274.$tcP2 :: Addr#
-T8274.$tcP2 = "P"#
-T8274.$tcP = GHC.Internal.Types.TyCon 7483823267324216774#Word64 12197132127820124256#Word64 T8274.$trModule T8274.$tcP1 0# GHC.Internal.Types.krep$*
-T8274.$tc'Positives3 :: Addr#
-T8274.$tc'Positives3 = "'Positives"#
-T8274.$tc'Positives = GHC.Internal.Types.TyCon 14886798270706315033#Word64 15735393004803600911#Word64 T8274.$trModule T8274.$tc'Positives2 0# T8274.$tc'Positives1
-T8274.$tcN2 :: Addr#
-T8274.$tcN2 = "N"#
-T8274.$tcN = GHC.Internal.Types.TyCon 17387464673997143412#Word64 16681536026493340311#Word64 T8274.$trModule T8274.$tcN1 0# GHC.Internal.Types.krep$*
-T8274.$tc'Negatives3 :: Addr#
-T8274.$tc'Negatives3 = "'Negatives"#
-T8274.$tc'Negatives = GHC.Internal.Types.TyCon 14330047746189143983#Word64 12207513731214201811#Word64 T8274.$trModule T8274.$tc'Negatives2 0# T8274.$tc'Negatives1
+$tcP1 :: Addr#
+$tcP1 = "P"#
+T8274.$tcP = GHC.Internal.Types.TyCon 7483823267324216774#Word64 12197132127820124256#Word64 T8274.$trModule $tcP2 0# GHC.Internal.Types.krep$*
+$tc'Positives1 :: Addr#
+$tc'Positives1 = "'Positives"#
+T8274.$tc'Positives = GHC.Internal.Types.TyCon 14886798270706315033#Word64 15735393004803600911#Word64 T8274.$trModule $tc'Positives2 0# $krep10
+$tcN1 :: Addr#
+$tcN1 = "N"#
+T8274.$tcN = GHC.Internal.Types.TyCon 17387464673997143412#Word64 16681536026493340311#Word64 T8274.$trModule $tcN2 0# GHC.Internal.Types.krep$*
+$tc'Negatives1 :: Addr#
+$tc'Negatives1 = "'Negatives"#
+T8274.$tc'Negatives = GHC.Internal.Types.TyCon 14330047746189143983#Word64 12207513731214201811#Word64 T8274.$trModule $tc'Negatives2 0# $krep14
=====================================
testsuite/tests/simplCore/should_compile/T9400.stderr
=====================================
@@ -32,7 +32,7 @@ $trModule4 :: TrName
$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-T9400.$trModule :: Module
+T9400.$trModule [InlPrag=[~]] :: Module
[GblId, Unf=OtherCon []]
T9400.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
=====================================
testsuite/tests/simplCore/should_compile/noinline01.stderr
=====================================
@@ -9,25 +9,24 @@ Noinline01.g :: GHC.Internal.Types.Bool
[GblId] =
\u [] Noinline01.f GHC.Internal.Types.False;
-Noinline01.$trModule4 :: GHC.Internal.Prim.Addr#
+$trModule1 :: GHC.Internal.Prim.Addr#
[GblId, Unf=OtherCon []] =
"main"#;
-Noinline01.$trModule3 :: GHC.Internal.Types.TrName
+$trModule2 :: GHC.Internal.Types.TrName
[GblId, Unf=OtherCon []] =
- GHC.Internal.Types.TrNameS! [Noinline01.$trModule4];
+ GHC.Internal.Types.TrNameS! [$trModule1];
-Noinline01.$trModule2 :: GHC.Internal.Prim.Addr#
+$trModule3 :: GHC.Internal.Prim.Addr#
[GblId, Unf=OtherCon []] =
"Noinline01"#;
-Noinline01.$trModule1 :: GHC.Internal.Types.TrName
+$trModule4 :: GHC.Internal.Types.TrName
[GblId, Unf=OtherCon []] =
- GHC.Internal.Types.TrNameS! [Noinline01.$trModule2];
+ GHC.Internal.Types.TrNameS! [$trModule3];
-Noinline01.$trModule :: GHC.Internal.Types.Module
+Noinline01.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[GblId, Unf=OtherCon []] =
- GHC.Internal.Types.Module! [Noinline01.$trModule3
- Noinline01.$trModule1];
+ GHC.Internal.Types.Module! [$trModule2 $trModule4];
=====================================
testsuite/tests/simplCore/should_compile/par01.stderr
=====================================
@@ -17,30 +17,29 @@ Par01.depth
end Rec }
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-Par01.$trModule4 :: GHC.Internal.Prim.Addr#
+$trModule1 :: GHC.Internal.Prim.Addr#
[GblId, Unf=OtherCon []]
-Par01.$trModule4 = "main"#
+$trModule1 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-Par01.$trModule3 :: GHC.Internal.Types.TrName
+$trModule2 :: GHC.Internal.Types.TrName
[GblId, Unf=OtherCon []]
-Par01.$trModule3 = GHC.Internal.Types.TrNameS Par01.$trModule4
+$trModule2 = GHC.Internal.Types.TrNameS $trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-Par01.$trModule2 :: GHC.Internal.Prim.Addr#
+$trModule3 :: GHC.Internal.Prim.Addr#
[GblId, Unf=OtherCon []]
-Par01.$trModule2 = "Par01"#
+$trModule3 = "Par01"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-Par01.$trModule1 :: GHC.Internal.Types.TrName
+$trModule4 :: GHC.Internal.Types.TrName
[GblId, Unf=OtherCon []]
-Par01.$trModule1 = GHC.Internal.Types.TrNameS Par01.$trModule2
+$trModule4 = GHC.Internal.Types.TrNameS $trModule3
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-Par01.$trModule :: GHC.Internal.Types.Module
+Par01.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[GblId, Unf=OtherCon []]
-Par01.$trModule
- = GHC.Internal.Types.Module Par01.$trModule3 Par01.$trModule1
+Par01.$trModule = GHC.Internal.Types.Module $trModule2 $trModule4
=====================================
testsuite/tests/th/TH_Roles2.stderr
=====================================
@@ -2,18 +2,18 @@ TYPE CONSTRUCTORS
data type T{2} :: forall k. k -> *
roles nominal representational
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0),
- (normal, template-haskell-2.23.0.0)]
+Dependent packages: [(normal, base-4.22.0.0),
+ (normal, template-haskell-2.24.0.0)]
==================== Typechecker ====================
-TH_Roles2.$tcT
+TH_Roles2.$tcT [InlPrag=[~]]
= GHC.Internal.Types.TyCon
11651627537942629178#Word64 11503899791410937231#Word64
TH_Roles2.$trModule (GHC.Internal.Types.TrNameS "T"#) 1# $krep
$krep [InlPrag=[~]] = GHC.Internal.Types.KindRepVar 0
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepFun $krep GHC.Internal.Types.krep$*
-TH_Roles2.$trModule
+TH_Roles2.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "TH_Roles2"#)
=====================================
testsuite/tests/typecheck/should_compile/T13032.stderr
=====================================
@@ -13,7 +13,7 @@ f = \ (@a) (@b) _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] ->
GHC.Internal.Types.True
-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0}
-T13032.$trModule :: GHC.Internal.Types.Module
+T13032.$trModule [InlPrag=[~]] :: GHC.Internal.Types.Module
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True,
Value=True, ConLike=True, WorkFree=True, Expandable=True,
=====================================
testsuite/tests/typecheck/should_compile/T18406b.stderr
=====================================
@@ -4,14 +4,14 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
class C{2} :: * -> * -> Constraint
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Bug.$tcC
+Bug.$tcC [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12754692886077552850#Word64 18375870125396612007#Word64
Bug.$trModule (GHC.Internal.Types.TrNameS "C"#) 0# $krep
-Bug.$tc'C:C
+Bug.$tc'C:C [InlPrag=[~]]
= GHC.Internal.Types.TyCon
302756782745842909#Word64 14248103394115774781#Word64 Bug.$trModule
(GHC.Internal.Types.TrNameS "'C:C"#) 2# $krep
@@ -31,7 +31,7 @@ $krep [InlPrag=[~]]
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepFun
GHC.Internal.Types.krep$* GHC.Internal.Types.krep$Constraint
-Bug.$trModule
+Bug.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Bug"#)
=====================================
testsuite/tests/typecheck/should_compile/T18529.stderr
=====================================
@@ -4,14 +4,14 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
class C{2} :: * -> * -> Constraint
Dependent modules: []
-Dependent packages: [(normal, base-4.21.0.0)]
+Dependent packages: [(normal, base-4.22.0.0)]
==================== Typechecker ====================
-Bug.$tcC
+Bug.$tcC [InlPrag=[~]]
= GHC.Internal.Types.TyCon
12754692886077552850#Word64 18375870125396612007#Word64
Bug.$trModule (GHC.Internal.Types.TrNameS "C"#) 0# $krep
-Bug.$tc'C:C
+Bug.$tc'C:C [InlPrag=[~]]
= GHC.Internal.Types.TyCon
302756782745842909#Word64 14248103394115774781#Word64 Bug.$trModule
(GHC.Internal.Types.TrNameS "'C:C"#) 2# $krep
@@ -35,7 +35,7 @@ $krep [InlPrag=[~]]
$krep [InlPrag=[~]]
= GHC.Internal.Types.KindRepTyConApp
GHC.Internal.Tuple.$tcUnit [] @GHC.Internal.Types.KindRep
-Bug.$trModule
+Bug.$trModule [InlPrag=[~]]
= GHC.Internal.Types.Module
(GHC.Internal.Types.TrNameS "main"#)
(GHC.Internal.Types.TrNameS "Bug"#)
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0bfd29c3d233da282e96e89e5398cf…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0bfd29c3d233da282e96e89e5398cf…
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc] Deleted branch wip/jeltsch/system-io-uncovering
by Wolfgang Jeltsch (＠jeltsch) 09 Mar '26
by Wolfgang Jeltsch (＠jeltsch) 09 Mar '26
09 Mar '26
Wolfgang Jeltsch deleted branch wip/jeltsch/system-io-uncovering at Glasgow Haskell Compiler / GHC
--
You're receiving this email because of your account on gitlab.haskell.org.
1
0
[Git][ghc/ghc][wip/sjakobi/T2057] 8 commits: compiler: add myCapabilityExpr to GHC.Cmm.Utils
by Simon Jakobi (＠sjakobi2) 09 Mar '26
by Simon Jakobi (＠sjakobi2) 09 Mar '26
09 Mar '26
Simon Jakobi pushed to branch wip/sjakobi/T2057 at Glasgow Haskell Compiler / GHC
Commits:
a46a1bb1 by Cheng Shao at 2026-03-09T04:50:30-04:00
compiler: add myCapabilityExpr to GHC.Cmm.Utils
This commit adds `myCapabilityExpr` to `GHC.Cmm.Utils` which is
computed from `BaseReg`. It's convenient for codegen logic where one
needs to pass the current Capability's pointer.
- - - - -
4afc65b1 by Cheng Shao at 2026-03-09T04:50:30-04:00
compiler: lower tryPutMVar# into a ccall directly
This patch addresses an old TODO of `stg_tryPutMVarzh` by removing it
completely and making the compiler lower `tryPutMVar#` into a ccall to
`performTryPutMVar` directly, without landing into an intermediate C
or Cmm function. `performTryPutMVar` is promoted to a public RTS
function with default visibility, and the compiler lowering logic
takes into account the C ABI of `performTryPutMVar` and converts from
C Bool to primop's `Int#` result properly.
- - - - -
9e3d6a58 by Simon Hengel at 2026-03-09T04:51:15-04:00
Don't use #line in haddocks
This confuses the parser. Haddock output is unaffected by this change.
(read: this still produces the same documentation)
- - - - -
f4e8fec2 by Wolfgang Jeltsch at 2026-03-09T04:52:01-04:00
Remove in-package dependencies on `GHC.Internal.System.IO`
This contribution eliminates all dependencies on
`GHC.Internal.System.IO` from within `ghc-internal`. It comprises the
following changes:
* Make `GHC.Internal.Fingerprint` independent of I/O support
* Tighten the dependencies of `GHC.Internal.Data.Version`
* Tighten the dependencies of `GHC.Internal.TH.Monad`
* Tighten the dependencies of `GHCi.Helpers`
* Move some code that needs `System.IO` to `template-haskell`
* Move the `GHC.ResponseFile` implementation into `base`
* Move the `System.Exit` implementation into `base`
* Move the `System.IO.OS` implementation into `base`
Metric Decrease:
size_hello_artifact
size_hello_artifact_gzip
size_hello_unicode
size_hello_unicode_gzip
- - - - -
91df4c82 by Sylvain Henry at 2026-03-09T04:53:20-04:00
T18832: fix Windows CI failure by dropping removeDirectoryRecursive
On Windows, open file handles prevent deletion. After killThread, the
closer thread may not have called hClose yet, causing removeDirectoryRecursive
to fail with "permission denied". The test harness cleans up the run
directory anyway, so the call is redundant.
- - - - -
d7fe9671 by Cheng Shao at 2026-03-09T04:54:04-04:00
compiler: fix redundant import in GHC.StgToJS.Object
This patch fixes a redundant import in GHC.StgToJS.Object that causes
a build failure when compiling head from 9.14 with validate flavours.
Fixes #26991.
- - - - -
0bfd29c3 by Cheng Shao at 2026-03-09T04:54:46-04:00
wasm: fix `Illegal foreign declaration` failure when ghci loads modules with JSFFI exports
This patch fixes a wasm ghci error when loading modules with JSFFI
exports; the `backendValidityOfCExport` check in `tcCheckFEType`
should only makes sense and should be performed when not checking the
JavaScript calling convention; otherwise, when the calling convention
is JavaScript, the codegen logic should be trusted to backends that
actually make use of it. Fixes #26998.
- - - - -
cbf5bdc3 by Simon Jakobi at 2026-03-09T16:56:15+01:00
Add regression test for #2057
Test that GHC stops after an interface-file error instead of
continuing into the linker.
The test constructs a stale package dependency on purpose. `pkgB` is compiled
against one version of package `A`, then the same unit id is replaced by an
incompatible build of `A`. When `Main` imports `B`, GHC has to read `B.hi`,
finds an unfolding that still mentions the old `A`, and should fail while
loading interfaces.
Closes #2057.
Assisted-by: Codex
- - - - -
41 changed files:
- compiler/GHC/Cmm/Utils.hs
- compiler/GHC/Iface/Ext/Utils.hs
- compiler/GHC/StgToCmm/Prim.hs
- compiler/GHC/StgToJS/Object.hs
- compiler/GHC/Tc/Gen/Foreign.hs
- libraries/base/src/GHC/Fingerprint.hs
- libraries/base/src/GHC/ResponseFile.hs
- libraries/base/src/System/Exit.hs
- libraries/base/src/System/IO/OS.hs
- libraries/base/tests/IO/T18832.hs
- libraries/ghc-heap/GHC/Exts/Heap/Closures.hs
- libraries/ghc-internal/ghc-internal.cabal.in
- libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
- libraries/ghc-internal/src/GHC/Internal/Fingerprint.hs
- libraries/ghc-internal/src/GHC/Internal/GHCi/Helpers.hs
- − libraries/ghc-internal/src/GHC/Internal/ResponseFile.hs
- − libraries/ghc-internal/src/GHC/Internal/System/Exit.hs
- − libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs
- libraries/ghc-internal/src/GHC/Internal/TH/Monad.hs
- libraries/template-haskell/Language/Haskell/TH/Syntax.hs
- rts/PrimOps.cmm
- rts/RtsSymbols.c
- rts/Threads.c
- rts/Threads.h
- rts/include/rts/Threads.h
- rts/include/stg/MiscClosures.h
- + testsuite/tests/driver/T2057/.gitignore
- + testsuite/tests/driver/T2057/Makefile
- + testsuite/tests/driver/T2057/README.md
- + testsuite/tests/driver/T2057/T2057.stderr
- + testsuite/tests/driver/T2057/all.T
- + testsuite/tests/driver/T2057/app/Main.hs
- + testsuite/tests/driver/T2057/pkgA1/A.hs
- + testsuite/tests/driver/T2057/pkgA1/pkg.conf.in
- + testsuite/tests/driver/T2057/pkgA2/A.hs
- + testsuite/tests/driver/T2057/pkgA2/pkg.conf.in
- + testsuite/tests/driver/T2057/pkgB/B.hs
- + testsuite/tests/driver/T2057/pkgB/pkg.conf.in
- testsuite/tests/ffi/should_compile/all.T
- + testsuite/tests/ghci-wasm/T26998.hs
- testsuite/tests/ghci-wasm/all.T
The diff was not included because it is too large.
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d968566af553c83a5d113565c2453e…
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d968566af553c83a5d113565c2453e…
You're receiving this email because of your account on gitlab.haskell.org.
1
0