Re: ANNOUNCE: GHC 7.10.1 Release Candidate 2
Hi, Does ghc7.10rc2 support for windows 32bit OS (Windows 7) ? I tried to build ghc7.10rc2 [1],[2] on my old 32bit windows to check FTP. Then, the following error has occurred: C:/MinGW/msys/1.0/home/my/devel/haskell.build.mingw/work8.ghc.7.10.rc2/ghc-7.10.0.20150123/inplace/mingw/bin/ld.exe -r -o libraries/directory/dist-install/build/HSdirec_3OAebvWY9YTGrbhfMGQ0ml.o libraries/directory/dist-install/build/System/Directory.o libraries/directory/dist-install/build/cbits/directory.o inplace/bin/ghc-stage1.exe -hisuf hi -osuf o -hcsuf hc -static -H64m -O0 -fasm-this-package-key proce_9HgSaudU0TAKauLzQHuwnO -hide-all-packages -i -ilibraries/process/. -ilibraries/process/dist-install/build -ilibraries/process/dist-install/build/autogen -Ilibraries/process/dist-install/build -Ilibraries/process/dist-install/build/autogen -Ilibraries/process/include -optP-include -optPlibraries/process/dist-install/build/autogen/cabal_macros.h -package-key Win32_Cjc5QN7bEuvL7SrTr96E5g -package-key base_469rOtLAqwTGFEOGWxSUiQ -package-key deeps_FT5iVCELxOr62eHY0nbvnU -package-key direc_3OAebvWY9YTGrbhfMGQ0ml -package-key filep_1vDJvPDP7mkAk0dVCj6gws -Wall -XHaskell2010 -O -fasm -no-user-package-db -rtsopts -odir libraries/process/dist-install/build -hidir libraries/process/dist-install/build -stubdir libraries/process/dist-install/build -c libraries/process/./System/Process/Internals.hs -o libraries/process/dist-install/build/System/Process/Internals.o libraries\process\System\Process\Internals.hs:36:5: Not in scope: 81estopDelegateControlC81f Perhaps you meant one of these: 81estartDelegateControlC81f (line 467), 81eendDelegateControlC81f (line 470) make[1]: *** [libraries/process/dist-install/build/System/Process/Internals.o] Error 1 make: *** [all] Error 2 I looks like 'stopDelegateControl' is not defined in System\Process\Internals.hs for mingw32_HOST_OS. [1]: https://downloads.haskell.org/~ghc/7.10.1-rc2/ghc-7.10.0.20150123-src.tar.bz2 [2]: https://downloads.haskell.org/~ghc/7.10.1-rc2/ghc-7.10.0.20150123-windows-extra-src.tar.bz2 Regards, Takenobu 2015-01-27 9:13 GMT+09:00 Austin Seipp aus...@well-typed.com: We are pleased to announce the second release candidate for GHC 7.10.1: https://downloads.haskell.org/~ghc/7.10.1-rc2/ This includes the source tarball and bindists for 64bit/32bit Linux and Windows. Binary builds for other platforms will be available shortly. (CentOS 6.5 binaries are not available at this time like they were for 7.8.x). These binaries and tarballs have an accompanying SHA256SUMS file signed by my GPG key id (0x3B58D86F). We plan to make the 7.10.1 release sometime in February of 2015. Please test as much as possible; bugs are much cheaper if we find them before the release! -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ ___ ghc-devs mailing list ghc-d...@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
[Haskell] [TFP 2015] 2nd call for papers
- S E C O N D C A L L F O R P A P E R S - TFP 2015 === 16th Symposium on Trends in Functional Programming June 3-5, 2015 Inria Sophia Antipolis, France http://tfp2015.inria.fr/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. The selected revised papers will be published as a Springer Lecture Notes in Computer Science (www.springer.com/lncs) volume. TFP 2015 will be the main event of a pair of functional programming events. TFP 2015 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 2nd. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * and in Soesterberg (The Netherlands) in 2014. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == INVITED SPEAKER == TFP is pleased to announce a talk by the following invited speaker: * Laurence Rideau is a researcher at INRIA and is interested in the semantics of programming languages , the formal methods, and the verification tools for programs and mathematical proofs. She participated in the beginnings of the Compcert project (certified compiler), and is part of the Component Mathematical team in the MSR-INRIA joint laboratory, who performed the formalization of the Feit-Thompson theorem successfully. Thirty years ago, computers barged in mathematics with the famous proof of the Four Color Theorem. Initially limited to simple calculation, their role is now expanding to the reasoning whose complexity is beyond the capabilities of most humans, as the proof of the classification of finite simple groups. We present our large collaborative adventure around the formalization of the Feit-Thompson theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem) that is a first step to the classification of finite groups and that uses a palette of methods and techniques that range from formal logic to software (and mathematics) engineering. == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages
[Haskell] ICFP 2015: Final Call for Papers
= 20th ACM SIGPLAN International Conference on Functional Programming ICFP 2015 Vancouver, Canada, August 31 - September 2, 2015 http://www.icfpconference.org/icfp2015 = Important Dates ~~~ Submissions due: Friday, February 27 2015, 23:59 UTC-11 https://icfp15.hotcrp.com/ Author response: Tuesday, April 21, 2015 through Thursday, 23 April, 2015 Notification: Friday, May 1, 2015 Final copy due: Friday, June 12, 2015 Scope ~ ICFP 2015 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * Analysis and Transformation: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * Education: teaching introductory programming; parallel programming; mathematical proof; algebra. * Functional Pearls: elegant, instructive, and fun essays on functional programming. * Experience Reports: short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working. If you are concerned about the appropriateness of some topic, do not hesitate to contact the program chair. Abbreviated instructions for authors * By Friday, 27 February 2015, 23:59 UTC-11, submit a full paper of at most 12 pages (6 pages for an Experience Report) in standard ACM conference format, including bibliography, figures, and appendices. The deadlines will be strictly enforced and papers exceeding the page limits will be summarily rejected. * Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. * Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication * Authors of resubmitted (but previously rejected) papers have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the program chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Overall, a submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Proceedings will be published by ACM Press. Authors of accepted submissions will have a choice of one of three ways to manage their
[Haskell] TYPES 2015 2nd call for contributions
Reminder: Abstracts (2 pp easychair.cls) due by 13 March 2015 News: Tutorials by Joachim Kock and Peter LeFanu Lumsdaine. Post-proceedings volume in LIPIcs confirmed. CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, CNRS and Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ETAPS 2015 call for participation
** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2...@qmul.ac.uk ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
