mail archive The Hugs Users Mailing List
hugs-users.haskell.org
(List home) (Recent threads) (40 other Haskell lists)
Subscription Options
- RSS or Atom: Read-only subscription using a browser or aggregator. This is the recommended way if you don't need to send messages to the list. You can learn more about feed syndication and clients here.
- Conventional: All messages are delivered to your mail address, and you can reply. To subscribe, send an email to the list's subscribe address with "subscribe" in the subject line, or visit the list's homepage here.
- This list contains about 879 messages, beginning Oct 2000
- This list doesn't seem to be active
The Hugs Users Mailing List
April 2003
(♡이라 불리우는 마음의 병..) — 104918600301 Apr 2003
<style> p {margin-top:0px;margin-bottom:0px;} </style><table border=0 width=100% bgcolor='' cellpadding=0 cellspacing=0 align=c...
(Dr.Williams Okun.) — 104960940106 Apr 2003
Dear Sir=2CREQUEST ASSISTANCE=2FPARTNERSHIP =2E I am a member of a contract award and review committee =2EA contract already executed by a foreign fir...
(Chiyan Chen) — 105047397816 Apr 2003*
Hi, I am a ph.d student working in the area of typed programming langauges. And I am a happy Haskell user. Recently I am working on something that inv...
Help!! (1 Reply)
(Amy Barnes) — 105048617816 Apr 2003*
Finally worked out my problem was not that I didn't know to load hugs, I have a file missing - [localhost:~] amy% hugs dyld: hugs can't open l...
Existentials (3 Replies)
(Simon Peyton-Jones) — 105057567317 Apr 2003*
Dear GHC users, Hugs users, and Hugs implementors Many of you have grown to love existential data types, which we current write like this: data T =3D ...
Existentials (1 Reply)
(Simon Peyton-Jones) — 105057698217 Apr 2003*
GHC and Hugs both do. In fact, GHC supports arbitrary-rank universal quantification. Simon...
(Simon Marlow) — 105057722417 Apr 2003
=20'forall' is already a special keyword that only applies inside types, in both Hugs and GHC. Cheers, Simon...
(Simon Marlow) — 105057737717 Apr 2003
=20Oops, I lie. Not in Hugs, only in GHC. Cheers, Simon...
Existentials (1 Reply)
(Simon Marlow) — 105059259417 Apr 2003*
=20You've written an existential constructor. For universal quantification, write it like this: data T =3D Foo (forall a . Enum a =3D> a -...
(Hans Aberg) — 105060026817 Apr 2003
You might determine whether it should be "all" or "exist" by means of a formal analysis: In metamathematics exist x: A is a rewrit...
(Simon Marlow) — 105100408522 Apr 2003
=20If the quantifier is outside the constructor, then it scopes over all the fields of the constructor. So, if you write data T =3D forall a . C t1 .....
(Marco Vezzoli) — 105117832424 Apr 2003
Hi, I'm learning how to use ffi with hugs (latest version, on Solaris 8). I can compile this simple example without errors Test.hs--- module Test ...
TrafficMagnet Reseller — 105147267927 Apr 2003
--329293331.1051472679578.JavaMail.SYSTEM.emaserver2 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Become a TrafficMagnet Re...
Dr. Ahmet Yalcin — 105147312127 Apr 2003
Arkadaslar, lütfen dikkate alin, yardimci olalim: Merhaba, cok zor durumda ve baska caresi kalmamis biri olarak hosgörünüze ve insan sevginize sig...
Hugs and cygwin (1 Reply)
(Karl Pflästerer) — 105160634629 Apr 2003*
Hi, I wanted to take a look at Haskell and thougt Hugs would be a good tool to start with. I have a windows as OS so I first downloaded the windows bi...
show tree (1 Reply)
(James Grist) — 105173331130 Apr 2003*
ok, I've got a prob with this 'ere piece of code there is no Show instance for Tree, so I anticipated the result of typing... Nil at the hugs ...