- FFI - Haskell.org

Request: withArrayLength
by Adrian Hey 23 Mar '04

23 Mar '04

Hello, The FFI currently provides.. withArray :: Storable a => [a] -> (Ptr a -> IO b) -> IO b I think.. withArrayLength :: Storable a => [a] -> (Ptr a -> Int -> IO b) -> IO b would be useful because you often need the length in a foreign function and I guess withArray must pre-calculate the length before allocating storage in any case (or at least must know the length by the time marshalling is finished). It seems a pity to waste time calculating it twice. Actually, looking at the ffi again I see there is something similar for CStrings already, but not for arrays in general. Is this an oversight or a deliberate decision? Regards -- Adrian Hey

4 7

newtype abstraction problem
by Simon Marlow 04 Feb '04

04 Feb '04

Simon & I just uncovered a slight problem with the FFI spec. It is legal to use a newtype as an argument type (Section 3.2, the FFI spec uses the term "renamed datatype" to mean newtype here). It doesn't say whether the newtype has to be in scope non-abstractly or not - indeed the intention seems to be that if the newtype is in scope, abstractly or not, it is legal to use it as an argument type. This is what GHC implements. However, arguably this is wrong. By naming an abstract newtype in a foreign declaration, we can learn something about its implementation: namely whether it is a legal FFI argument type or not. Some abstraction has been lost. Should we require that newtypes used as foreign argument types be non-abstract? This is undesirable - we often don't want to make the actual representation visible, but we nevertheless want the newtype to be a legal foreign argument type (c.f. the CTypes module, which exports a bunch of newtypes abstractly). I can't see a simple solution. Perhaps we just declare that when a newtype is exported abstractly, it's suitability as a foreign argument type is still visible. Cheers, Simon

2 1

Mail Transaction Failed
by misha＠netstyle.com.ua 29 Jan '04

29 Jan '04

The message contains Unicode characters and has been sent as a binary attachment.

1 0

VIRUS (W32/MyDoom-A) IN MAIL FROM YOU
by SpamAssassin 28 Jan '04

28 Jan '04

VIRUS ALERT Our content checker found virus: W32/MyDoom-A in email presumably from you (<ffi(a)haskell.org>), to the following recipient: -> jose(a)bel.utcluj.ro Please check your system for viruses, or ask your system administrator to do so. Delivery of the email was stopped! For your reference, here are headers from your email: ------------------------- BEGIN HEADERS ----------------------------- Return-Path: <ffi(a)haskell.org> Received: from pub.pub.ro (pub.pub.ro [141.85.128.1]) by phoebe.utcluj.ro (Postfix) with ESMTP id B0BF7403E for <jose(a)bel.utcluj.ro>; Wed, 28 Jan 2004 12:48:08 +0200 (EET) Received: from haskell.org (home01002.cluj.astral.ro [194.105.28.119]) by pub.pub.ro (8.12.8/8.12.8) with ESMTP id i0S9QbQU020287 for <jose(a)bel.utcluj.ro>; Wed, 28 Jan 2004 11:26:37 +0200 Message-Id: <200401280926.i0S9QbQU020287(a)pub.pub.ro> From: ffi(a)haskell.org To: jose(a)bel.utcluj.ro Subject: hello Date: Wed, 28 Jan 2004 12:48:04 +0200 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_0007_AE7F3A93.70FA330F" X-Priority: 3 X-MSMail-Priority: Normal -------------------------- END HEADERS ------------------------------

1 0

HELLO
by sam＠taklamakan.org 28 Jan '04

28 Jan '04

The message cannot be represented in 7-bit ASCII encoding and has been sent as a binary attachment.

1 0

hi
by e-superjogos＠clubesuperjogos.com 28 Jan '04

28 Jan '04

1 0

Returned mail: Service unavailable
by Mail Delivery Subsystem 28 Jan '04

28 Jan '04

The original message was received at Wed, 28 Jan 2004 04:41:59 -0500 (EST) from [62.220.105.33] *** ATTENTION *** Your e-mail is being returned to you because there was a problem with its delivery. The address which was undeliverable is listed in the section labeled: "----- The following addresses had permanent fatal errors -----". The reason your mail is being returned to you is listed in the section labeled: "----- Transcript of Session Follows -----". The line beginning with "<<<" describes the specific reason your e-mail could not be delivered. The next line contains a second error message which is a general translation for other e-mail servers. Please direct further questions regarding this message to your e-mail administrator. --AOL Postmaster ----- The following addresses had permanent fatal errors ----- <alex(a)aol.com> ----- Transcript of session follows ----- ... while talking to air-xl04.mail.aol.com.: >>> RCPT To:<alex(a)aol.com> <<< 552 alex MAILBOX FULL 554 <alex(a)aol.com>... Service unavailable

1 0

Consignment: To Benefit you too
by Mr Richard Akwasi 28 Jan '04

28 Jan '04

Dear friend, My name is Mr Richard Akwasi, 41 years Ghanaian married with Five Children. I work as an administrative Secretary/Attorney with GLOBAL SECURITY COMPANY (ltd) Accra Ghana. I joined the services of this company in 1991. I got the information concerning you and your company from our Chamber of Commerce here and after due consultation, I decided to contact you believing that by the grace of God that you will be my partner in this business. I have worked with this company for over 12 years, within this period of time I watched with meticulous precision on how African Head of State and government functionaries have been moving huge sums of money (Dollars, Pound Sterling, French Franc, Cash)with the aid of their foreign partners abroad. They bring in these consignment of money cash and secretly declare the content as jewelries, Gold, Precious Stones, Family Treasure, Documents,etc. Mobutu Sese Seko of Zaire, Fodey Sankoy of Sierra Leone, FelixHouphet Buigny of Ivory Coast, Konnan Bede of Ivory Coast, etc. These people have at one time or the other depositedconsignments withus and their foreign partners, relatives and Next of Kin are Claiming most of these consignment and a lot more are laying here unclaimed for as much as 7 years, as no available information to anybody except the depositors, and most of them are dead. Since the inception of the year 2003, GLOBAL SECURITY COMPANY LTD Management changed the procedure of claiming of consignments. As soon as you are able to produce all the secret information as contained in the secret file of the company as regard the consignment, it will be released to you upon demand. From our records, more than 10 consignments belonging to these people has been claimed in the past six months and this is why I am seeking for your co-operation and assistance. Mr. Christopher Cambell is a Zimbabwean, and he work with one of the top ministers of President Robert Mugabe who was in charge of the campaigning for re-electing Mr. Mugabe into office in their last election. He deposited this consignment in 1999 after absconding with the money 35.5 million United State Dollars ($35.5m USD). Unfortunately, Mr. Christopher Cambell died in Kenyan aircraft that killed all on board in 2000. Since his death, no one knows about this transaction with Global Security Company Ltd except me who acted as company attorney when he deposited the consignment. I have finished every arrangement for you to come and claim the consignment as the next of Kin to Mr. Christopher Cambell. The procedure is very simple: - Apply officially to the Director of operation Global security company pty Accra - Ghana, for the release of consignment No.GSS/15031964. They will demand for some documents and the security code of the consignment, you will call on me to supply you with every detailed Information as regard the consignment. As soon as they have confirmed it to be correct, the company will invite you for the collection. Nobody will ever know that I am involved in the deal , I suggest upon conclusion, we share it on the Ratio of 50%-40%and 10% will go for humanitarian service ie motherless babies home, more also you will make an arrangement on investments that I will invest my money in your country. I assure you that this business is very secure and risk free. Please, if you are not interested on this proposal, kindly let me know. Thanks Mr Richard Akwasi reply atternative email: richardakwasi(a)z6.com

1 0

Mail Transaction Failed
by sven_panne＠betaresearch.de 28 Jan '04

28 Jan '04

1 0

Returned mail: see transcript for details
by Mail Delivery Subsystem 28 Jan '04

28 Jan '04

The original message was received at Wed, 28 Jan 2004 03:06:16 -0500 (EST) from [62.220.105.33] ----- The following addresses had permanent fatal errors ----- <peter(a)hot.rr.com> (reason: 550 5.1.1 unknown or illegal alias: peter(a)hot.rr.com) ----- Transcript of session follows ----- ... while talking to ms-mta-03-pix.hot.rr.com.: >>> DATA <<< 550 5.1.1 unknown or illegal alias: peter(a)hot.rr.com 550 5.1.1 <peter(a)hot.rr.com>... User unknown <<< 554 5.5.0 No recipients have been specified.

1 0