1-- See #3443
2module Main where
3
4import Prelude
5import Effect (Effect)
6import Effect.Console (log)
7
8-- this is just a really convoluted `const true`
9test :: Int -> Boolean
10test a
11  | false =
12      case false of
13        true | a > 0 -> true
14        _ -> true
15  | otherwise = true
16
17main :: Effect Unit
18main = do
19  if test 0
20    then log "Done"
21    else pure unit
22