[GHC] #1171: GHC doesn't respect the imprecise exceptions semantics

[Simon Marlow]

> The code in YHC is roughly "if some list is empty then error "No files
> found"
> else error "Many files found"". If this code were changed to the
> equivalent
> of "error (if some list is empty then "No files found" else "Many files
> found")", would there still be circumstances where the actual output
> produced could vary?

Maybe.  If GHC knows that error is strict (which it might well do) then you could be back where you started.

Cheers,
        Simon