blob: 3275eb7dfe5fb4cd4e960672d3879b2e5c93bea7 (
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 TysWiredIn using the same uniques for different
-- things in mk_sum.
p = True
where (# _x | #) = (# | True #)
|
