blob: ba4e4e50e6aabe38880c669d9e7a95c2858c6f79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnboxedSums #-}
module UbxSumLevPoly where
-- this failed thinking that (# Any | True #) :: TYPE (SumRep [LiftedRep, b])
-- But of course that b should be Lifted!
-- It was due to silliness in GHC.Builtin.Types using the same uniques for different
-- things in mk_sum.
p = True
where (# _x | #) = (# | True #)
|
