From c65aadffa54ebea6123466e3396c997582c708bc Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 10 Oct 2007 14:56:46 +0000 Subject: [PATCH] Comments only --- compiler/utils/IOEnv.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/utils/IOEnv.hs b/compiler/utils/IOEnv.hs index 728e55c..fc513a0 100644 --- a/compiler/utils/IOEnv.hs +++ b/compiler/utils/IOEnv.hs @@ -99,7 +99,9 @@ fixM f = IOEnv (\ env -> fixIO (\ r -> unIOEnv (f r) env)) --------------------------- tryM :: IOEnv env r -> IOEnv env (Either Exception r) --- Reflect UserError exceptions into IOEnv monad +-- Reflect UserError exceptions (only) into IOEnv monad +-- Other exceptions are not caught; they are simply propagated as exns +-- -- The idea is that errors in the program being compiled will give rise -- to UserErrors. But, say, pattern-match failures in GHC itself should -- not be caught here, else they'll be reported as errors in the program -- 1.7.10.4