Fix implementation of Prelude.Applicative.when
commit50954d36e94b9f8e5d7f30153de997f8fa5ca924
authorbmsherman <bmsherman@users.noreply.github.com>
dateFri 2 May 2014, 07:20 (12 years ago)
parent86cf82d
libs/prelude/Prelude/Applicative.idr+1−1
@@ -44,5 +44,5 @@ guard a = if a then pure () else empty
4444
4545||| Conditionally execute an applicative expression
4646when : Applicative f => Bool -> Lazy (f ()) -> f ()
47−when True f = f
47+when True f = Force f
4848when False f = pure ()