Re: [Haskell-cafe] Implicit Multi Threading in Switch Case

As I understand it, the original poster wanted the arguments to be evaluated *concurrently* and to catch whichever of them finished first. (OK, define "finished" to be "evaluated to WHNF".) Years ago people used to discuss the question of whether it was possible to define or True _ = True or _ True = True or False x = x or x False = x symmetrically, so that if *either* argument returned True, the result True would be delivered, even if the other argument diverged. As I recall it, the answer was "NO", but I don't recall the proof.