Changeset 16433

Timestamp:

05/18/07 20:49:06 (18 months ago)

Author:

audreyt

Message:

* Pugs.Run: Eliminate the utterly unhelpful and harmless

"user error" message when recompiling prelude.

Files:

• src/Pugs/Run.hs (modified) (1 diff)

src/Pugs/Run.hs

@@ -242 +242 @@
                     | isUserError ioe, not . null $ ioeGetErrorString ioe
                     -> hPrint stderr ioe
-                _ -> do
-                    hPrint stderr e
-                    return ()
+                _ -> return ()
             when dispProgress $ do
                 hPutStr stderr "Reloading Prelude from source..."