- Glasgow-haskell-users

Template Haskell reification
by Sean Seefried 06 Jan '03

06 Jan '03

Why is it that one can't reify top level function declarations? At the moment it only seems that we can reify type declarations. No immediate reason for this seems to spring to mind, but there may be one. Thanks, Sean

1 0

calling haskell from C from haskell
by Arjen Hommersom 03 Jan '03

03 Jan '03

Hello, Is calling haskell from C from haskell possible? This is what i tried (generated with green-card): {-# OPTIONS -#include "Main_stub.h" #-} module Main where import StdDIS foreign export ccall foo :: Int -> Int foo i = i+1 bar :: Int -> IO Int bar arg1 = _casm_ ``do {int arg1;int res1; arg1 = (int)%0; do { res1 = foo(arg1); printf("Result = %%d\n", res1); %r = (int)(res1);} while(0); } while(0);'' arg1 >>= \ res1 -> (return (res1)) main = do i <- bar 1 putStrLn (show i) Compiling it with: ghc -fglasgow-exts -package lang -fvia-C -c Main.hs ghc -o test -package lang Main.o Main_stub.o StdDIS.o results in: $ ./test Result = 2 Segmentation fault compiling it with some variation of startupHaskell() and shutdownHaskell() does not seem to help. Regards, Arjen Hommersom

2 1

RE: Translating seq into Core
by Simon Peyton-Jones 03 Jan '03

03 Jan '03

let b=a in e | -----Original Message----- | From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de] | Sent: 03 January 2003 15:22 | To: glasgow-haskell-users(a)haskell.org | Subject: Re: Translating seq into Core | | Thanks for that answer. I suggested something like that. | Can you explain me, how the Haskell-expression | case a of b -> e (in Haskell, not strict, right?) | ist translated to Core? | | | | | > seq a b = case a of { DEFAULT -> b } | > | > In Core, case is always strict. | > | > | -----Original Message----- | > | From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de] | > | Sent: 03 January 2003 14:11 | > | To: glasgow-haskell-users(a)haskell.org | > | Subject: Translating seq into Core | > | | > | Hallo, | > | | > | my question ist, how the "seq" operator is translated into the | > | GHC-core-language? | > | | > | I had suspected, the core-language has a special strictness-operator, | > but I | > | saw, that this is not the case. | > | | > | | > | David Sabel | > | JWGU Frankfurt | > | | > | _______________________________________________ | > | Glasgow-haskell-users mailing list | > | Glasgow-haskell-users(a)haskell.org | > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | > _______________________________________________ | > Glasgow-haskell-users mailing list | > Glasgow-haskell-users(a)haskell.org | > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

RE: Translating seq into Core
by Simon Peyton-Jones 03 Jan '03

03 Jan '03

seq a b = case a of { DEFAULT -> b } In Core, case is always strict. | -----Original Message----- | From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de] | Sent: 03 January 2003 14:11 | To: glasgow-haskell-users(a)haskell.org | Subject: Translating seq into Core | | Hallo, | | my question ist, how the "seq" operator is translated into the | GHC-core-language? | | I had suspected, the core-language has a special strictness-operator, but I | saw, that this is not the case. | | | David Sabel | JWGU Frankfurt | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

2 1

Translating seq into Core
by David Sabel 03 Jan '03

03 Jan '03

Hallo, my question ist, how the "seq" operator is translated into the GHC-core-language? I had suspected, the core-language has a special strictness-operator, but I saw, that this is not the case. David Sabel JWGU Frankfurt

1 0

reaping fd's and flushing buffers
by William Lee Irwin III 03 Jan '03

03 Jan '03

Sure enough, after I say that all my fd reaping issues are solved at the Haskell level, I've been bitten by issues that look like the RTS doing things behind my back wrt. reaping fd's etc. etc. Basically, while I used socketToHandle the fd's got closed prematurely, and once I eliminated all uses of it, the socket fd's appeared to leak despite attempts to explicitly close them. Also, there were some very strange goings-on with respect to attempts to flush buffers after the fd's they were being flushed to were closed. So, what are the semantics here? Bill

2 2

RE: Run-time options in ghc on Linux
by Garner, Robin 03 Jan '03

03 Jan '03

Ok, $ cat >null.hs module Main(main) where main = return () $ ghc null.hs -o null $ ./null +RTS -? $ Cheers, -----Original Message----- From: Simon Marlow [mailto:simonmar@microsoft.com] Sent: Friday, 20 December 2002 20:53 To: Garner, Robin; glasgow-haskell-users(a)haskell.org Subject: RE: Run-time options in ghc on Linux > The +RTS options don't seem to be working for me on Linux > (Redhat 7.2, ghc 5.04 and 5.04.1 installed via the .rpms). > > One of my programs will happily consume all available memory, > even though I have +RTS -M64M, and another program fails with > > Stack space overflow: current size 1048576 bytes. > Use `+RTS -Ksize' to increase it. > > even though I'm using +RTS -K10M. Well, it works here... if you say "+RTS -?" does it print the help text? Could you post the exact command lines you're using to compile/link the program, and the command line used to run it? Cheers, Simon

1 0

ANNOUNCE - "HOC" - Haskell to Objective C binding for Mac OS X
by Wolfgang Thaller 02 Jan '03

02 Jan '03

My first experiment with Template Haskell is available for download (16KB) at: http://www.kfunigraz.ac.at/imawww/thaller/wolfgang/HOC020103.tar.bz2 HOC --- Haskell to Objective C ============================== This is a first development snapshot of HOC, an experimental Haskell binding to Apple's Objective C runtime on Mac OS X. It is intended to be used in order to access the "Cocoa" API for writing graphical user interfaces entirely in Haskell. HOC relies on Template Haskell to achieve its goals and therefore requires a prerelease GHC 5.05 (from CVS) in order to run. No additional code-generating tools are required. You can: *) create objects *) send messages *) define classes Not yet supported: *) floating-point parameters *) messages to super *) ghci (the ghci Linker doesn't currently load Objective-C object files) Other disappointments: *) Memory management of Objective C objects has to be done manually. *) You have to declare Cocoa classes, selectors and their types first, they are not predefined. Compile using sh build.sh and run by double-clicking the Test application or by typing Test.app/Contents/MacOS/Test If you double-click the Test application before compiling, the Finder will report an "unexpected error" (because the Test.app wrapper doesn't contain a binary). ------- (C) 2003 Wolfgang Thaller Permission is granted to use it for any purpose you like. It is provided AS IS, there are absolutely no warranties. ------- Have fun! Wolfgang Thaller wolfgang.thaller(a)gmx.net

1 0

MacOS X (10.2.2) standalone ghc app
by Reto Kramer 02 Jan '03

02 Jan '03

I'm trying to deliver a self contained app that I developed with ghc 5.04.1 on Mac OS X (10.2.2). It all works well if ghc is installed on the machine, but on a user-machine w/o ghc, the following file is needed: HaskellSupport.framework/Versions/A/HaskellSupport The error message is: idc_Darwin can't open library: HaskellSupport.framework/Versions/A/HaskellSupport (No such file or directory, errno = 2) Trace/BPT trap Could someone explain why this is needed on OSX? It seems OS specific, for I don't have any of these issues on Windows and Linux. Any hint about how to do the linking statically on OSX would be greatly appreciated. Thanks, - Reto

3 3

Firmalar İçin En Verimli ve Karlı TİCARET PORTALI Açıldı...
by Neslihan ÇETİN 01 Jan '03

01 Jan '03

Bu mesajın içeriğini düzgün bir şekilde göremiyorsanız, www.e-talep.com/tanitim <http://www.e-talep.com/tanitim> adresini ziyaret edebilirsiniz. <http://www.e-talep.com> _____ Neden ? E-ticaret Neden ? E-talep.com _____ Ticaretin %35'i internete taşınacak, sizde yerinizi alın !!! 2005 yılına kadar firmalar arası ticaretin %35'inin elektronik ortama taşınacağı tahmin edilmektedir. Bir firma çalışanı olarak veya firma sahibi olarak bu gelişmelerin dışında kalmayıp, sizin için tasarlanan ve hizmetinize sunulan E-talep.com gibi ücretsiz teknolojileri çalışma hayatınıza entegre etmelisiniz. E-talep.com ile Firmanız daha hızlı kar edecek Firmaların, Pazarlama ve Satınalma bölümleri için tasarlanan E-talep.com, karlı ticaret ortamı ile satışlarınızda artışa neden olacak, böylece hızlı kar etmenizi sağlayacak. Satın almada ki %15'lere varan fiyat avantajı ile girdi maliyetleriniz azalacak, böylece kar marjınız yükselecektir. E-talep.com ile rekabet gücünüzü ve verimliliğinizi artıracaksınız Tüm kamu ve firma alımlarından veya bizim tabirimizle; güncel taleplerden anında haberdar olacak, rakip firmaların bir adım önüne geçeceksiniz. Ayrıca pazarlama ve satın alımda verimliliği artırarak zaman ve para tasarrufu sağlayacaksınız. Satın alım sırasında %8 ile %15 arası kar edeceksiniz Firmanızın alımlarını e-talep.com üzerinde yayınlayarak, beklemediğiniz fiyat indirimleri ile karşılaşacak, girdi maliyetlerinizi azaltacaksınız. Alımlar sırasında ortalama %8 ila %15 arası kar sağlayacaksınız. Firmalar için zaman çok daha hızlı akıyor Firmaların artık hantal bir yapıyla büyümesi söz konusu değil, artık satacağı ürünleri kısa sürede pazarlamalı, ihtiyaç duyduğu ürünleri ise daha hızlı siparişedip satın almalı. E-talep.com yüksek teknolojisiyle, yatırım yapmanıza ve para harcamanıza gerek kalmadan bu imkanı size sunuyor. E-talep.com ailemizde sizi de görmek istiyoruz Her geçen gün ailemiz büyüyor 2 ay gibi kısa bir sürede 1000 üyeyi aştık, zamanla daha büyüyeceğimiz inancındayız. Ailemize katılarak, küçük ve orta ölçekli firmaların, kamu kurum ve kuruluşlarının oluşturduğu çok geniş bir alıcı ve satıcı kitlesine ulaşacak, yeni iş ortakları edineceksiniz. E-talep.com'un arkasında güçlü bir kadro var E-talep.com firmalar arası ticaret ve bilişim teknolojilerinde uzman olan, profesyonel bir ekip tarafından tasarlandı. Sizlerden gelen öneri ve isteklerle bu ticaret platformu daha da geliştirilerek, kolay kullanılabilir, verimli ve etkin bir ticaret ortamı oluşturulacaktır. E-talep.com Kullanımı kolay güvenli bir ticaret platformudur E-talep.com kullanımı kolay, üyelerin gizlilik kurallarını gözeten, güvenli bir ticaret platformundur. Daha fazla bilgi için; www.e-talep.com <http://www.e-talep.com> adresini ziyaret edin. _____ Görüş, öneri ve sorularınız için; t ı k l a y ı n <http://www.e-talep.com/Pages/Contact.asp> E-posta almak istemiyorsanız; t ı k l a y ı n <mailto:destek@e-talep.com?subject=E-posta almak istemiyorum>

1 0