- Haskell-Cafe - Haskell.org

Osx, brew install of 64 bit ghc
by G 17 Apr '12

17 Apr '12

Got a new ghc via brew 7.0.4 and then recompiled / installed haskell-platform via brew Not getting issue trying to compile using ideah in intellij such as Bad interface file: /usr/local/Cellar/ghc/64-apple-darwin/lib/ghc-7.0.4/base-4.3.1.0/Prelude.hi magic number mismatch: old/corrupt interface file? (wanted 129742, got 33214052) Anyone point me in the right direction as to the issue ? Have tried trashing the project etc with no luck. Thanks

1 0

CFT -- Haskell Implementors' Workshop 2012
by Johan Tibell 17 Apr '12

17 Apr '12

Call for Talks ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012 Copenhagen, Denmark, September 14th, 2012 The workshop will be held in conjunction with ICFP 2012 http://www.icfpconference.org/icfp2012/ Important dates Proposal Deadline: 10th July 2012 Notification: 27th July 2012 Workshop: 14th September 2012 The Haskell Implementors' Workshop is to be held alongside ICFP 2012 this year in Copenhagen, Denmark. There will be no proceedings; it is an informal gathering of people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure. This relatively new workshop reflects the growth of the user community: there is a clear need for a well-supported tool chain for the development, distribution, deployment, and configuration of Haskell software. The aim is for this workshop to give the people involved with building the infrastructure behind this ecosystem an opportunity to bat around ideas, share experiences, and ask for feedback from fellow experts. We intend the workshop to have an informal and interactive feel, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2012. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop, we hope to study the underlying technology. We want to bring together anyone interested in the nitty-gritty details behind turning plain-text source code into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for a relatively short talk. We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 200 words to: johan.tibell(a)gmail.com We will also have a lightning talks session which will be organised on the day. These talks will be 2-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Lennart Augustsson (Standard Chartered Bank) * Manuel M T Chakravarty (University of New South Wales) * Gregory Collins - co-chair (Google) * Simon Marlow (Microsoft Research) * David Terei (Stanford University) * Johan Tibell - co-chair (Google)

1 0

process-conduit appears to hang on windows
by grant 17 Apr '12

17 Apr '12

Hi, I am trying to use process-conduit on windows, but it appears to hang when using the conduitCmd. Is there a reason why this doesn't work? Thanks for any help, Grant {-# LANGUAGE QuasiQuotes #-} import System.Process.QQ import Data.Conduit import qualified Data.Conduit.Binary as CB import qualified Data.Conduit.List as CL import Data.Conduit.Process import qualified Data.ByteString as B import System.IO main :: IO () main = runResourceT $ [scmd|dir *.txt|] $$ [ccmd|find /i "help"|] =$ CB.sinkHandle stderr main1::IO() main1 = runResourceT $ sourceCmd "dir" $= conduitCmd "find /i \"help\"" $$ CB.sinkHandle stdout

2 3

Connection to database
by yrazes 17 Apr '12

17 Apr '12

Hi guys, I was trying to get a connection MySql Haskell and I followed this steps: 1. install cabal-install install libghc-haskelldb-hdbc-dev (headers del haskell y hdbc) install libmysqlclient-dev (headers del mysqlclient) 2. git clone git://github.com/bos/hdbc-mysql.git 3. julita@yulys:~/hdbc-mysql$ ls ChangeLog Database README.markdown Test.hs COPYING HDBC-mysql.cabal Setup.lhs testsrc julita@yulys:~/hdbc-mysql$ runhaskell Test.hs but I got this error message: Database/HDBC/MySQL.hs:65:8: Could not find module `Database.HDBC.MySQL.RTS': Use -v to see a list of the files searched for. * I tried to do something about the Setup.lhs, but I could not do anything at all. If somebody can help me, I will appreciate it. Best regards, Julita

2 2

CFP SCAM 2012 - submissions due May 4 (abstracts: April 29)
by Sonia Haiduc 16 Apr '12

16 Apr '12

********************************************************************** * 12th IEEE International Working Conference on Source * * Code Analysis and Manipulation * * SCAM 2012 * * http://scam2012.cs.usask.ca/ * * * * September 23 - 24, 2012 * * Riva Del Garda, Trento, Italy * ********************************************************************** * *** CALL FOR PAPERS *** * ********************************************************************** OVERVIEW/SCOPE ************** The aim of SCAM is to bring together researchers and practitioners working on theory, techniques and applications, which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behavior of the system. The analysis and manipulation of source code thus remains a pressing concern. COVERED TOPICS AND PAPER FORMATS ******************************** We welcome submission of *full papers* that describe original and significant work in the field of source code analysis and manipulation. SCAM explicitly solicits results from any theoretical or technological domain that can be applied to the following or similar topics: - program transformation - abstract interpretation - program slicing - source level software metrics - decompilation - source level testing and verification - source level optimization - program comprehension SCAM also welcomes *short tool papers* that introduce tools for source code analysis and manipulation. Tool papers should describe a concrete source code analysis or manipulation tool that is available for download and general use and can be run and demonstrated at the conference. Submitted papers should not be longer than 10 pages (6 pages for tool papers). All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically in PDF form via the conference web site.Submitted papers must not have been previously published or concurrently submitted for consideration elsewhere. In addition to the main and tool tracks, SCAM 2012 solicits 2-page *Frontiers position papers* describing a significantly new idea in the theory, technology, application or engineering of source code analysis and manipulation systems. Frontiers authors will join in an open panel discussion of the frontiers of the area at the conference. IMPORTANT DATES *************** Abstract submission (full and frontiers papers): April 29, 2012 Papers submission (full and frontiers papers): May 04, 2012 Tool papers submission: May 31, 2012 Notification full and frontier papers: June 16, 2012 Notification tool papers: June 21, 2012 Camera ready submission: July 06, 2012 Working Conference: September 23 - 24, 2012 PROCEEDINGS *********** All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2012 will be considered for revision, extension, and publication in a special issue of the Journal of Software: Evolution and Process. ORGANIZING COMMITTEE ******************** *General Chair* James R. Cordy, Queen's University, Canada *Program Co-Chairs* Mariano Ceccato, Fondazione Bruno Kessler, Italy Zheng Li, Beijing University of Chemical Technology, China *Tool Chair* Chanchal K. Roy, University of Saskatchewan, Canada *Local Arangements Chair* Alessandro Marchetto, Fondazione Bruno Kessler, Italy *Finance Chair* Dave Binkley, Loyola University Maryland, USA *Publications Chair* Dawn Lawrie, Loyola University Maryland, USA *Publicity Chair* Sonia Haiduc, Wayne State University, Detroit, USA *Web chair* Minhaz Fahim Zibran, University of Saskatchewan, Canada

1 0

Announce: keera-three-balance-checker-0.0.1
by Ivan Perez 16 Apr '12

16 Apr '12

Hi everyone, I wrote a small app to keep my Three Mobile PayG balance always under control. I've been using it for a while and it seems to work fine. It's just an icon docked in the system bar that shows the current balance when you move the mouse over it. If you don't know what Three Mobile is, then you don't need this. If you use a different operator and would find this kind of app handy, let me know and we can probably find a way to make it work for you. Code, instructions and screenshots: https://github.com/ivanperez-keera/keera-three-balance-checker My cabal repo: remote-repo: ivanperez-keera:http://ivanperez-keera.github.com/packages/archive If any of you find it useful, I'd be glad to know. If you find any bugs, drop me a line and we'll find out how to fix them together. Cheers, Ivan. PS. Why Announce instead of ANNOUNCE? Because this is not a big deal, it's just a toy.

2 1

Building cabal-install for new ghc build
by Lyndon Maydwell 16 Apr '12

16 Apr '12

Hi Café. I'm building GHC from package ghc-7.4.1-src.tar.bz2 as the binary download was throwing segfaults for me (and apparently a few others). This has worked well and my issues with GHC and GHCi are now resolved. However I have needed to build cabal-install. This can't be done using cabal-install because it isn't installed :) I've found that I had to make several modifications to the bootstrap.sh and cabal-install.cabal files in order to get this to work. I am wondering how the maintainers of the Haskell-platform, etc are dealing with these issues. There seems to be a cabal-install-7.4.1 package on Hackage to address these issues, but I couldn't get it to work for me. Is this actually being used by the community? I realize that I am making trouble for myself by not just using the Haskell-Platform, but there are some packages I want to use that depend on recent versions of base. Thanks!

2 2

ANNOUNCE : Juicy.Pixels 1.2.1
by Vincent Berthoux 16 Apr '12

16 Apr '12

Hello everyone, I'm pleased to announce you the new version of Juicy.Pixels, the 1.2.1, no new major features, here's the changelog : - Removed dependency on the array package. - Updated dependency list to handle latest mtl version. - Helper functions to save files without thinking about it. - Some code snippets in the API documentations GitHub : https://github.com/Twinside/Juicy.Pixels Hackage : http://hackage.haskell.org/package/JuicyPixels Regards Vincent Berthoux

1 0

Conduit Best Practices for leftover data
by Myles C. Maxfield 16 Apr '12

16 Apr '12

Hello, I am interested in the argument to Done, namely, leftover data. More specifically, when implementing a conduit/sink, what should the conduit specify for the (Maybe i) argument to Done in the following scenarios (Please note that these scenarios only make sense if the type of 'i' is something in Monoid): 1) The conduit outputted the last thing that it felt like outputting, and exited willfully. There seem to be two options here - a) the conduit/sink should greedily gather up all the remaining input in the stream and mconcat them, or b) Return the part of the last thing that never got represented in any part of anything outputted. Option b seems to make the most sense here. 2) Something upstream produced Done, so the second argument to NeedInput gets run. This is guaranteed to be run at the boundary of an item, so should it always return Nothing? Instead, should it remember all the input it has consumed for the current (yet-to-be-outputted) element, so it can let Data.Conduit know that, even though the conduit appeared to consume the past few items, it actually didn't (because it needs more input items to make an output)? Remembering this sequence could potentially have disastrous memory usage. On the other hand, It could also greedily gather everything remaining in the stream. 3) The conduit/sink encountered an error mid-item. In general, is there a commonly-accepted way to deal with this? If a conduit fails in the middle of an item, it might not be clear where it should pick up processing, so the conduit probably shouldn't even attempt to continue. It would probably be good to return some notion of where it was in the input when it failed. It could return (Done (???) (Left errcode)) but this requires that everything downstream in the pipeline be aware of Errcode, which is not ideal.I could use MonadError along with PipeM, but this approach completely abandons the part of the stream that has been processed successfully. I'd like to avoid using Exceptions if at all possible. It doesn't seem that a user application even has any way to access leftover data anyway, so perhaps this discussion will only be relevant in a future version of Conduit. At any rate, any feedback you could give me on this issue would be greatly appreciated. Thanks, Myles

2 6

strange GHCi type inference behavior involving map and partially applied functions
by Ting Lei 16 Apr '12

16 Apr '12

Hi All, I found a really strange case where GHC and GHCi behave differently in inferring types. It took me hours to figure this out. The following program {-# LANGUAGE NoMonomorphismRestriction #-} g x i = x ++ show i [a,b] = map g ["X","Y"] will not load without "NoMonomorphismRestriction". With that option, it will load and return the correct types (as expected): *Main> :t [a,b] [a,b] :: Show a => [a -> [Char]] *Main> a 1 "X1" However, if I do the same thing GHCi, the type inferencing seems to have been messed up: *Main> let g x i = x ++ show i *Main> let [a,b] = map g ["X","Y"] *Main> :t [a,b] [a,b] :: [() -> [Char]] *Main> :t map g ["X","Y"] map g ["X","Y"] :: Show a => [a -> [Char]] Note how in the last two instances the terms on the left and right-hand sides of the definition return different types. Also, the correct return type should be a list of unary functions taking an (Show a) as the parameter. Now the result is unusable: *Main> a 1 <interactive>:52:3: No instance for (Num ()) arising from the literal `1' Possible fix: add an instance declaration for (Num ()) In the first argument of `a', namely `1' In the expression: a 1 In an equation for `it': it = a 1 I am using GHCi 7.4.1 under windows. I also tried this under GHC 7.0x Is this a GHCi bug or could anyone please explain why this can of strange behavior happens? If this is a bug, could anyone with an account help file a bug for this? Thanks in advance, Ting

4 4