- Haskell - Haskell.org

ARiSVe 2013 Call for Papers
by Jean-Christophe Filliatre 11 Jan '13

11 Jan '13

Call For Papers 1st International Workshop on Automated Reasoning in Software Verification http://arisve2013.lri.fr/ Monday, June 10, 2013 Lake Placid, NY, USA Affiliated with CADE-24 Aims and Scope The focus of the workshop is application of automated reasoning in the context of software verification, and, more generally, automation in software verification. Relevant topics include but are not limited to: * specifics of verification-related automated reasoning tasks; * efficient translation of high-level verification conditions to logical languages of automated reasoning tools; * handling of the prover's feedback: proofs, models, answer terms; * logical theories of interest for program verification, decision procedures, integration into existing ATP and SMT systems; * combination of automated and user-assisted verification; * tool presentations, tool comparisons, and benchmarks; * experience reports on verification of complex algorithms and real-life software with the use of automated reasoning tools. Paper Submission and Proceedings All submissions are reviewed by the programme committee. We expect that one author of every accepted paper will present their work at the workshop. Submissions are limited to 6-12 pages in the LaTeX EasyChair format easychair.cls (http://www.easychair.org/publications/easychair.zip) Technical details may be included in an appendix to be read at the reviewers' discretion. Tool presentation papers and experience reports are welcome. Papers should be submitted through EasyChair, at http://www.easychair.org/conferences/?conf=arisve2013 Submissions must be in PDF format. Electronic version of proceedings will be freely distributed from the workshop web site. Important Dates * Abstract submission deadline: March 8, 2013 * Submission deadline: March 15, 2013 * Notification: April 10, 2013 * Camera ready versions due: May 10, 2013 * Workshop: June 10, 2013 Invited Speaker K. Rustan M. Leino (Microsoft Research) Program Committee * June Andronick (NICTA) * Clark Barrett (New York University) * Ernie Cohen (Microsoft Corp.) * Loïc Correnson (CEA) * Gidon Ernst (Ausburg University) * Jean-Christophe Filliâtre (CNRS), co-chair * Alwyn Goodloe (NASA) * Matthias Horbach (Koblenz University) * Vladimir Klebanov (Karlsruhe Institute of Technology) * Konstantin Korovin (The University of Manchester) * Rosemary Monahan (National University of Ireland) * Andrei Paskevich (Université Paris-Sud), co-chair * Silvio Ranise (Fondazione Bruno Kessler)

1 0

SCP Special Issue on Invariant Generation - Final Call for Papers [1 month to go]
by Gudmund Grov 11 Jan '13

11 Jan '13

(Apologies if you receive multiple copies of this announcement) ------------------------------------------------------------ Science of Computer Programming Special Issue on Invariant Generation -- FINAL CALL FOR PAPERS [1 month to go] -- ------------------------------------------------------------ This special issue is devoted to the 4th international Workshop on Invariant Generation (WING 2012) http://cs.nyu.edu/acsys/wing2012/ which was held on June 30 2012 in Manchester as a satellite event of IJCAR 2012. The scope of the workshop is the automation of extracting and synthesising auxiliary properties of programs, in particular providing, debugging, and verifying auxiliary invariant annotations. This should be seen in a broad sense and relevant topics include (but are not limited to) the following: * Program analysis and verification * Inductive assertion generation * Inductive proofs for reasoning about loops * Applications to assertion generation using: - abstract interpretation, - static analysis, - model checking, - theorem proving, - theory formation, - algebraic techniques * Tools for inductive assertion generation and verification * Alternative techniques for reasoning about loops Submission to this special issue is completely open. We expect original articles (typically not more than 30 pages) that present high-quality contributions and must not be simultaneously submitted for publication elsewhere. Submission of extended versions of previously published papers is possible as long as the extension is significant, i.e., the submission can be considered a new paper, the previous paper is referenced, and the new material is clearly marked. Submissions must comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori… and be written in English. Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: WING 2012". IMPORTANT DATES --------------- * Submission of papers: February 11, 2013. * Notification: April 26, 2013. GUEST EDITORS -------------- * Gudmund Grov (Heriot-Watt University, UK) * Thomas Wies (New York University, USA) CONTACT -------------- Please send any queries you may have to: wing2012(a)easychair.org ----- Sunday Times Scottish University of the Year 2011-2013 Top in the UK for student experience Fourth university in the UK and top in Scotland (National Student Survey 2012) We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

Haskell Weekly News: Issue 254
by Daniel Santa Cruz 10 Jan '13

10 Jan '13

Welcome to issue 254 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of December 02, 2012 to January 05, 2013. As some of you might have noticed, there has been an interruption in the scheduled transmission of the newsletter. I have, over the past few weeks, completed a move to NYC! It has been wonderful to meet many in the community at the Haskell NYC meetups. Here is to a great year for our cherised community. Let's get things started out the right way, with a litte "Lambda Style" :-) [1] http://goo.gl/nQYdp Quotes of the Week * GuySteele: Some people prefer not to commingle the functional, lambda-calculus part of a language with the parts that do side effects. It seems they believe in the separation of Church and state. * edwardk: type level ieee floats are a crime against nature. i had to implement them in c++ for template meta programming once. never ever again * acowley: (regarding Proxy) Haven't you ever wanted to put something in a box and never think about it? elliott: children * merijn: xenocons: I spend the entire week grading FP homework, I think it's impossible for you to surprise me :p merijn: That's confusing :< * andr00: Today's software engineering word is "farpotshket." This is a Yiddish word meaning, "broken, because someone tried to fix it." * dmwit: I know, I know. "0, 1, many". But then I also write most of my programs in a language whose type system has 4 levels. Four! Is that even a number?? * aristid: a dubious motivation IMHO edwardk: i've had worse =P * ziarkaen: I'm thinking I can kill two birds with one stone by learning Haskell while producing a website, but all the birds are still alive at the moment. * ion: monad.bind = function (func, args) { return func.apply(undefined, [value].concat(Array.prototype.slice.apply(args || []))); }; is idiomatic JavaScript? * beaky: if stacks are recursion, what are queues? Hafydd: Procrastination. * elliott: I think lens is the first library I've seen that promises letting you write abstract totally-inefficient-looking compositional code and getting reliably good compilation which has actually delivered on that promise. * elliott: I didn't say half the things I said. * shachaf: The two-letter and three-letter identifiers are for edwardk's libraries. The one-letter identifiers are for his actual code. elliott: edwardk has non-library code? * neutrino: in many ways, Haskell is like this primodial soup out of which other languages end up springing * mm_freak: bruce schneier is an endofunctor that turns all automorphisms into identities * roconnor: where are all the category theoriest? why don't they already have all the answers for us? edwardk: roconnor: this is the point in your career where you look around for the cavalry and realize that you're it ;) * cmccann: multi-letter type variables is an experimental new extension * elliott: I can't remember the last time I wrote any Haskell without an evil grin. * neutrino: when you're told you have to use javascript, the viable alternative always remains in seppuku. and it's much more honorable. * shachaf: chrisdone: Please make Author not mandatory. [on hpaste] donri: shachaf: just write "not shachaf" and no one will ever know it's you * tac: If you're not part of the solution, you're part of the precipitate * cmccann: some people blame themselves, some people blame the language, but the people who really know what they're doing blame shachaf. Top Reddit Stories * The end of an era, and the dawn of a new one Domain: haskell.org, Score: 148, Comments: 32 On Reddit: [2] http://goo.gl/fiyVt Original: [3] http://goo.gl/dlxsF * Simon Peyton-Jones invests in FP Complete Domain: fpcomplete.com, Score: 92, Comments: 15 On Reddit: [4] http://goo.gl/nPTk1 Original: [5] http://goo.gl/wzfpP * 24 Days of Hackage - Thank YOU! Domain: ocharles.org.uk, Score: 88, Comments: 12 On Reddit: [6] http://goo.gl/2yodj Original: [7] http://goo.gl/hSsH6 * Heist 0.10...now with a >3000x performance improvement Domain: snapframework.com, Score: 81, Comments: 38 On Reddit: [8] http://goo.gl/p7R7u Original: [9] http://goo.gl/znugn * 24 Days of Hackage: EKG Domain: ocharles.org.uk, Score: 68, Comments: 15 On Reddit: [10] http://goo.gl/ltPb1 Original: [11] http://goo.gl/UeYOA * pipes-3.0: Simpler, unified API Domain: haskellforall.com, Score: 64, Comments: 71 On Reddit: [12] http://goo.gl/ZSVtT Original: [13] http://goo.gl/6Yt01 * Hoodle : Pen note-taking program written in haskell Domain: youtube.com, Score: 64, Comments: 21 On Reddit: [14] http://goo.gl/aJ9G9 Original: [15] http://goo.gl/GsZ85 * 24 Days of Hackage: lens Domain: ocharles.org.uk, Score: 62, Comments: 46 On Reddit: [16] http://goo.gl/71HbV Original: [17] http://goo.gl/L78Hp * Cartesian Closed Comic #19: Facebook Domain: ro-che.info, Score: 61, Comments: 8 On Reddit: [18] http://goo.gl/LKqzz Original: [19] http://goo.gl/tSrjJ * Announcing: Snap Framework v0.10 Domain: snapframework.com, Score: 61, Comments: 11 On Reddit: [20] http://goo.gl/TibIw Original: [21] http://goo.gl/Nm98e * Surprises of the Haskell module system (part 1) Domain: ro-che.info, Score: 57, Comments: 11 On Reddit: [22] http://goo.gl/tOiiK Original: [23] http://goo.gl/vLEZP * 24 Days of Hackage: configurator Domain: ocharles.org.uk, Score: 53, Comments: 7 On Reddit: [24] http://goo.gl/jFKt2 Original: [25] http://goo.gl/nu2zj * Fay :: Haskell -> JavaScript Domain: fay-lang.org, Score: 52, Comments: 14 On Reddit: [26] http://goo.gl/wAH7C Original: [27] http://goo.gl/uitoD * Announcing: Clay, a CSS preprocessor as a Haskell EDSL. Domain: sebastiaanvisser.github.com, Score: 52, Comments: 53 On Reddit: [28] http://goo.gl/1ej1n Original: [29] http://goo.gl/bWfU2 * 24 Days of Hackage: base Domain: ocharles.org.uk, Score: 51, Comments: 10 On Reddit: [30] http://goo.gl/e5gLp Original: [31] http://goo.gl/7MY8o * Haskell for all: The Continuation Monad Domain: haskellforall.com, Score: 51, Comments: 42 On Reddit: [32] http://goo.gl/YKDOo Original: [33] http://goo.gl/zJ42x * ANNNOUNCE: lens 3.7 released Domain: haskell.org, Score: 50, Comments: 9 On Reddit: [34] http://goo.gl/FecK0 Original: [35] http://goo.gl/n4tR0 * 24 Days of Hackage: optparse-applicative Domain: ocharles.org.uk, Score: 50, Comments: 21 On Reddit: [36] http://goo.gl/JyFVh Original: [37] http://goo.gl/PP4CX * 24 Days of Hackage: snap Domain: ocharles.org.uk, Score: 50, Comments: 35 On Reddit: [38] http://goo.gl/9Wp3q Original: [39] http://goo.gl/WlHlU * What doesn't Haskell do well? Domain: self.haskell, Score: 47, Comments: 153 On Reddit: [40] http://goo.gl/VRJMn Original: [41] http://goo.gl/VRJMn * 24 Days of Hackage: criterion Domain: ocharles.org.uk, Score: 46, Comments: 10 On Reddit: [42] http://goo.gl/wYrdm Original: [43] http://goo.gl/rYT9C * Some specific thoughts on why using Haskell makes you a better programmer. Domain: dubhrosa.blogspot.co.uk, Score: 46, Comments: 30 On Reddit: [44] http://goo.gl/dN1Zd Original: [45] http://goo.gl/DDNuQ * Growing Haskell Platform Domain: mtnviewmark.wordpress.com, Score: 43, Comments: 16 On Reddit: [46] http://goo.gl/jNefn Original: [47] http://goo.gl/a5udB * 24 Days of Hackage: text Domain: ocharles.org.uk, Score: 43, Comments: 21 On Reddit: [48] http://goo.gl/3VmmH Original: [49] http://goo.gl/13MOc Top StackOverflow Questions * What's the absurd function in Data.Void useful for? votes: 34, answers: 5 Read on SO: [50] http://goo.gl/ny4gh * Benefit of avoiding multiple list traversals votes: 27, answers: 4 Read on SO: [51] http://goo.gl/Z6DNg * Images in Haddock documentation votes: 22, answers: 2 Read on SO: [52] http://goo.gl/7tFgE * Idiomatic option pricing and risk using Repa parallel arrays votes: 22, answers: 1 Read on SO: [53] http://goo.gl/Ih9cn * How much memory does a thunk use? votes: 21, answers: 2 Read on SO: [54] http://goo.gl/VkdIX * Can I constrain a type family? votes: 20, answers: 2 Read on SO: [55] http://goo.gl/0kBEU * How to write platform-independent code in Haskell (ghc) votes: 18, answers: 1 Read on SO: [56] http://goo.gl/13bEB * Play a wav file with Haskell votes: 17, answers: 3 Read on SO: [57] http://goo.gl/sKpgf * Why are difference lists more efficient than regular concatenation? votes: 16, answers: 2 Read on SO: [58] http://goo.gl/GCVpe * GUI tools that are actively developed and well documented for Haskell votes: 15, answers: 2 Read on SO: [59] http://goo.gl/M2L0l * What are the adjoint functor pairs corresponding to common monads in Haskell? votes: 15, answers: 2 Read on SO: [60] http://goo.gl/UnUik Until next time, +Daniel Santa Cruz https://plus.google.com/105107667630152149014/about References 1. http://www.youtube.com/watch?v=Ci48kqp11F8 2. http://www.haskell.org/pipermail/haskell-cafe/2012-December/105041.html 3. http://www.reddit.com/r/haskell/comments/14bvtz/the_end_of_an_era_and_the_d… 4. http://fpcomplete.com/why-im-investing-in-fp-complete/ 5. http://www.reddit.com/r/haskell/comments/15wc7s/simon_peytonjones_invests_i… 6. http://ocharles.org.uk/blog/posts/2012-12-24-24-days-of-hackage.html 7. http://www.reddit.com/r/haskell/comments/15e0nz/24_days_of_hackage_thank_yo… 8. http://snapframework.com/blog/2012/12/9/heist-0.10-released 9. http://www.reddit.com/r/haskell/comments/14kjct/heist_010now_with_a_3000x_p… 10. http://ocharles.org.uk/blog/posts/2012-12-11-24-day-of-hackage-ekg.html 11. http://www.reddit.com/r/haskell/comments/14ovdp/24_days_of_hackage_ekg/ 12. http://www.haskellforall.com/2012/12/pipes-30-simpler-unified-api.html 13. http://www.reddit.com/r/haskell/comments/14qe8b/pipes30_simpler_unified_api/ 14. http://www.youtube.com/watch?v=Z2wzpyxsVSU 15. http://www.reddit.com/r/haskell/comments/14seiv/hoodle_pen_notetaking_progr… 16. http://ocharles.org.uk/blog/posts/2012-12-09-24-days-of-hackage-lens.html 17. http://www.reddit.com/r/haskell/comments/14kbbi/24_days_of_hackage_lens/ 18. http://ro-che.info/ccc/19.html 19. http://www.reddit.com/r/haskell/comments/145cra/cartesian_closed_comic_19_f… 20. http://snapframework.com/blog/2012/12/10/snap-0.10-released 21. http://www.reddit.com/r/haskell/comments/14lrlr/announcing_snap_framework_v… 22. http://ro-che.info/articles/2012-12-25-haskell-module-system-p1.html 23. http://www.reddit.com/r/haskell/comments/15fnrx/surprises_of_the_haskell_mo… 24. http://ocharles.org.uk/blog/posts/2012-12-21-24-days-of-hackage-configurato… 25. http://www.reddit.com/r/haskell/comments/158svo/24_days_of_hackage_configur… 26. http://fay-lang.org/ 27. http://www.reddit.com/r/haskell/comments/14dxru/fay_haskell_javascript/ 28. http://sebastiaanvisser.github.com/clay/ 29. http://www.reddit.com/r/haskell/comments/15aoif/announcing_clay_a_css_prepr… 30. http://ocharles.org.uk/blog/posts/2012-12-23-24-days-of-hackage-base.html 31. http://www.reddit.com/r/haskell/comments/15c0jm/24_days_of_hackage_base/ 32. http://www.haskellforall.com/2012/12/the-continuation-monad.html 33. http://www.reddit.com/r/haskell/comments/15ogxe/haskell_for_all_the_continu… 34. http://www.haskell.org/pipermail/haskell/2012-December/023598.html 35. http://www.reddit.com/r/haskell/comments/14fw7l/annnounce_lens_37_released/ 36. http://ocharles.org.uk/blog/posts/2012-12-17-24-days-of-hackage-optparse-ap… 37. http://www.reddit.com/r/haskell/comments/150iem/24_days_of_hackage_optparse… 38. http://ocharles.org.uk/blog/posts/2012-12-19-24-days-of-hackage-snap.html 39. http://www.reddit.com/r/haskell/comments/154i72/24_days_of_hackage_snap/ 40. file://localhost/r/haskell/comments/14nj0r/what_doesnt_haskell_do_well/ 41. http://www.reddit.com/r/haskell/comments/14nj0r/what_doesnt_haskell_do_well/ 42. http://ocharles.org.uk/blog/posts/2012-12-18-24-days-of-hackage-criterion.h… 43. http://www.reddit.com/r/haskell/comments/152yv3/24_days_of_hackage_criterio… 44. http://dubhrosa.blogspot.co.uk/2012/12/lessons-learning-haskell.html 45. http://www.reddit.com/r/haskell/comments/15ch1k/some_specific_thoughts_on_w… 46. http://mtnviewmark.wordpress.com/2012/12/06/growing/ 47. http://www.reddit.com/r/haskell/comments/14fmw8/growing_haskell_platform/ 48. http://ocharles.org.uk/blog/posts/2012-12-12-24-days-of-hackage-text.html 49. http://www.reddit.com/r/haskell/comments/14quxz/24_days_of_hackage_text/ 50. http://stackoverflow.com/questions/14131856/whats-the-absurd-function-in-da… 51. http://stackoverflow.com/questions/13686926/benefit-of-avoiding-multiple-li… 52. http://stackoverflow.com/questions/14017112/images-in-haddock-documentation 53. http://stackoverflow.com/questions/14082158/idiomatic-option-pricing-and-ri… 54. http://stackoverflow.com/questions/13982863/how-much-memory-does-a-thunk-use 55. http://stackoverflow.com/questions/14133121/can-i-constrain-a-type-family 56. http://stackoverflow.com/questions/13799199/how-to-write-platform-independe… 57. http://stackoverflow.com/questions/14005592/play-a-wav-file-with-haskell 58. http://stackoverflow.com/questions/13879260/why-are-difference-lists-more-e… 59. http://stackoverflow.com/questions/13887213/gui-tools-that-are-actively-dev… 60. http://stackoverflow.com/questions/13937289/what-are-the-adjoint-functor-pa…

1 0

Haskell and Pandoc "Let's Code"-Style Video
by Chris Forno 09 Jan '13

09 Jan '13

I've just uploaded a video walking through some of the source code for Pandoc. I plan to create more videos like it (on Pandoc and other open source/free software projects), and I'd appreciate your feedback. https://www.youtube.com/watch? v=FEFETKhhq8w&feature=youtube_gdata_play er I think Haskell is particularly well-suited for this type of study: - The code tends to be concise, and parts can usually be analyzed in isolation thanks to explicit state. - Even after 10 years of exposure to Haskell I feel like I still have much to learn about idiomatic style from the writings of others. - I've run across the same misconceptions about Haskell in the professional world (and had some myself in the beginning), and would like more people to see what Haskell really is like outside of papers and blog posts. Please let me know if there are other projects you'd like to see me cover. Thanks.

5 4

Three University Lectureships in Software Engineering at Oxford
by Jeremy.Gibbons＠cs.ox.ac.uk 07 Jan '13

07 Jan '13

University of Oxford Department of Computer Science in association with Kellogg College, Oxford UNIVERSITY LECTURERS IN COMPUTER SCIENCE (SOFTWARE ENGINEERING) - THREE POSTS The Department of Computer Science proposes to appoint three University Lecturers in Computer Science from 1st April 2013 and no later than 1st October 2013. The successful candidate will be offered a Non-Tutorial Fellowship at Kellogg College under arrangements described in Further Particulars. The salary will be on a scale currently up to £57,581 per annum. The teaching duties of the appointees will be performed for the Software Engineering Programme, which offers part-time MScs in Software Engineering and Software and Systems Security, taught via a series of intensive one-week modules. The research interests of candidates should be in any area of Software Engineering or Computer Science relevant to these programmes. Applicants should hold a relevant PhD and have experience in any area which broadens the activities of the Software Engineering Programme (http://www.softeng.ox.ac.uk/) Full details of the qualifications required and the duties of the post can be found in the Further Particulars (http://www.cs.ox.ac.uk/files/5213/SEP_UL_FPs.pdf) The closing date for applications is Friday 8th February 2013. Queries about the post should be addressed in the first instance to Elizabeth Walsh at elizabeth.walsh(a)cs.ox.ac.uk or telephone: +44 (0) 1865 283503. Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford. The University is an Equal Opportunities Employer.

1 0

Importing Repa library
by Емануела Моллова 03 Jan '13

03 Jan '13

Hello! :) I want to write a simple application, using the Repa library as a university project, but I don't know much about Haskell. I'm using Windows, so I downloaded and installed Haskell platform for Windows, then I run in the command prompt cabal update, then cabal install cabal-install and then cabal install repa and everything seemed fine. Then I put this script import qualified Data.Array.Repa as R :m +Data.Array.Repa Z into the file "file.hs", opened WinGHCi and loaded the file, and then evaluated it, but what I get is: Could not find module `Data.Array.Repa' Perhaps you meant Data.Array.Base (from array-0.4.0.0) Data.Array.IO (from array-0.4.0.0) Data.Array.ST (from array-0.4.0.0) Use -v to see a list of the files searched for. Failed, modules loaded: none. I read that "This happens when you install a package globally, and the previous packages were installed locally. Note that cabal-install install locally by default and the "runhaskell Setup" commands install globally by default.", but I think that I installed Repa locally, not globally. Also ghc-pkg list repa says: WARNING: cache is out of date: C:/Program Files/Haskell Platform/2012.4.0.0\lib\package.conf.d\package.cache use 'ghc-pkg recache' to fix. C:/Program Files/Haskell Platform/2012.4.0.0\lib\package.conf.d: C:\Users\Faery\AppData\Roaming\ghc\i386mingw32-7.4.2\package.conf.d: And after executing recache, I get the same. Please help me to fix this issue and to be able to use the library. Thank you very much in advance for your time and goodness!

2 1

Haskell stars in experimental film
by Simon Peyton-Jones 02 Jan '13

02 Jan '13

Friends You may enjoy this weird 2-minute video: http://www.youtube.com/watch?v=WtfvoiqLZrs&feature=youtu.be It stars our cat (who is called Haskell at my children's insistence) in an "experimental concrete music video", created by a Cambridge undergrad music student. Enjoy! (What is concrete music, btw?) Simon

4 3

Cabal update failed
by Chernin, Nadav 02 Jan '13

02 Jan '13

Hello all, please help me with cabal updating. When i run: cabal update -v3 I get this message: Downloading the latest package list from hackage.haskell.org Sending: GET /packages/archive/00-index.tar.gz HTTP/1.1 Host: hackage.haskell.org User-Agent: cabal-install/0.10.2 Creating new connection to hackage.haskell.org cabal: failed Thanks in advance, Nadav

2 1

Lambda Style
by Simon Peyton-Jones 02 Jan '13

02 Jan '13

Dear Haskellers Happy New Year! Did you see our friend Ranjit Jhala's (of liquid type fame) Lambda Style video? Haskell hits the pop scene. http://www.youtube.com/watch?v=Ci48kqp11F8 Simon

1 0

ANNOUNCE: graphviz-2999.15.0.0
by Ivan Lazar Miljenovic 31 Dec '12

31 Dec '12

After much prodding and poking by end-users for the past few months, I'm finally able to announce a GHC-7.6.1 compatible release of my Haskell bindings to the Graphviz graph visualisation toolkit: http://hackage.haskell.org/package/graphviz-2999.15.0.0 (It took me so long to release a version that allowed bytestring-0.10.* as I was waiting for upstream to get back to me about an inconsistency I found; in the end I decided to just try and cope with how it seems to work.) The list of changes since the last release are: * The repository is now hosted at http://hub.darcs.net/ivanm/graphviz, and using the bug-tracker there. * Updates to various `Attribute` definitions: - The list of available shapes has been expanded to take into account the new synthetic biology shapes. - The `Size` and `FontNames` attributes now have specified data types. - The optional start and end points for `Spline`s were previously the wrong way round; this has now been fixed. - Explicitly only print 2-dimensional `Point` values for `Rect` and `DPoint` (previously only 2-dimensional values where parsed, but it was possible to print a 3-dimensional value). - HTML-like labels previously disallowed empty textual label components when parsing; spotted by Daniel Hummel. * `GraphvizParams` now lets you specify whether a "cluster" is actually a cluster or a sub-graph. Requested by Gabor Greif. * Fixed an error where printing edges whose attributes contained a `ColorScheme` attribute, that attribute would stay in the state and the old color scheme would override the _parent's_ state. * Previously, some malformed attributes were accepted when being parsed as they silently became parsed as an `UnknownAttribute`. Now, attributes where the attribute name and the equal sign are successfully parsed **but** the value of the attribute is _not_ successfully parse will throw an unrecoverable error. **Note**: this does mean that some Dot graphs that are accepted by Graphviz (as they separate tokenizing from parsing; as such something like `"0.1"` is successfully accepted as an integer, specifically `0`) are no longer accepted when parsing them in. * Miscellaneous parsing improvements: - Whilst not specified anywhere, Graphviz seems to treat empty quotes as values for attributes expecting a number as their default; as such, this is now taken into account when parsing. - `DPoint` values can now parse an optional `+` prefix. - Whitespaces after commas in HSV colors are now accepted. * Error messages from parsing are improved to help you track down where the parsing error occurred (in that it's easier to find which attribute failed to parse, etc.). -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0