- Haskell-Cafe - Haskell.org

Unable to hc-build ghc 6.6.1
by Re, Joseph (IT) 10 Jun '08

10 Jun '08

I'm trying to do a registered hc-build on linux2.4 x86 with ghc 6.6.1. After fixing mk/bootstrap.mk to include "-lncurses" in HC_BOOT_LIBS to get past an undefined reference to "tputs" et al, I've gotten stuck with the following undefined reference error: ------------------------------------------------------------------------ == gmake all -wr; in /tmp/ghc-6.6.1/utils/runstdtest ------------------------------------------------------------------------ gmake[1]: Nothing to be done for `all'. Finished making all in runstdtest: 0 ------------------------------------------------------------------------ == gmake all -wr; in /tmp/ghc-6.6.1/utils/genapply ------------------------------------------------------------------------ gcc -o genapply -fno-defer-pop -fomit-frame-pointer -fno-builtin -DDONT_WANT_WIN32_DLL_SUPPORT -D__GLASGOW_HASKELL__=606 -O -I/tmp/ghc-6.6.1/includes -I/tmp/ghc-6.6.1/libraries/base/include -I/tmp/ghc-6.6.1/libraries/unix/include -I/tmp/ghc-6.6.1/libraries/parsec/include -I/tmp/ghc-6.6.1/libraries/readline/include -L/tmp/ghc-6.6.1/rts -L/tmp/ghc-6.6.1/libraries/base -L/tmp/ghc-6.6.1/libraries/base/cbits -L/tmp/ghc-6.6.1/libraries/haskell98 -L/tmp/ghc-6.6.1/libraries/parsec -L/tmp/ghc-6.6.1/libraries/regex-base -L/tmp/ghc-6.6.1/libraries/regex-compat -L/tmp/ghc-6.6.1/libraries/regex-posix -L/tmp/ghc-6.6.1/libraries/Cabal -L/tmp/ghc-6.6.1/libraries/template-haskell -L/tmp/ghc-6.6.1/libraries/readline -L/tmp/ghc-6.6.1/libraries/unix -L/tmp/ghc-6.6.1/libraries/unix/cbits -u "base_GHCziBase_Izh_static_info" -u "base_GHCziBase_Czh_static_info" -u "base_GHCziFloat_Fzh_static_info" -u "base_GHCziFloat_Dzh_static_info" -u "base_GHCziPtr_Ptr_static_info" -u "base_GHCziWord_Wzh_static_info" -u "base_GHCziInt_I8zh_static_info" -u "base_GHCziInt_I16zh_static_info" -u "base_GHCziInt_I32zh_static_info" -u "base_GHCziInt_I64zh_static_info" -u "base_GHCziWord_W8zh_static_info" -u "base_GHCziWord_W16zh_static_info" -u "base_GHCziWord_W32zh_static_info" -u "base_GHCziWord_W64zh_static_info" -u "base_GHCziStable_StablePtr_static_info" -u "base_GHCziBase_Izh_con_info" -u "base_GHCziBase_Czh_con_info" -u "base_GHCziFloat_Fzh_con_info" -u "base_GHCziFloat_Dzh_con_info" -u "base_GHCziPtr_Ptr_con_info" -u "base_GHCziStable_StablePtr_con_info" -u "base_GHCziBase_False_closure" -u "base_GHCziBase_True_closure" -u "base_GHCziPack_unpackCString_closure" -u "base_GHCziIOBase_stackOverflow_closure" -u "base_GHCziIOBase_heapOverflow_closure" -u "base_GHCziIOBase_NonTermination_closure" -u "base_GHCziIOBase_BlockedOnDeadMVar_closure" -u "base_GHCziIOBase_Deadlock_closure" -u "base_GHCziWeak_runFinalizzerBatch_closure" -u "__stginit_Prelude" GenApply.o -lHSreadline -lreadline -lHStemplate-haskell -lHSunix -lHSunix_cbits -lHSCabal -lHShaskell98 -lHSregex-compat -lHSregex-posix -lHSregex-base -lHSbase -lHSbase_cbits -lHSparsec -lHSrts -lgmp -lm -lncurses -ldl -lrt GenApply.o(.text+0x13a55): In function `s5cr_info': : undefined reference to `base_DataziList_zdsintersperse_info' GenApply.o(.text+0x14c11): In function `s58p_info': : undefined reference to `base_DataziList_zdsintersperse_info' GenApply.o(.text+0x17d79): In function `s54x_info': : undefined reference to `base_DataziList_zdsintersperse_info' collect2: ld returned 1 exit status gmake[1]: *** [genapply] Error 1 Failed making all in genapply: 1 gmake: *** [all] Error 1 gmake: Leaving directory `/tmp/ghc-6.6.1/utils' Does anyone know why this might be occuring? The only reference to "base_DataziList_zdsintersperse_info" on google didn't seem to have an answer. For reference my mk/build.mk is: SRC_HC_OPTS = -H32m -O -fvia-C -Rghc-timing -keep-hc-files GhcLibHcOpts = -O GhcLibWays = SplitObjs = NO just as the example one given on http://hackage.haskell.org/trac/ghc/wiki/Building/Porting. Also- in case this is related- I moved AutoApply_thr.thr_hc to AutoApply_thr.hc (and likewise for debug, thr_debug, and thr_p). Thanks, Joseph Re -------------------------------------------------------- NOTICE: If received in error, please destroy and notify sender. Sender does not intend to waive confidentiality or privilege. Use of this email is prohibited when received in error.

2 3

DEFUN08: Final Call for Talks & Tutorials (deadline: June 27)
by Matthew Fluet (ICFP Publicity Chair) 10 Jun '08

10 Jun '08

Final Call for Talks and Tutorials ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important dates Proposal Deadline: June 27, 2008, 0:00 UTC Notification: July 14, 2008 DEFUN 2008 invites functional programmers who know how to solve problems with functional progamming to give talks and lead tutorials at the The ICFP Developer Tracks. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfalls. We invite proposals for presentations in the following categories: How-to talks: 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: - "How I made Haskell an extension language for SAP R/3." - "How I replaced /sbin/init by a Scheme program." - "How I hooked up my home appliances to an Erlang control system." - "How I got an SML program to drive my BMW." General language tutorials: Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials: Half-day tutorials on techniques, technologies, or solving specific problems in functional programming. Examples: - how to make the best use of specific FP programming techniques - how to inject FP into a development team used to more conventional technologies - how to connect FP to existing libraries / frameworks / platforms - how to deliver high-performance systems with FP - how to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to ICFP 2008. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: - Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. - Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? - Explain why people will want to attend: is the language or library useful for a wide range of attendees? Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? - Explain what benefits attendees are expected to take home to their own projects. - For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois

1 0

ANN: funsat 0.5, a SAT solver written in Haskell
by Denis Bueno 10 Jun '08

10 Jun '08

Hi all, It is my pleasure to announce the first reasonable release of funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems. It is available from Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funsat http://churn.ath.cx/funsat.html As well as in a Git repo, which contains many benchmark files funsat can solve. git clone http://churn.ath.cx/funsat Funsat is intended to be reasonably efficient for practical problems and convenient to use as a constraint-solving backend in other software. The former is achieved by using several well-known techniques from the literature including two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. The latter is supported currently by efficient unsatisfiable core generation, which generates a minimal unsatisfiable problem for a given unsatisfiable problem. In the future, I plan to add support for converting boolean circuits into CNF, as well as support for other types of constraints. Please try it out and report bugs! (This email is the one listed on the website.) -- Denis

1 0

File locking wishlist
by Joachim Breitner 09 Jun '08

09 Jun '08

Hi, for a program of mine (darcswatch[1]), a rather long running process is run at certain events (by cron, and by new emails). I want to achieve that: * Only one instance of the program runs at a time. * If new events come in while the program runs, it should re-run itself * There is information attached to the events (only one Bool ATM) So I’d like to implement something with this, or a similar, interface: ======================================================================= module MyLocking where -- | tries to get the lock. If it fails, notifies the running process -- to re-start itself afterwards, with the given information -- returns True if the lock was aquired lockOrMark :: Show a => FilePath -> a -> IO Bool -- | release the lock. If new events have come in, they are returned -- in the list, and the lock is still kept. If the list is empty, -- the lock was successfully released. releaseLock :: Read a => FilePath -> IO [a] ======================================================================= I would use this module in this way: realWork args = do someStuff args newArgs <- releaseLock "someDir/" unless (null newArgs) $ do -- we missed some events, so re-run and then try again. let newArg = combineInSomeWay newArgs realWork newArg main = do args <- getArgs l <- lockOrMark "someDir/" args when l $ do -- we got the lock, so lets work realWork args I hope this makes the idea clear. How could a possible implementation look like, when all operations should be atomic? I was considering this, would it work fine? lockOrMark would try to create a directory in the path. Whoever creates the directory has the lock. If it works, create. If it fails, because the directory already exists, then write the given args to a temporary file with a unique name, and move it into that directory. If that fails (because the directory has disappeared, i.e. the lock released), start over with trying to create the directory. If it works, then you are done. releaseLock would try to rmdir the directory. If that succeeds, no files have been in there, so no events were missed. If it does not succeed, then there were files. Read and delete them and return the list of arguments contained in them. Greetings, Joachim [1] http://darcswatch.nomeata.de/ -- Joachim Breitner e-Mail: mail(a)joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nomeata(a)joachim-breitner.de

2 2

Re: [Haskell-cafe] ANNOUNCE: hfann-01
by Olivier Boudry 09 Jun '08

09 Jun '08

On Mon, Jun 9, 2008 at 11:29 AM, Don Stewart <dons(a)galois.com> wrote: > Excellent. Would you like to upload it to hackage.haskell.org, so it can > be easily installed with the 'cabal install' tool? > > Hi all, As suggested by Don, I just uploaded the hfann package to hackage.haskell.org. It's available here: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hfann Best regards, Olivier.

1 0

"sum" in hmatrix and blas?
by Xiao-Yong Jin 09 Jun '08

09 Jun '08

Hi, probably I am just being dumb, but what is the most efficient way to do a sum of every elements in a Vector of either hmatrix or blas? I know there is sum of absolute values from BLAS. So what about I want a plain "sum"? I can only think of the following two ways. 1. Using Data.List.foldl', so it is > sum' = foldl' (+) 0 . toList in hmatrix or > sum' = foldl' (+) 0 . elems in blas. 2. Using <.>, so it is > sum' v = constant 1 (dim v) <.> v in hmatrix or > sum' v = constant (dim v) 1 <.> v in blas. Which one is better? I guess it probably depends on the internal implementation of BLAS, but I am actually thinking in some thing similar to > t += *v++; Any delightful idea to convert my mind from a C shaped one to a Haskell shaped one? Best, Xiao-Yong -- c/* __o/* <\ * (__ */\ <

4 8

ANNOUNCE: hfann-01
by Olivier Boudry 09 Jun '08

09 Jun '08

Hi all, I'm pleased to announce the first release of the hfann module ( http://code.haskell.org/~oboudry/hfann/) This module is an interface to the "Fast Artificial Neural Network (FANN)" library (see http://leenissen.dk/fann/) This is an early release. At the moment the hfann module does not cover all the functions found in the FANN library but it should be useable to train and use simple Neural Networks. At least is can be used to run an equivalent of the "Getting Started" example found in http://leenissen.dk/fann/html/files2/gettingstarted-txt.html. The module was developped on Windows XP with GHC-6.8.2. The README should provide you with all required information to install this module. The haddock documentation should give enough information to get started using it. == Installation == Download version 2.0 of the FANN library from: http://leenissen.dk/fann/download.php and build it according to the instruction found on: http://leenissen.dk/fann/html/files2/installation-txt.html Get the hfann module darcs get http://code.haskell.org/~oboudry/hfann/ Build it using Cabal runghc Setup.lhs configure runghc Setup.lhs build runghc Setup.lhs haddock runghc Setup.lhs install == Examples == Training an ANN to the xor function: > import HFANN > main = do > withStandardFann [2,3,1] $ \fann -> do > setActivationFunctionHidden fann fannSigmoidSymetric > setActivationFunctionOutput fann fannSigmoidSymetric > trainOnFile fann "xor.data" -- train data > 20000 -- max epochs > 100 -- epochs between reports > 0.001 -- desired error > saveFann fann "xor.ann" C:\Temp\Haskell\hfann\examples\xor>Train.exe Max epochs 20000. Desired error: 0.0010000000. Epochs 1. Current error: 0.2503675520. Bit fail 4. Epochs 100. Current error: 0.0181358512. Bit fail 0. Epochs 169. Current error: 0.0009599295. Bit fail 0. Using the trained ANN on the 4 possible input values to the xor function (-1 = False, 1 = True). > import HFANN > main = do > withSavedFann "xor.ann" $ \fann -> do > mapM_ (\x -> runFann fann x >>= print) [[-1,-1],[-1,1],[1,-1],[1,1]] C:\Temp\Haskell\hfann\examples\xor>Use.exe [-0.950566361876292] [0.9178714756661263] [0.9457588340834527] [-0.9482816646878051] The "xor.data" training data content: 4 2 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 The files for this example can be found in the "examples/xor" directory == Bug reports, suggestions and comments are welcome. You can send them directly to my e-mail address. Olivier.

1 0

Moving "forall" over type constructors
by Klaus Ostermann 09 Jun '08

09 Jun '08

At first I'd like to thank Claus, Ryan, Edsko, Luke and Derek for their quite helpful replies to my previous thread. In the course of following their advice I encountered the problem of moving a "forall" quantifier over a wrapper type constructor. If I have > newtype Wrapper a = Wrapper a and I instantiate Wrapper with a polymorphic type, then it is possible to move the quantifier outside: > outside :: Wrapper (forall a. (t a)) -> (forall a. Wrapper (t a)) > outside(Wrapper x) = Wrapper x (surprisingly the code does not work with the implementation 'outside x = x'; I guess this is a ghc bug) However, the other way around does not work: > inside :: (forall a. Wrapper (t a))-> Wrapper (forall a. (t a)) > inside x= x results in the following error: Couldn't match expected type `forall a. t a' against inferred type `t a' Expected type: Wrapper (forall a1. t a1) Inferred type: Wrapper (t a) In the expression: x In the definition of `inside': inside x = x Any ideas on how to make this work? Klaus

2 3

Quick question for a slow program
by Slavomir Kaslev 09 Jun '08

09 Jun '08

Hello, I was just brushing my haskell-fu skills writing a solution for Google Treasure Hunt Problem 4. Hers is what it looks like: > primes = sieve [2..] > where > sieve (p:xs) = p : sieve [x | x <- xs, x `mod` p /= 0] > > sumOf n l = sum (take n l) : sumOf n (tail l) > > find l = foldl1 aux l > where > aux (x:xs) (y:ys) | x == y = x : aux xs ys > | x < y = aux xs (y:ys) > | x > y = aux (x:xs) ys > > puzzle = find (reverse [primes, p7, p17, p41, p541]) > where > p7 = sumOf 7 primes > p17 = sumOf 17 primes > p41 = sumOf 41 primes > p541 = sumOf 541 primes > > main = do mapM (\x -> putStrLn $ show x) puzzle While the code is quite readable and straight forward it is as slow as tortoise with four legs broken. What optimizations would you suggest, while still keeping the code clear and highlevel? Thank you in advance. Cheers. -- Slavomir Kaslev

6 7

Package updates on haskell.org
by Don Stewart 09 Jun '08

09 Jun '08

The HWN, which I'm sadly too busy to maintain now, had a useful function of generating recent package releases and getting them on the wiki, and to people's inboxes. This facility has been replaced by two processes: 1) Users can subscribe to recent package updates via RSS: http://hackage.haskell.org/packages/archive/recent.rss 2) The 'hackage2hwn' script now runs to keep the http://haskell.org 'Recent Package Updates' section fresh, listing the latest updates. So you can always find the newest 20 packages by looking at haskell.org Cheers, Don

3 3