Talk:Olvasható

Implicit catch-all abort arm?
It seems as if compiler added an extra aborting arm to non-exhausting  match expressions. You can see such an example in the  function in aknakereso.olv. This is necessary both to make the SML code compile, and to not have the Prolog program silently misbehave in a hard to debug way when the expression fails to match. In theory the compiler could be able to detect that a match is exhaustive, because it knows which type constructors belong to the same type. The code for that would be big though, and I can't see any trace of it in the compiler, so I don't understand how that happens. Maybe the Olvasható source and the outputs on the website don't actually correspond to each other.