- Libraries - Haskell.org

RE: RealWorld
by Simon Peyton-Jones 08 Sep '03

08 Sep '03

I prefer IORegion myself, because the 's' parameter of the monad isn't really the state type itself; it's more like a name for the state. The real state can have a type like (State s). The 's' parameter keeps different states separate; it's not the state itself. So region is good. but i'm not going to die in the trenches for this one! Having said my piece, I'll shut up Simon | -----Original Message----- | From: Sven Panne [mailto:Sven.Panne@informatik.uni-muenchen.de] | Sent: 08 September 2003 12:28 | To: Ross Paterson | Cc: Simon Peyton-Jones; libraries(a)haskell.org | Subject: Re: RealWorld | | Ross Paterson wrote: | > On reflection, IORegion sounds a bit operational; perhaps IOState is | > better (though I see the name is used in HOpenGL for something else). [...] | | No problem here, it's just an internal module/type with a rather | ad-hoc name. | | Cheers, | S. | |

1 0

RE: RealWorld
by Simon Peyton-Jones 08 Sep '03

08 Sep '03

Would be fine with me. | -----Original Message----- | From: libraries-admin(a)haskell.org [mailto:libraries-admin@haskell.org] On Behalf Of Ross Paterson | Sent: 05 September 2003 11:08 | To: libraries(a)haskell.org | Subject: RealWorld | | Now that RealWorld, formerly an implementation trick inside GHC, has | become part of the public interface: | | stToIO :: ST RealWorld a -> IO a | | (to make stToIO sound), I think it needs a better name. The IO monad | does not in fact give you exclusive access to the world, but to a | region of the heap separate from those used by invocations of runST. | (That's not all IO does, of course, but it's the relevant part for | stToIO.) I propose IORegion. | _______________________________________________ | Libraries mailing list | Libraries(a)haskell.org | http://www.haskell.org/mailman/listinfo/libraries

3 2

RE: bracket, (un)block and MonadIO
by Simon Marlow 08 Sep '03

08 Sep '03

> On Friday 05 September 2003 1:02 pm, Keith Wansbrough wrote: > > > -- ** The @handle@ functions > > > - handle, -- :: (Exception -> IO a) -> IO a -> IO a > > > - handleJust,-- :: (Exception -> Maybe b) -> (b -> IO a) > -> IO a -> IO a > > > + handle, -- :: MonadIO m => (Exception -> m a) -> m a -> m a > > > + handleJust,-- :: (Exception -> Maybe b) -> (b -> m a) > -> m a -> m a > > > > Is the MonadIO constraint on m intentionally missing from > handleJust? > > No, it's an unfortunate omission. Thanks for pointing that out! > Corrected patch attached. This patch is still too deeply wired-in for my liking. It generalises the types of all the IO-related functions in Control.Exception. We don't intend to generalise *every* IO function over MonadIO, that's what liftIO is for. And hence, we shouldn't also generalise functions that take IO-typed arguments, since that is what liftIO' is for, and so on. By all means provide the generalised versions for convenience, but I don't believe we should generalise the originals. Cheers, Simon

1 0

RE: bracket, (un)block and MonadIO
by Simon Marlow 05 Sep '03

05 Sep '03

> See the attached patch for the details. > > This solution is maybe a bit ugly, since these methods are fairly > specific (liftIO' is needed to generalize block and unblock, and > liftIO'' is needed to generalize catchException). > > But it does allow one to use catch/bracket/etc with monads built on > top of IO with monad transformers, which is quite nice: Thanks. I think I would prefer to have the generalised versions of block/unblock/catchException separate from the IO-specific versions, and exported by one of the Control.Monad modules, to avoid breaking too much code, and to avoid wiring MonadIO in too deeply. Would you mind redoing the patch? Iavor: how do these changes sit with your redesign of the monad stuff? Cheers, Simon

4 4

RE: RealWorld
by Simon Marlow 05 Sep '03

05 Sep '03

> Now that RealWorld, formerly an implementation trick inside GHC, has > become part of the public interface: > > stToIO :: ST RealWorld a -> IO a > > (to make stToIO sound), I think it needs a better name. The IO monad > does not in fact give you exclusive access to the world, but to a > region of the heap separate from those used by invocations of runST. > (That's not all IO does, of course, but it's the relevant part for > stToIO.) I propose IORegion. Fine by me too. Cheers, Simon

1 0

RealWorld
by Ross Paterson 05 Sep '03

05 Sep '03

Now that RealWorld, formerly an implementation trick inside GHC, has become part of the public interface: stToIO :: ST RealWorld a -> IO a (to make stToIO sound), I think it needs a better name. The IO monad does not in fact give you exclusive access to the world, but to a region of the heap separate from those used by invocations of runST. (That's not all IO does, of course, but it's the relevant part for stToIO.) I propose IORegion.

1 0

Delivery Notification: Delivery has been delayed
by Internet Mail Delivery 31 Aug '03

31 Aug '03

This report relates to a message you sent with the following header fields: Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKI00KJV9VWLK(a)ms-dienst.rz.rwth-aachen.de>; Mon, 1 Sep 2003 00:45:32 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) Your message has been enqueued and undeliverable for 3 days to the following recipients: Recipient address: michaelw(a)foldr.org Reason: unable to deliver this message after 3 days Delivery attempt history for your mail: Sun, 31 Aug 2003 16:50:25 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Sun, 31 Aug 2003 08:50:25 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Sun, 31 Aug 2003 00:46:33 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Sat, 30 Aug 2003 16:42:07 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Sat, 30 Aug 2003 08:37:26 +0200 (MEST) michaelw(a)foldr.org: smtp;450 4.7.1 <michaelw(a)foldr.org>... recipient denied, because internal DNS error Sat, 30 Aug 2003 00:34:18 +0200 (MEST) michaelw(a)foldr.org: smtp;450 4.7.1 <michaelw(a)foldr.org>... recipient denied, because internal DNS error Fri, 29 Aug 2003 16:30:13 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 12:27:30 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 09:20:48 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 05:18:15 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 03:11:43 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 01:09:26 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 00:01:28 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused The mail system will continue to try to deliver your message for an additional 1 day. Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKI00KJV9VWLK(a)ms-dienst.rz.rwth-aachen.de>; Mon, 1 Sep 2003 00:45:32 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) This is a multipart message in MIME format --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: 7BIT Please see the attached file for details. --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: Text/Plain; name=MailMonitor_report.txt Content-transfer-encoding: 7BIT Content-disposition: attachment; filename=MailMonitor_report.txt Client: MailMonitor for SMTP v1.2.2 The message body part has been replaced with this note. Problem description: Attachment validity check: passed. Virus identity found: W32/Sobig-F

1 0

Delivery Notification: Delivery has been delayed
by Internet Mail Delivery 30 Aug '03

30 Aug '03

This report relates to a message you sent with the following header fields: Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKG00KJ1F686E(a)ms-dienst.rz.rwth-aachen.de>; Sun, 31 Aug 2003 00:44:32 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) Your message has been enqueued and undeliverable for 2 days to the following recipients: Recipient address: michaelw(a)foldr.org Reason: unable to deliver this message after 2 days Delivery attempt history for your mail: Sat, 30 Aug 2003 16:42:07 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Sat, 30 Aug 2003 08:37:26 +0200 (MEST) michaelw(a)foldr.org: smtp;450 4.7.1 <michaelw(a)foldr.org>... recipient denied, because internal DNS error Sat, 30 Aug 2003 00:34:18 +0200 (MEST) michaelw(a)foldr.org: smtp;450 4.7.1 <michaelw(a)foldr.org>... recipient denied, because internal DNS error Fri, 29 Aug 2003 16:30:13 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 12:27:30 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 09:20:48 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 05:18:15 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 03:11:43 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 01:09:26 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 00:01:28 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused The mail system will continue to try to deliver your message for an additional 2 days. Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKG00KJ1F686E(a)ms-dienst.rz.rwth-aachen.de>; Sun, 31 Aug 2003 00:44:32 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) This is a multipart message in MIME format --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: 7BIT Please see the attached file for details. --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: Text/Plain; name=MailMonitor_report.txt Content-transfer-encoding: 7BIT Content-disposition: attachment; filename=MailMonitor_report.txt Client: MailMonitor for SMTP v1.2.2 The message body part has been replaced with this note. Problem description: Attachment validity check: passed. Virus identity found: W32/Sobig-F

1 0

Archivo adjunto (document_all.pif) es de un tipo no permitido encontrado en el mensaje enviado "Re: Details"
by System Anti-Virus Administrator 30 Aug '03

30 Aug '03

Aviso para: libraries(a)haskell.org Se ha encontrado un Archivo adjunto (document_all.pif) es de un tipo no permitido en un mensaje remitido por Vd. Este detector de virus lo ha interceptado antes de enviarlo a su destinatario. Archivo adjunto (document_all.pif) es de un tipo no permitido encontrado: Archivo .PIF: No se aceptan ejecutables adjuntos a mensajes porque podrian comprometer la seguridad o contener virus. Por favor póngase en contacto con el personal de su departamento de sistemas si tiene alguna duda o pregunta al respecto. Su mensaje contenía como MAIL FROM: libraries(a)haskell.org RCPT TO: 20030108092932.1cb2c758.cgimenez(a)xnetcuyo.com.ar ... con las siguientes cabeceras: --- MAILFROM: libraries(a)haskell.org Received: from unknown (HELO LABINFO11) (200.24.7.180) by 0 with SMTP; 30 Aug 2003 13:28:14 -0000 From: <libraries(a)haskell.org> To: <20030108092932.1cb2c758.cgimenez(a)xnetcuyo.com.ar> Subject: Re: Details Date: Sat, 30 Aug 2003 8:29:03 --0500 X-MailScanner: Found to be clean Importance: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MSMail-Priority: Normal X-Priority: 3 (Normal) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="_NextPart_000_001B4B64" ---

1 0

Delivery Notification: Delivery has been delayed
by Internet Mail Delivery 29 Aug '03

29 Aug '03

This report relates to a message you sent with the following header fields: Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKE00J58KFTG4(a)ms-dienst.rz.rwth-aachen.de>; Sat, 30 Aug 2003 00:43:05 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) Your message has been enqueued and undeliverable for 1 day to the following recipients: Recipient address: michaelw(a)foldr.org Reason: unable to deliver this message after 1 day Delivery attempt history for your mail: Sat, 30 Aug 2003 00:34:18 +0200 (MEST) michaelw(a)foldr.org: smtp;450 4.7.1 <michaelw(a)foldr.org>... recipient denied, because internal DNS error Fri, 29 Aug 2003 16:30:13 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 12:27:30 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 09:20:48 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 05:18:15 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 03:11:43 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 01:09:26 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused Fri, 29 Aug 2003 00:01:28 +0200 (MEST) TCP active open: Failed connect() Error: Connection refused The mail system will continue to try to deliver your message for an additional 3 days. Return-path: <libraries(a)haskell.org> Received: from ms-dienst.rz.rwth-aachen.de by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) id <0HKE00J58KFTG4(a)ms-dienst.rz.rwth-aachen.de>; Sat, 30 Aug 2003 00:43:05 +0200 (MEST) Received: from r220-1 (r220-1.rz.RWTH-Aachen.DE [134.130.3.31]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00EWUNSGEK(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)foldr.org; Fri, 29 Aug 2003 00:00:17 +0200 (MEST) Received: from relay.RWTH-Aachen.DE ([134.130.3.1]) by r220-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:16 +0200 (MEST) Received: from poolmail.informatik.rwth-aachen.de (harry.Informatik.RWTH-Aachen.de [137.226.116.28]) by relay.rwth-aachen.de (8.12.9/8.12.7-1) with ESMTP id h7SM0FvP004828 for <michaelw(a)foldr.org>; Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: by poolmail.informatik.rwth-aachen.de (Postfix) id 71199A8CF; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ms-dienst.rz.rwth-aachen.de (ms-1.rz.RWTH-Aachen.DE [134.130.3.130]) by poolmail.informatik.rwth-aachen.de (Postfix) with ESMTP id 63A60A8CD for <michaelw(a)pool.informatik.rwth-aachen.de>; Fri, 29 Aug 2003 00:00:14 +0200 (CEST) Received: from ue250-1 (ue250-1.rz.RWTH-Aachen.DE [134.130.3.33]) by ms-dienst.rz.rwth-aachen.de (iPlanet Messaging Server 5.2 HotFix 1.12 (built Feb 13 2003)) with ESMTP id <0HKC00ED7NSE4I(a)ms-dienst.rz.rwth-aachen.de> for michaelw(a)pool.informatik.rwth-aachen.de (ORCPT michael.weber(a)post.rwth-aachen.de) Fri, 29 Aug 2003 00:00:15 +0200 (MEST) Received: from relay1.RWTH-Aachen.DE ([134.130.3.3]) by ue250-1 (MailMonitor for SMTP v1.2.2 ) ; Fri, 29 Aug 2003 00:00:14 +0200 (MEST) Received: from MULTIMEDIA07 ([200.24.7.180]) by relay1.rwth-aachen.de (8.12.9/8.12.7/1) with ESMTP id h7SLxaGt008614 for <michael.weber(a)post.rwth-aachen.de>; Thu, 28 Aug 2003 23:59:49 +0200 (MEST) Date: Thu, 28 Aug 2003 17:00:36 +0500 From: libraries(a)haskell.org Subject: Re: Approved To: michael.weber(a)post.rwth-aachen.de Cc: Message-id: <200308282159.h7SLxaGt008614(a)relay1.rwth-aachen.de> MIME-version: 1.0 X-Mailer: Microsoft Outlook Express 6.00.2600.0000 Content-type: multipart/mixed; boundary="Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA)" Importance: Normal X-Priority: 3 (Normal) X-MSMail-priority: Normal Delivered-to: michaelw(a)pool.informatik.rwth-aachen.de X-MailScanner: Found to be clean X-Spam-Status: No, hits=4.7 required=6.0 tests=INVALID_DATE,MICROSOFT_EXECUTABLE,MIME_BOUND_NEXTPART, MIME_MISSING_BOUNDARY,MISSING_MIMEOLE,NO_REAL_NAME, RAZOR2_CHECK version=2.55 X-Spam-Level: **** X-Spam-Checker-Version: SpamAssassin 2.55 (1.174.2.19-2003-05-19-exp) This is a multipart message in MIME format --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: 7BIT Please see the attached file for details. --Boundary_(ID_ELsf7lXSmA4i5C80HX+MQA) Content-type: Text/Plain; name=MailMonitor_report.txt Content-transfer-encoding: 7BIT Content-disposition: attachment; filename=MailMonitor_report.txt Client: MailMonitor for SMTP v1.2.2 The message body part has been replaced with this note. Problem description: Attachment validity check: passed. Virus identity found: W32/Sobig-F

1 0