- Glasgow-haskell-users

win32&ghc: using more than 2gb of memory
by Bulat Ziganshin 03 Dec '07

03 Dec '07

Hello is it possible to use more than 2gb of memory for win32 ghc-compiled programs? does anyone checked this? i've found that the following switch should be added to cmdline: ghc ... -optl --large-address-aware but can't check compiled executable if this question was never considered, here is some possible problems which may arise: http://blogs.msdn.com/oldnewthing/archive/2004/08/12/213468.aspx -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

cabal for ghc 6.8.2, package upgrade warnings, please?
by Claus Reinke 01 Dec '07

01 Dec '07

assuming that ghc 6.8.2 is not too far away, is there any chance of cabal becoming a bit friendlier wrt old .cabal and Setup files, before that release? you've heard me say before that i'd have preferred a backwards compatibility module, but if that isn't possible, couldn't cabal at least detect that a .cabal file is probably outdated (==not obviously up to date), and issue a warning with a helpful url? something like: $ runhaskell Setup configure *** warning: this .cabal/Setup file might be out of date; *** if you run into issues, please contact the *** package maintainer, and have a look at *** http://haskell.org/haskellwiki/Upgrading_packages .. (either it works or you get errors here, but you already know something is not quite right, and what to do about it) btw, i knew that page existed, but had quite a bit of trouble finding it. shouldn't there be prominent links to it from cabal and hackage home pages? as in: concerning recent cabal updates (look here first if you have trouble with old .cabal packages). in the longer term, that could become the start of a cabal/hackage faq section.. claus

1 0

ghci changes in 6.8 that are not improvements
by Alex Jacobson 30 Nov '07

30 Nov '07

1. just using : at the prompt caused a reload. Now you have to type :r. 2. reload now reloads all modules rather than just the modules that changed (faster but not as fast as not reloading them at all). -Alex-

4 6

ENC: Call for Papers - SBLP 2008 (12th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES)
by Heron 30 Nov '07

30 Nov '07

12th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES <http://www.lia.ufc.br/sblp2008> http://www.lia.ufc.br/sblp2008 Fortaleza, Ceara, Brazil August 27-29, 2008 CALL FOR PAPERS AND TUTORIALS The 12th Brazilian Symposium on Programming Languages, SBLP 2008, will be held in Fortaleza, Ceara, Brazil, on August 27-29, 2008. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2008 invites authors to contribute with Technical Papers and Tutorial Proposals related (but not limited) to: * Programming language design and implementation * Formal semantics of programming languages * Theoretical foundations of programming languages * Design and implementation of programming language environments * Object-oriented programming languages * Functional programming * Aspect-oriented programming languages * Scripting languages * Domain-specific languages * Programming languages for mobile, web and network computing * New programming models * Program transformations * Program analysis and verification * Compilation and interpretation techniques Contributions can be written in Portuguese or English. Papers should have at most 14 pages. All accepted papers will be published in the conference proceedings. Selected papers will appear in a Special Issue of the Journal of Universal Computer Science (J.UCS). Only papers written in English are eligible to be published in JUCS. Papers should be presented in the language of submission. Tutorial submissions must be in the form of an extended abstract with at most 10 pages. The final version of accepted tutorials should contain at most 30 pages. This final version will be distributed to attendees. An abstract of the tutorial (1-2 pages) will be included in the conference proceedings. Detailed submission guidelines are available at <http://www.lia.ufc.br/sblp2008> http://www.lia.ufc.br/sblp2008. IMPORTANT DATES Paper abstract submission (15 lines): March 28, 2008 Full paper submission: April 4, 2008 Notification of acceptance: June 6, 2008 Final papers due: June 30, 2008 GENERAL CHAIR Francisco Heron de Carvalho Junior, UFC PROGRAMME CHAIRS Marco Tulio Valente, PUC Minas Peter Mosses, Swansea University PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alfio Martini, PUC-RS Alvaro Freitas Moreira, UFRGS Andre Rauber Du Bois, UCPel Andre Santos, UFPE Carlos Camarao, UFMG Christiano Braga, Univ. Comp. de Madrid David Naumann, Stevens Tech Eric Tanter, Univ. of Chile Francisco Heron de Carvalho Junior, UFC Isabel Cafezeiro, UFF Johan Jeuring, Utrecht Univ. Joao Saraiva, Univ. do Minho Jose Guimaraes, UFSCAR Jose E. Labra Gayo, Univ. of Oviedo Jose Luiz Fiadeiro, Univ. of Leicester Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Luis Carlos Meneses, UPE Marcelo A. Maia, UFU Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Nabor Mendonca,UNIFOR Nick Benton, Microsoft Research Noemi Rodriguez, PUC-Rio Paulo Borba, UFPE Rafael Dueire Lins, UFPE Renato Cerqueira, PUC-Rio Ricardo Massa Lima, UPE Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Rodolfo Jardim de Azevedo, UNICAMP Sandro Rigo, UNICAMP Sergio de Mello Schneider, UFU Sergio Soares, UPE Sergiu Dascalu, Univ. of Nevada Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu Vitor Santos Costa, UFRJ Vladimir Di Iorio, UFV ORGANIZATION Brazilian Computer Society and Federal University of Ceara

1 0

GHC's CPP and Cabal's unlit
by Alistair Bayley 29 Nov '07

29 Nov '07

I'm doing some testing with GHC 6.6.1 and Cabal 1.3, and I'm trying to figure out what happens with CPP and Cabal's unlit. I start with file Test.lhs: > {-# OPTIONS -fglasgow-exts #-} > module Test where > main = putStrLn "hello CPP" and run command: ghc -E -x hs -cpp Test.lhs -o Test2.lhs which gives me Test2.lhs: {-# LINE 1 "Test.lhs" #-} # 1 "Test.lhs" # 1 "<built-in>" # 1 "<command line>" # 1 "Test.lhs" > {-# OPTIONS -fglasgow-exts #-} > module Test where > main = putStrLn "hello CPP" So I'm wondering: where does the {-# LINE #-} comment come from, and also the # 1 lines? AFAICT the # 1 lines are ignored by GHC; I can compile Test2.lhs without errors. Is there anything in GHC's docs about this? More puzzling is that the files that Cabal runs through ghc's CPP don't get the # n lines, so we end up with something like this: {-# LINE 1 "Test.lhs" #-} > {-# OPTIONS -fglasgow-exts #-} > module Test where > main = putStrLn "hello CPP" which is not a valid .lhs file, because we have a code line next to a comment. I also note in Cabal the haddock command runs CPP before unlit. GHC does it the other way around i.e. run unlit first then CPP, and I'm wondering if Cabal shouldn't do the same thing? Thanks, Alistair

2 2

Top-level bindings for unlifted types
by Neil Mitchell 28 Nov '07

28 Nov '07

Hi, The following program: ------------------------------------------- {-# OPTIONS_GHC -fglasgow-exts #-} module Test() where import GHC.Base test = realWorld# ----------------------------------------- gives the error message: Top-level bindings for unlifted types aren't allowed: { test = realWorld# } Changing to test _ = realWorld# works fine. The question is why are these bindings disallowed? Reading the "Unboxed values as first class citizens" paper I can't see it listed as a restriction. Thanks Neil

5 6

single-stepping and infinite recursion
by Wolfgang Jeltsch 27 Nov '07

27 Nov '07

Hello, please consider the following program: main = putChar 'A' >> main I load this into GHCi, enter :step main, followed by :step and a second :step. Although I would expect to get the As in the output step by step, GHCi now hangs inside the infinite loop. Is this intentional? To me, this seems rather weird. I wanted to use GHCi’s debugger to find the reason for an infinite recursion but from my experience it looks as if this might not be possible. :-( Best wishes, Wolfgang

3 3

Profiling bugs in 6.8.1 and 6.6.1
by Daniel Fischer 26 Nov '07

26 Nov '07

Hello, first let me remark that 6.8.1 is really remarkable, compiles faster and produces faster executables than 6.6.1. However, I have a problem with profiling, the time is always reported as 0.00 secs: Sun Nov 25 22:58 2007 Time and Allocation Profiling Report (Final) p28Master +RTS -P -hb -sstderr -RTS MMDataA total time = 0.00 secs (0 ticks @ 20 ms) total alloc = 1,313,421,840 bytes (excludes profiling overheads) although it took more than 15 seconds: INIT time 0.00s ( 0.00s elapsed) MUT time 16.10s ( 16.41s elapsed) GC time 10.76s ( 11.16s elapsed) RP time 0.00s ( 0.00s elapsed) PROF time 0.00s ( 0.00s elapsed) EXIT time 0.00s ( 0.00s elapsed) Total time 26.86s ( 27.57s elapsed) Could that be caused by commenting out the lines ifeq "$(GhcThreaded)" "YES" SRC_HC_OPTS += -threaded endif in compiler/Makefile.ghcbin ? I did that because if I build ghc with -threaded, the times reported with :set +s in ghci are rubbish (I have a linux 2.4.20 kernel, and the threads don't support process-wide times; and no, I'm not likely to upgrade, SuSE 8.2 is the only OS that ever worked properly for me). If that's the cause, too bad, I'll have to revert to 6.4.2 for profiling :( In 6.6.1, -O2 and -prof -auto-all don't work together well, I have a programme where that combination of options results in an instant wrong output, while the combinations -prof -auto-all -O1 -prof -auto-all -O2 -prof lead to the correct output calculated in 10 to 13 seconds. If you're interested in that bug, I could send you the code, it's short enough. Thanks, Daniel

2 1

docon soft announcement
by Serge D. Mechveliani 25 Nov '07

25 Nov '07

Software Announcement. The Algebraic Domain Constructor DoCon, Version 2.11 is available at http://www.botik.ru/pub/local/Mechveliani/docon/ (Russian site), ftp.botik.ru/pub/local/Mechveliani/docon/ (same site), http://www.haskell.org/docon/distrib/ (USA site) It works under ghc-6.8.1 and 6.6.1. The difference to the previous release of 2.10 is only a couple of minor bug fixes in installation. ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

First Call for Papers TFP 2008, The Netherlands
by Peter Achten 23 Nov '07

23 Nov '07

CALL FOR PAPERS TRENDS IN FUNCTIONAL PROGRAMMING 2008 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS MAY 26-28, 2008 INVITED SPEAKER: PROF. HENK BARENDREGT http://www.st.cs.ru.nl/AFP_TFP_2008/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts and full papers. A formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands, and will be held in the rural setting of Center Parcs “Het Heijderbos”, Heijen (in the vicinity of Nijmegen), The Netherlands. TFP 2008 is co-located with the 6th Int’l. Summer School on Advanced Functional Programming (AFP’08), which is held immediately before TFP’08. SCOPE OF THE SYMPOSIUM 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: leading-edge, previously unpublished research. Position: on what new trends should or should not be. Project: descriptions of recently started new projects. Evaluation: what lessons can be drawn from a finished project. Overview: summarizing work with respect to a trendy subject. Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Contributions on the following subject areas are particularly welcomed: * Dependently Typed Functional Programming * Validation and Verification of Functional Programs * Debugging for Functional Languages * Functional Programming and Security * Functional Programming and Mobility * Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications * Functional Languages for Telecommunications Applications * Functional Languages for Embedded Systems * Functional Programming Applied to Global Computing * Functional GRIDs * Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) * Interoperability with Imperative Programming Languages * Novel Memory Management Techniques * Parallel/Concurrent Functional Languages * Program Transformation Techniques * Empirical Performance Studies * Abstract/Virtual Machines and Compilers for Functional Languages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2008 program chairs, Peter Achten and Pieter Koopman, at afp_tfp_2008(a)cs.ru.nl. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of full papers (15 pages) and extended abstracts (3 pages) by the program committee. TFP encourages PhD students to submit papers. PhD students may request the program committee to provide extensive feedback on their full papers at the time of submission. Full papers describing work accepted for presentation must be completed before the symposium for publication in the draft proceedings and on-line. Further details can be found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. IMPORTANT DATES (ALL 2008) Paper Submission: March 3 Notification of Acceptance: March 31 Early Registration Deadline: April 14 Late Registration Deadline: May 5 Camera Ready Symposium: May 5 TFP Symposium: May 26-28 Post Symposium Paper Submission: June 20 Notification of Acceptance: September 7 Camera Ready Revised Paper: September 21 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht Univ., NL Michael Hanus Christian-Albrechts Univ. zu Kiel, DE Ralf Hinze Univ. of Oxford, UK Graham Hutton Univ. of Nottingham, UK Johan Jeuring Utrecht Univ., NL Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL Shriram Krishnamurthi Brown Univ., USA Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE Rita Loogen Philipps-Univ. Marburg, DE Greg Michaelson Heriot-Watt Univ., UK Marco T. Morazán (symp. chair) Seton Hall Univ., USA Sven-Bodo Scholz Univ. of Hertfordshire, UK Ulrik Schultz Univ. of Southern Denmark, DK Clara Segura Univ. Complutense de Madrid, ES Olin Shivers Northeastern Univ., USA Phil Trinder Heriot-Watt Univ., UK Varmo Vene Univ. of Tartu, EE Viktória Zsók Eötvös Loránd Univ., HU ORGANIZATION Symposium Chair: Marco T. Morazán, Seton Hall University, USA Programme Chair: Peter Achten, Pieter Koopman, Radboud University Nijmegen, NL Treasurer: Greg Michaelson, Heriot-Watt University, UK

1 0