We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 56a58a9 commit 2127727Copy full SHA for 2127727
1 file changed
src/GHC/TypeLits/Normalise/SOP.hs
@@ -280,7 +280,7 @@ normaliseExp b (S [P [I 1]]) = b
280
281
-- x^(2xy) ==> x^(2xy)
282
normaliseExp b@(S [P [V _]]) (S [e]) = S [P [E b e]]
283
-normaliseExp b@(S [P [C _]]) (S [e]) = S [P [E b e]]
+-- normaliseExp b@(S [P [C _]]) (S [e]) = S [P [E b e]]
284
285
-- 2^(y^2) ==> 4^y
286
normaliseExp b@(S [P [_]]) (S [e@(P [_])]) = S [P [reduceExp (E b e)]]
0 commit comments