Diverging program proclaimed safe

[formrre]

Playing around with examples from:
https://mail.haskell.org/pipermail/haskell-cafe/2010-January/072600.html

I came up with this minimal modification of the example, which Liquid Haskell proclaims safe, yet it doesn't terminate.

data Fix a = Fix {unFix :: Fix a -> a}

absurd :: (Show a) => a -> a
absurd _ = unFix (Fix (\x -> unFix x x)) (Fix (\x -> unFix x x))

main = putStrLn $ show (absurd "a")

[ranjitjhala]

Yes, this is a longstanding issue, c.f. #159

@nikivazou perhaps we should button down and fix it :)

[ranjitjhala]

PS: thanks @formrre for bumping it up!