git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/basic008/test036.idr
17 lines 291 B history raw
1module Main
3maybechoice : Maybe a -> Maybe a -> Maybe a
4maybechoice (Just x) _ = Just x
5maybechoice Nothing r = r
7unused : a -> a -> a
8unused _ s = s
10doTest : Maybe Nat
11doTest = do
12 a <- Nothing
13 unused a (return 3)
14 `maybechoice` return 2
16main : IO ()
17main = putStrLn . show $ doTest