From horng_twu_lihn at merck.com Wed Jan 3 16:53:49 2007 From: horng_twu_lihn at merck.com (Lihn, Steve) Date: Wed Jan 3 16:50:37 2007 Subject: [Hugs-users] Text/ParserCombinators/ReadP.hs error In-Reply-To: <20061230201148.GA15883@soi.city.ac.uk> Message-ID: <6BD267D89E66B9499514F119920E583C01486D33@usctmx1110.merck.com> Hi, I am trying to compile htoolkit's HSQL package. Got the following error on my first step. It seems like an internal error from the standard library. Any idea? cd HSQL/HSQL runhugs Setup.lhs configure runhugs: Error occurred ERROR "/home/econ/hugs/lib/hugs/packages/base/Text/ParserCombinators/ReadP.hs" :156 - Syntax error in type expression (unexpected `.') Steve ------------------------------------------------------------------------------ Notice: This e-mail message, together with any attachments, contains information of Merck & Co., Inc. (One Merck Drive, Whitehouse Station, New Jersey, USA 08889), and/or its affiliates (which may be known outside the United States as Merck Frosst, Merck Sharp & Dohme or MSD and in Japan, as Banyu - direct contact information for affiliates is available at http://www.merck.com/contact/contacts.html) that may be confidential, proprietary copyrighted and/or legally privileged. It is intended solely for the use of the individual or entity named on this message. If you are not the intended recipient, and have received this message in error, please notify us immediately by reply e-mail and then delete it from your system. ------------------------------------------------------------------------------ From horng_twu_lihn at merck.com Wed Jan 3 16:59:10 2007 From: horng_twu_lihn at merck.com (Lihn, Steve) Date: Wed Jan 3 16:56:01 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <20061230201148.GA15883@soi.city.ac.uk> Message-ID: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> > Not possible, unfortunately: the cgi package won't work with Hugs > because Hugs lacks one of the functions it uses. This sounds pretty bad. Couldn't even do some CGI programming with Hugs... How much does it take to make the cgi package compatible with Hugs? Steve ------------------------------------------------------------------------------ Notice: This e-mail message, together with any attachments, contains information of Merck & Co., Inc. (One Merck Drive, Whitehouse Station, New Jersey, USA 08889), and/or its affiliates (which may be known outside the United States as Merck Frosst, Merck Sharp & Dohme or MSD and in Japan, as Banyu - direct contact information for affiliates is available at http://www.merck.com/contact/contacts.html) that may be confidential, proprietary copyrighted and/or legally privileged. It is intended solely for the use of the individual or entity named on this message. If you are not the intended recipient, and have received this message in error, please notify us immediately by reply e-mail and then delete it from your system. ------------------------------------------------------------------------------ From ross at soi.city.ac.uk Wed Jan 3 17:15:23 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Wed Jan 3 17:11:55 2007 Subject: [Hugs-users] Text/ParserCombinators/ReadP.hs error In-Reply-To: <6BD267D89E66B9499514F119920E583C01486D33@usctmx1110.merck.com> References: <20061230201148.GA15883@soi.city.ac.uk> <6BD267D89E66B9499514F119920E583C01486D33@usctmx1110.merck.com> Message-ID: <20070103221523.GA24665@soi.city.ac.uk> On Wed, Jan 03, 2007 at 04:53:49PM -0500, Lihn, Steve wrote: > I am trying to compile htoolkit's HSQL package. Got the following error > on my first step. > It seems like an internal error from the standard library. Any idea? > > cd HSQL/HSQL > runhugs Setup.lhs configure > runhugs: Error occurred > ERROR > "/home/econ/hugs/lib/hugs/packages/base/Text/ParserCombinators/ReadP.hs" > :156 - Syntax error in type expression (unexpected `.') Give runhugs a -98 argument: runhugs -98 Setup.lhs configure From sven.panne at aedion.de Fri Jan 5 09:51:31 2007 From: sven.panne at aedion.de (Sven Panne) Date: Fri Jan 5 09:47:47 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> Message-ID: <200701051551.31205.sven.panne@aedion.de> Am Mittwoch, 3. Januar 2007 22:59 schrieb Lihn, Steve: > > Not possible, unfortunately: the cgi package won't work with Hugs > > because Hugs lacks one of the functions it uses. > > This sounds pretty bad. Couldn't even do some CGI programming with > Hugs... > How much does it take to make the cgi package compatible with Hugs? I've tested the new cgi package a few days ago and IIRC there were basically two problems: * Hugs doesn't support System.Environment.getEnvironment yet, but I guess that this could easily be fixed. * Some instances in Network.CGI.Monad overlap, which is not supported in Hugs. I don't know if the overlap is crucial and what the rationale behind this is. Perhaps I've missed some discussions on the libraries list. Perhaps we can simply #ifdef/remove the overlap. Ross? Cheers, S. From ross at soi.city.ac.uk Fri Jan 5 12:04:15 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Fri Jan 5 12:00:58 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <200701051551.31205.sven.panne@aedion.de> References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <200701051551.31205.sven.panne@aedion.de> Message-ID: <20070105170415.GA3131@soi.city.ac.uk> On Fri, Jan 05, 2007 at 03:51:31PM +0100, Sven Panne wrote: > I've tested the new cgi package a few days ago and IIRC there were basically > two problems: > > * Hugs doesn't support System.Environment.getEnvironment yet, but I guess > that this could easily be fixed. Indeed. > * Some instances in Network.CGI.Monad overlap, which is not supported in > Hugs. I don't know if the overlap is crucial and what the rationale behind > this is. Perhaps I've missed some discussions on the libraries list. Perhaps > we can simply #ifdef/remove the overlap. Ross? One could expand MonadTrans in instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) replacing it with instance (MonadCGI m) => MonadCGI (ListT m) instance (MonadCGI m) => MonadCGI (ContT m) instance (Error e, MonadCGI m) => MonadCGI (ErrorT e m) instance (MonadCGI m) => MonadCGI (ReaderT r m) instance (MonadCGI m) => MonadCGI (StateT s m) instance (Monoid w, MonadCGI m) => MonadCGI (StateT w m) instance (Monoid w, MonadCGI m) => MonadCGI (RWST r w s m) From bringert at cs.chalmers.se Fri Jan 5 12:14:31 2007 From: bringert at cs.chalmers.se (Bjorn Bringert) Date: Fri Jan 5 12:10:56 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <20070105170415.GA3131@soi.city.ac.uk> References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <200701051551.31205.sven.panne@aedion.de> <20070105170415.GA3131@soi.city.ac.uk> Message-ID: On Jan 5, 2007, at 18:04 , Ross Paterson wrote: > On Fri, Jan 05, 2007 at 03:51:31PM +0100, Sven Panne wrote: >> I've tested the new cgi package a few days ago and IIRC there were >> basically >> two problems: >> >> * Hugs doesn't support System.Environment.getEnvironment yet, >> but I guess >> that this could easily be fixed. > > Indeed. > >> * Some instances in Network.CGI.Monad overlap, which is not >> supported in >> Hugs. I don't know if the overlap is crucial and what the >> rationale behind >> this is. Perhaps I've missed some discussions on the libraries >> list. Perhaps >> we can simply #ifdef/remove the overlap. Ross? > > One could expand MonadTrans in > > instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) > > replacing it with > > instance (MonadCGI m) => MonadCGI (ListT m) > instance (MonadCGI m) => MonadCGI (ContT m) > instance (Error e, MonadCGI m) => MonadCGI (ErrorT e m) > instance (MonadCGI m) => MonadCGI (ReaderT r m) > instance (MonadCGI m) => MonadCGI (StateT s m) > instance (Monoid w, MonadCGI m) => MonadCGI (StateT w m) > instance (Monoid w, MonadCGI m) => MonadCGI (RWST r w s m) I added that instance reluctantly, but it is quite useful when you write your own monad transformers and want to wrap CGIT. Removing it would break some existing code (Hope is the only one I know of), but if that's what's needed to get it working with Hugs, I'm ok with it. /Bjorn From sven.panne at aedion.de Sat Jan 6 09:15:50 2007 From: sven.panne at aedion.de (Sven Panne) Date: Sat Jan 6 09:12:04 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <20070105170415.GA3131@soi.city.ac.uk> Message-ID: <200701061515.50182.sven.panne@aedion.de> Am Freitag, 5. Januar 2007 18:14 schrieb Bjorn Bringert: > I added that instance reluctantly, but it is quite useful when you > write your own monad transformers and want to wrap CGIT. Removing it > would break some existing code (Hope is the only one I know of), but > if that's what's needed to get it working with Hugs, I'm ok with it. Effectively removing Network.CGI from the Hugs community will probably break more programs, so I'll vote for non-overlapping instances, too. Cheers, S. From igloo at earth.li Sun Jan 7 13:03:45 2007 From: igloo at earth.li (Ian Lynagh) Date: Sun Jan 7 12:59:58 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <200701051551.31205.sven.panne@aedion.de> <20070105170415.GA3131@soi.city.ac.uk> Message-ID: <20070107180345.GA15530@matrix.chaos.earth.li> On Fri, Jan 05, 2007 at 06:14:31PM +0100, Bjorn Bringert wrote: > On Jan 5, 2007, at 18:04 , Ross Paterson wrote: > > > > instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) > > I added that instance reluctantly, but it is quite useful when you > write your own monad transformers and want to wrap CGIT. Removing it > would break some existing code (Hope is the only one I know of), Some of my code needs it too (I think I might have requested it be added in the first place?). I find it very useful to be able to write code in the style shown in http://www.haskell.org/pipermail/haskell-cafe/2007-January/021085.html Hugs compatibility is also important, though, and undecidable instances are marked "probably no" for Haskell'. It feels like a bit of a sledgehammer, but maybe the instance should be put in its own package cgi-undecidable or something? Thanks Ian From bringert at cs.chalmers.se Sun Jan 7 13:10:25 2007 From: bringert at cs.chalmers.se (Bjorn Bringert) Date: Sun Jan 7 13:06:41 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <20070107180345.GA15530@matrix.chaos.earth.li> References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <200701051551.31205.sven.panne@aedion.de> <20070105170415.GA3131@soi.city.ac.uk> <20070107180345.GA15530@matrix.chaos.earth.li> Message-ID: <1D64A742-EAF1-4922-843F-60E48A23A55F@cs.chalmers.se> On Jan 7, 2007, at 19:03 , Ian Lynagh wrote: > On Fri, Jan 05, 2007 at 06:14:31PM +0100, Bjorn Bringert wrote: >> On Jan 5, 2007, at 18:04 , Ross Paterson wrote: >>> >>> instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) >> >> I added that instance reluctantly, but it is quite useful when you >> write your own monad transformers and want to wrap CGIT. Removing it >> would break some existing code (Hope is the only one I know of), > > Some of my code needs it too (I think I might have requested it be > added > in the first place?). I find it very useful to be able to write > code in > the style shown in > http://www.haskell.org/pipermail/haskell-cafe/2007-January/021085.html > > Hugs compatibility is also important, though, and undecidable > instances > are marked "probably no" for Haskell'. > > It feels like a bit of a sledgehammer, but maybe the instance > should be > put in its own package cgi-undecidable or something? Yes, you were the one who requested it in the first place. It was initially in a separate module. As far as I recall, I only moved it to Network.CGI.Monad to avoid it being an orphan instance. This isn't really important I guess. I would be ok with moving it somewhere else. A separate package would probably be the cleanest, since it would allow applications to declare that they need it. /Bj?rn From bringert at cs.chalmers.se Mon Jan 8 17:57:30 2007 From: bringert at cs.chalmers.se (Bjorn Bringert) Date: Mon Jan 8 17:53:44 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <1D64A742-EAF1-4922-843F-60E48A23A55F@cs.chalmers.se> References: <6BD267D89E66B9499514F119920E583C01486D38@usctmx1110.merck.com> <200701051551.31205.sven.panne@aedion.de> <20070105170415.GA3131@soi.city.ac.uk> <20070107180345.GA15530@matrix.chaos.earth.li> <1D64A742-EAF1-4922-843F-60E48A23A55F@cs.chalmers.se> Message-ID: <99572E58-12BD-4A53-A674-E982D32A5999@cs.chalmers.se> On Jan 7, 2007, at 19:10 , Bjorn Bringert wrote: > On Jan 7, 2007, at 19:03 , Ian Lynagh wrote: > >> On Fri, Jan 05, 2007 at 06:14:31PM +0100, Bjorn Bringert wrote: >>> On Jan 5, 2007, at 18:04 , Ross Paterson wrote: >>>> >>>> instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) >>> >>> I added that instance reluctantly, but it is quite useful when you >>> write your own monad transformers and want to wrap CGIT. Removing it >>> would break some existing code (Hope is the only one I know of), >> >> Some of my code needs it too (I think I might have requested it be >> added >> in the first place?). I find it very useful to be able to write >> code in >> the style shown in >> http://www.haskell.org/pipermail/haskell-cafe/2007-January/ >> 021085.html >> >> Hugs compatibility is also important, though, and undecidable >> instances >> are marked "probably no" for Haskell'. >> >> It feels like a bit of a sledgehammer, but maybe the instance >> should be >> put in its own package cgi-undecidable or something? > > Yes, you were the one who requested it in the first place. It was > initially in a separate module. As far as I recall, I only moved it > to Network.CGI.Monad to avoid it being an orphan instance. This > isn't really important I guess. I would be ok with moving it > somewhere else. A separate package would probably be the cleanest, > since it would allow applications to declare that they need it. Done. Thanks for the suggestion Ian! The undecidable instance is now in a separate package, available from here: http://darcs.haskell.org/packages/cgi-undecidable/ The cgi package still does not work under Hugs due to the missing getEnvironment. I think that it really needs to use getEnvironment, and not getEnv as the old Network.CGI did. I would like all environment variables to be available, not just the standard ones. The is needed for request-specific variables like HTTP_* and for server-specific ones like REQUEST_URI (set by mod_rewrite). It's not ok to force the user to call getEnv for those either, since the program might be running under FastCGI where the variables do not come from the program environment variables. /Bj?rn From horng_twu_lihn at merck.com Tue Jan 9 12:56:28 2007 From: horng_twu_lihn at merck.com (Lihn, Steve) Date: Tue Jan 9 12:52:57 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <1D64A742-EAF1-4922-843F-60E48A23A55F@cs.chalmers.se> Message-ID: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com> I did not realize reporting a missing CGI module could cause such a lengthy discussion. Since I am new to Haskell, can someone explain why a CGI module, which seems to be a basic for any modern programming language, is such a headache in Haskell? I roughly know it is related to Monad, a state machine. But why is it so difficult to get something from the environment and process the information accordingly? Programs read from environments, databases, files all the time. Do they all have similar issues in Haskell? Steve Lihn -----Original Message----- From: hugs-users-bounces@haskell.org [mailto:hugs-users-bounces@haskell.org] On Behalf Of Bjorn Bringert Sent: Sunday, January 07, 2007 1:10 PM To: Ian Lynagh Cc: Ross Paterson; hugs-users@haskell.org Subject: Re: [Hugs-users] Network.CGI missing in Hugs On Jan 7, 2007, at 19:03 , Ian Lynagh wrote: > On Fri, Jan 05, 2007 at 06:14:31PM +0100, Bjorn Bringert wrote: >> On Jan 5, 2007, at 18:04 , Ross Paterson wrote: >>> >>> instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) >> >> I added that instance reluctantly, but it is quite useful when you >> write your own monad transformers and want to wrap CGIT. Removing it >> would break some existing code (Hope is the only one I know of), > > Some of my code needs it too (I think I might have requested it be > added > in the first place?). I find it very useful to be able to write > code in > the style shown in > http://www.haskell.org/pipermail/haskell-cafe/2007-January/021085.html > > Hugs compatibility is also important, though, and undecidable > instances > are marked "probably no" for Haskell'. > > It feels like a bit of a sledgehammer, but maybe the instance > should be > put in its own package cgi-undecidable or something? Yes, you were the one who requested it in the first place. It was initially in a separate module. As far as I recall, I only moved it to Network.CGI.Monad to avoid it being an orphan instance. This isn't really important I guess. I would be ok with moving it somewhere else. A separate package would probably be the cleanest, since it would allow applications to declare that they need it. /Bj?rn_______________________________________________ Hugs-Users mailing list Hugs-Users@haskell.org http://www.haskell.org/mailman/listinfo/hugs-users ------------------------------------------------------------------------------ Notice: This e-mail message, together with any attachments, contains information of Merck & Co., Inc. (One Merck Drive, Whitehouse Station, New Jersey, USA 08889), and/or its affiliates (which may be known outside the United States as Merck Frosst, Merck Sharp & Dohme or MSD and in Japan, as Banyu - direct contact information for affiliates is available at http://www.merck.com/contact/contacts.html) that may be confidential, proprietary copyrighted and/or legally privileged. It is intended solely for the use of the individual or entity named on this message. If you are not the intended recipient, and have received this message in error, please notify us immediately by reply e-mail and then delete it from your system. ------------------------------------------------------------------------------ From bringert at cs.chalmers.se Tue Jan 9 13:18:05 2007 From: bringert at cs.chalmers.se (Bjorn Bringert) Date: Tue Jan 9 13:14:15 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com> References: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com> Message-ID: <54173C3A-AF2F-4F94-9A17-48B7689DCE18@cs.chalmers.se> I wouldn't say that it's a headache, and this was by no means a lengthy discussion, though most of it should maybe have taken place on the libraries or hugs-bugs mailing list. The CGI module already exists, so it's not a problem of whether it is possible to write one in Haskell. The issues had to do with rather fine points of its design, and the compatibility of the current version with Hugs. I think that you would find similar discussions around pretty much any serious library for any programming language. There were two basic issues discussed: - The existing module used undecidable instances, a Haskell extension which is supported by GHC but not by Hugs. This was not essential for the CGI module, but it makes it more easy to use with certain advanced abstractions. The result of the discussion was that the part that was not compatible with Hugs was moved to a separate package, so as to allow the rest of the library to be used in Hugs. - The CGI module uses the getEnvironment function, which gets a a list of all environment variables and their values. This function is unfortunately not available in Hugs yet, but it should be easy to add. An old CGI module, which used to come with Hugs, used the getEnv function instead. This function gets the value of a single named environment variable. The core CGI functionality can be implemented using just getEnv, but when I wrote the new module, I wanted to allow access to all environment variables. There is also the issue that the CGI module is not just for use with the CGI interface. Haskell programs which use the CGI module can be ported to run as FastCGI programs by changing an import and one single function call. This further constrains how we can handle environment variables, but makes the CGI module more useful. Again, this discussion is probably not interesting for most users, but it's the kind of thing that goes on on developers' mailing lists for all software projects. /Bj?rn On Jan 9, 2007, at 18:56 , Lihn, Steve wrote: > I did not realize reporting a missing CGI module could cause such a > lengthy discussion. > Since I am new to Haskell, can someone explain why a CGI module, > which seems to be a basic > for any modern programming language, is such a headache in Haskell? > > I roughly know it is related to Monad, a state machine. But why is > it so difficult to get > something from the environment and process the information > accordingly? > Programs read from environments, databases, files all the time. > Do they all have similar issues in Haskell? > > Steve Lihn > > > -----Original Message----- > From: hugs-users-bounces@haskell.org [mailto:hugs-users- > bounces@haskell.org] On Behalf Of Bjorn Bringert > Sent: Sunday, January 07, 2007 1:10 PM > To: Ian Lynagh > Cc: Ross Paterson; hugs-users@haskell.org > Subject: Re: [Hugs-users] Network.CGI missing in Hugs > > On Jan 7, 2007, at 19:03 , Ian Lynagh wrote: > >> On Fri, Jan 05, 2007 at 06:14:31PM +0100, Bjorn Bringert wrote: >>> On Jan 5, 2007, at 18:04 , Ross Paterson wrote: >>>> >>>> instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) >>> >>> I added that instance reluctantly, but it is quite useful when you >>> write your own monad transformers and want to wrap CGIT. Removing it >>> would break some existing code (Hope is the only one I know of), >> >> Some of my code needs it too (I think I might have requested it be >> added >> in the first place?). I find it very useful to be able to write >> code in >> the style shown in >> http://www.haskell.org/pipermail/haskell-cafe/2007-January/ >> 021085.html >> >> Hugs compatibility is also important, though, and undecidable >> instances >> are marked "probably no" for Haskell'. >> >> It feels like a bit of a sledgehammer, but maybe the instance >> should be >> put in its own package cgi-undecidable or something? > > Yes, you were the one who requested it in the first place. It was > initially in a separate module. As far as I recall, I only moved it > to Network.CGI.Monad to avoid it being an orphan instance. This isn't > really important I guess. I would be ok with moving it somewhere > else. A separate package would probably be the cleanest, since it > would allow applications to declare that they need it. > > /Bj?rn_______________________________________________ > Hugs-Users mailing list > Hugs-Users@haskell.org > http://www.haskell.org/mailman/listinfo/hugs-users > > > > > ---------------------------------------------------------------------- > -------- > Notice: This e-mail message, together with any attachments, contains > information of Merck & Co., Inc. (One Merck Drive, Whitehouse Station, > New Jersey, USA 08889), and/or its affiliates (which may be known > outside the United States as Merck Frosst, Merck Sharp & Dohme or MSD > and in Japan, as Banyu - direct contact information for affiliates is > available at http://www.merck.com/contact/contacts.html) that may be > confidential, proprietary copyrighted and/or legally privileged. It is > intended solely for the use of the individual or entity named on this > message. If you are not the intended recipient, and have received this > message in error, please notify us immediately by reply e-mail and > then > delete it from your system. > > ---------------------------------------------------------------------- > -------- From claus.reinke at talk21.com Tue Jan 9 16:35:19 2007 From: claus.reinke at talk21.com (Claus Reinke) Date: Tue Jan 9 16:31:28 2007 Subject: [Hugs-users] Network.CGI missing in Hugs References: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com> <54173C3A-AF2F-4F94-9A17-48B7689DCE18@cs.chalmers.se> Message-ID: <042201c73436$10a9a4a0$b4627ad5@cr3lt> >- The existing module used undecidable instances, a Haskell extension >which is supported by GHC but not by Hugs. ?? as far as i recall, Hugs was the first Haskell implementation to bite the bullet and accept undecidable instances as a design option (although its predecessor apparently also had the undecidability feature). http://cvs.haskell.org/Hugs/pages/users_guide/class-extensions.html are you thinking of interactions with other extensions, perhaps? claus From bringert at cs.chalmers.se Wed Jan 10 07:32:56 2007 From: bringert at cs.chalmers.se (Bjorn Bringert) Date: Wed Jan 10 07:29:06 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <042201c73436$10a9a4a0$b4627ad5@cr3lt> References: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com> <54173C3A-AF2F-4F94-9A17-48B7689DCE18@cs.chalmers.se> <042201c73436$10a9a4a0$b4627ad5@cr3lt> Message-ID: On Jan 9, 2007, at 22:35 , Claus Reinke wrote: >> - The existing module used undecidable instances, a Haskell >> extension which is supported by GHC but not by Hugs. > > ?? > > as far as i recall, Hugs was the first Haskell implementation to > bite the > bullet and accept undecidable instances as a design option > (although its > predecessor apparently also had the undecidability feature). > > http://cvs.haskell.org/Hugs/pages/users_guide/class-extensions.html > > are you thinking of interactions with other extensions, perhaps? Sorry, my bad, that was confused. Some earlier comments from this thread to add to the confusion: Sven Panne wrote: > Effectively removing Network.CGI from the Hugs community will > probably break > more programs, so I'll vote for non-overlapping instances, too. Ian Lynagh wrote: > Hugs compatibility is also important, though, and undecidable > instances > are marked "probably no" for Haskell'. The bottom line is that the instance: instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) where needs both overlapping and undecidable instances, doesn't work in Hugs, and probably won't be Haskell'-compatible. However, the problem should be solved now, since that instance is no longer in the cgi package. /Bjorn From claus.reinke at talk21.com Wed Jan 10 16:47:04 2007 From: claus.reinke at talk21.com (Claus Reinke) Date: Wed Jan 10 16:43:11 2007 Subject: [Hugs-users] Network.CGI missing in Hugs References: <6BD267D89E66B9499514F119920E583C014875CB@usctmx1110.merck.com><54173C3A-AF2F-4F94-9A17-48B7689DCE18@cs.chalmers.se><042201c73436$10a9a4a0$b4627ad5@cr3lt> Message-ID: <01a501c73500$df8a3f80$f95a8351@cr3lt> > Ian Lynagh wrote: >>undecidable instances are marked "probably no" for Haskell'. which, btw, I think is a bad idea. I had really hoped that Haskell' would sort out the differences and standardize the behaviour of such common extensions. not standardizing them won't make them go away, nor will they suddenly cease to be useful. they will just keep causing problems because implementations interpret them differently.. but I lost that argument long ago. > The bottom line is that the instance: > > instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) where > > needs both overlapping and undecidable instances, doesn't work in > Hugs, and probably won't be Haskell'-compatible. but overlapping instances were also pioneered in Hugs!-) there are differences, eg, in how FDs combine with overlaps, or how scoped type variables in instances are interpreted, but Hugs has both unlimited and overlapping instances. so the problem has to lie elsewhere.. claus From ross at soi.city.ac.uk Wed Jan 10 18:21:07 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Wed Jan 10 18:17:13 2007 Subject: [Hugs-users] Network.CGI missing in Hugs In-Reply-To: <01a501c73500$df8a3f80$f95a8351@cr3lt> References: <01a501c73500$df8a3f80$f95a8351@cr3lt> Message-ID: <20070110232107.GA5859@soi.city.ac.uk> On Wed, Jan 10, 2007 at 09:47:04PM -0000, Claus Reinke wrote: > Bjorn Bringert wrote: > > >The bottom line is that the instance: > > > >instance (MonadTrans t, MonadCGI m, Monad (t m)) => MonadCGI (t m) where > > > >needs both overlapping and undecidable instances, doesn't work in > >Hugs, and probably won't be Haskell'-compatible. > > but overlapping instances were also pioneered in Hugs!-) > > there are differences, eg, in how FDs combine with overlaps, or how scoped > type variables in instances are interpreted, but Hugs has both unlimited > and overlapping instances. Yes, Hugs accepts this one with +o. Hugs does have additional restrictions on overlapping instances that GHC defers to their point of use, but this particular case is OK, because one of the overlapping instances is a substitution instance of the other. From ross at soi.city.ac.uk Fri Jan 12 21:03:55 2007 From: ross at soi.city.ac.uk (Ross Paterson) Date: Fri Jan 12 20:59:55 2007 Subject: [Hugs-users] Re: [Haskell] Accessing files without typing the entire path name In-Reply-To: <45A7B5DB020000EF00005B56@gwia2.scu.edu> References: <45A7B5DB020000EF00005B56@gwia2.scu.edu> Message-ID: <20070113020355.GA28069@soi.city.ac.uk> [moving to hugs-users] On Fri, Jan 12, 2007 at 04:22:51PM -0800, Neena Kaushik wrote: > I am trying to set up the hugs search path so that all the files from a > particular directory can be loaded without giving the entire path name. > I tried the following > > Hugs.Base> :set > -P.:{Home}/lib/hugs/packages/*:/usr/local/lib/hugs/packages/*:{Hugs}/libraries:{Hugs}/packages/*:{Hugs}/oldlib:/home/nkaushik/coen70/lab1 > Hugs.Base> :load lab1.hs > Error - Unable to open file "lab1.hs" > > Hugs.Base> :load /home/nkaushik/coen70/lab1/lab1.hs > Main> Call the file Lab1.hs, and then say :l Lab1 (Your file should also begin with the line "module Lab1 where".) From maeder at tzi.de Wed Jan 17 10:05:14 2007 From: maeder at tzi.de (Christian Maeder) Date: Wed Jan 17 10:01:00 2007 Subject: [Hugs-users] Re: graphics In-Reply-To: <20061229002720.GA21435@soi.city.ac.uk> References: <20061227231029.128F2324231@www.haskell.org> <20061229002720.GA21435@soi.city.ac.uk> Message-ID: <45AE3B2A.8010206@tzi.de> Ross Paterson schrieb: > The X11 and HGL packages won't be built if the system you built Hugs on > lacks an X11 build environment (check hugs98/packages/X11/X11.buildinfo). For some reason hugs wasn't build with X11 under linux and powerpc-mac for me, although X11 works for ghc. I only have the file: .../lib/hugs/packages/X11/autogen/Paths_X11.hs and I get an error when I use HGL: ERROR ".../lib/hugs/packages/HGL/Graphics/HGL/Internals/Types.hs" - Can't find imported module "Graphics.X11.Xlib" On our pc-solaris machines hugs works correctly, having the following files in lib/hugs/packages/X11/ : Graphics/ LICENSE Paths_X11.hs Nowhere I've found a file X11.buildinfo. I've used the release: http://cvs.haskell.org/Hugs/downloads/2006-09/hugs98-plus-Sep2006.tar.gz and made: ./configure --prefix=... make make install I wonder, how I can make hugs find my X11? (Other packages seem to be okay.) Cheers Christian P.S. eventually I was able to install X11-1.2.20060921 using cabal. (runhugs -98 Setup.hs configure --hugs) Although X11.buildinfo contained: buildable: True cc-options: -I/usr/X11R6/include ld-options: -L/usr/X11R6/lib I had to pass -L/usr/X11R6/lib explicitely (via the --lflag of hsc2hs), in order to avoid: /usr/lib/gcc-lib/i586-suse-linux/3.3.5/../../../../i586-suse-linux/bin/ld: cannot find -lX11 collect2: ld returned 1 exit status linking Graphics/X11/Types_hsc_make.o failed Furthermore "runhugs -98 Setup.hs install" failed with: copy dist/build/Graphics/X11/Xlib/Atom.so to ... Program error: : IO.getContents: protocol error (input contains non-character data - use binary I/O for binary data) But "runghc Setup.hs install" worked. From tfp2007 at shu.edu Sat Jan 20 08:18:43 2007 From: tfp2007 at shu.edu (TFP 2007) Date: Sat Jan 20 08:14:20 2007 Subject: [Hugs-users] Final Call for Papers: TFP 2007, New York, USA Message-ID: CALL FOR PAPERS Trends in Functional Programming 2007 New York, USA April 2-4, 2007 http://cs.shu.edu/tfp2007/ NEW: Abstract submission is now opened! Link: http://cs.shu.edu/tfp2007/submissions.html NEW: Invited Talk: John McCarthy, Standford University The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) and will be held in New York, USA, April 2-4, 2007 at the CCNY campus. SCOPE OF THE SYMPOSIUM The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles leading-edge, previously unpublished research work Position Articles on what new trends should or should not be Project Articles descriptions of recently started new projects Evaluation Articles what lessons can be drawn from a finished project Overview Articles summarizing work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcomed: o Dependently Typed Functional Programming o Validation and Verification of Functional Programs o Debugging for Functional Languages o Functional Programming and Security o Functional Programming and Mobility o Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications o Functional Languages for Telecommunications Applications o Functional Languages for Embedded Systems o Functional Programming Applied to Global Computing o Functional GRIDs o Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) o Interoperability with Imperative Programming Languages o Novel Memory Management Techniques o Parallel/Concurrent Functional Languages o Program Transformation Techniques o Empirical Performance Studies o Abstract/Virtual Machines and Compilers for Functional Languages o New Implementation Strategies o any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2007 program chair, Marco T. Morazan, at tfp2007@shu.edu. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of extended abstracts (6 to 10 pages in length) by the program committee. Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings and on-line. Further details can be found at the TFP 2007 website. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. IMPORTANT DATES Abstract Submission: February 1, 2007 Notification of Acceptance: February 20, 2007 Registration Deadline: March 2, 2007 Camera Ready Full Paper Due: March 9, 2007 TFP Symposium: April 2-4, 2007 PROGRAMME COMMITTEE John Clements California Polytechnic State University, USA Marko van Eekelen Radboud Universiteit Nijmegen, The Netherlands Benjamin Goldberg New York University, USA Kevin Hammond University of St. Andrews, UK Patricia Johann Rutgers University, USA Hans-Wolfgang Loidl Ludwig-Maximilians Universit?t M?nchen, Germany Rita Loogen Philipps-Universit?t Marburg, Germany Greg Michaelson Heriot-Watt University, UK Marco T. Moraz?n (Chair) Seton Hall University, USA Henrik Nilsson University of Nottingham, UK Chris Okasaki United States Military Academy at West Point, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Benjamin C. Pierce University of Pennsylvania, USA John Reppy University of Chicago, USA Ulrik P. Schultz University of Southern Denmark, Denmark Clara Segura Universidad Complutense de Madrid, Spain Jocelyn S?rot Universit? Blaise Pascal, France Zhong Shao Yale University, USA Olin Shivers Georgia Institute of Technology, USA Phil Trinder Heriot-Watt University, UK David Walker Princeton University, USA ORGANIZATION Symposium Chair: Henrik Nilsson, University of Nottingham, UK Programme Chair: Marco T. Morazan, Seton Hall University, USA Treasurer: Greg Michaelson, Heriot-Watt University, UK Local Arrangements: Marco T. Morazan, Seton Hall University, USA ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/hugs-users/attachments/20070120/cd5ed1f2/attachment.htm From fernanbolando at mailc.net Wed Jan 31 02:51:59 2007 From: fernanbolando at mailc.net (Fernan Bolando) Date: Wed Jan 31 02:46:59 2007 Subject: [Hugs-users] tar.gz version of Haskell Hierarchical Libraries for hugs Message-ID: <1d5d51400701302351h5c69177cm117ad581578c0213@mail.gmail.com> Hi all Is there a archived version of hugs' Hierarchical libraries? I found a ghc version are they the same? thanks ,Fernan -- Public PGP/GnuPG key (http://www.fernski.com) pub 1024D/3576CA71 2006-02-02 Fernan Bolando Key fingerprint = FDFE C9A8 FFED C1A5 2F5C EFEB D595 AF1C 3576 CA71 From tfp2007 at shu.edu Wed Jan 31 09:36:00 2007 From: tfp2007 at shu.edu (TFP 2007) Date: Wed Jan 31 09:30:58 2007 Subject: [Hugs-users] TFP 2007 Submission Deadline is Tomorrow Message-ID: Dear Colleagues, This is a kind reminder that the deadline for extended abstract submissions to TFP 2007 is tomorrow, Feb. 1 at 11:59 EST. We are also pleased to announce that the TFP 2007 invited speaker is John McCarthy, Stanford University. For further details, please visit our website at: http://cs.shu.edu/tfp2007/ . The TFP 2007 program committee looks forward to receiving your submissions! Best wishes, Marco ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/hugs-users/attachments/20070131/dcca4791/attachment.htm From tfp2007 at shu.edu Wed Jan 31 10:26:45 2007 From: tfp2007 at shu.edu (TFP 2007) Date: Wed Jan 31 10:21:43 2007 Subject: [Hugs-users] Correction: TFP 2007 Submission Deadline is Tomorrow Message-ID: Dear Colleagues, Apologies in advance for the "p.m." ommission. This is a kind reminder that the deadline for extended abstract submissions to TFP 2007 is tomorrow, Feb. 1 at 11:59 p.m. EST. We are also pleased to announce that the TFP 2007 invited speaker is John McCarthy, Stanford University. For further details, please visit our website at: http://cs.shu.edu/tfp2007/ . The TFP 2007 program committee looks forward to receiving your submissions! Best wishes, Marco ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/hugs-users/attachments/20070131/5dd6414d/attachment.htm