Commit 890e2bb7 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari

GHC.Generics: Ensure some, many for U1 don't bottom

Reviewers: austin, hvr, ekmett, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #11650
parent eee040c1
......@@ -745,6 +745,9 @@ instance Applicative U1 where
instance Alternative U1 where
empty = U1
U1 <|> U1 = U1
-- The defaults will otherwise bottom; see #11650.
some U1 = U1
many U1 = U1
instance Monad U1 where
U1 >>= _ = U1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment