[Haskell-cafe] if-then without -else?

[Rodrigo Stevaux]

>
> which cannot be prohibited statically
> if we want both the language to be Turing complete,
> and type inference to be decidable.
>
>
Could you be so kind as to give a hint on literature that could help me
understand this statement?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180831/caf6b3bf/attachment.html>