- Glasgow-haskell-users

GHC on Win x64
by Zachary Turner 07 Dec '09

07 Dec '09

I've been out of the loop for quite some time. Has there been any progress on the ability to build a native x64 version of GHC for windows? the supported platforms page on the web does not even list this as a Tier 1, 2, or 3 platform and last time I tried this (quite a while ago, admittedly) I could not get it to work. Thanks, Zach

2 1

GHC Bug or User Error?
by Zachary Turner 07 Dec '09

07 Dec '09

GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. Prelude> let f x = x*x Prelude> let g x y = x+y Prelude> let q x y = (f . g) x y Prelude> :t q q :: (Num (a -> a), Num a) => a -> a -> a I'm somewhat of a beginner so the error could definitely be my own, but it seems to me like the third line should be rejected by GHCi. As for the 4th line, the type of q seems nonsensical to me. I can't figure out any possible valid meaning of 'Num (a -> a) '. Can anyone shed some light on this? Zach

2 1

GHC 6.12.1 release note suggestion
by Robin Green 02 Dec '09

02 Dec '09

Could I suggest that the following short text be included in the GHC 6.12.1 final release notes, in some form? -- cut here -- Updating third-party packages ----------------------------- A number of packages will need modifying to build on GHC 6.12.1 (in some cases, just modifying the dependencies in the .cabal file will suffice). If you fix someone else's open source Haskell library or application so that it builds or works correctly on GHC 6.12.1, please help the Haskell community by: (a) publishing your changes as a patch or a repository, and adding a link to them on this wiki page: http://haskell.org/haskellwiki/Patches_and_forks_for_GHC_6.12 (You can email updates for that page to Robin Green <greenrd(a)greenrd.org> if you don't want to create a wiki account.) (b) notifying the package's current maintainer/author (this information may be found on the package's Hackage page, if it has one), specifying where your changes may be found. (c) removing your changes from the wiki page if/when they get included upstream This will help to avoid duplicating our efforts. -- cut here -- -- Robin

1 0

A few small points about GHCi command documentation in section 2.7
by Yitzchak Gale 01 Dec '09

01 Dec '09

Please add to the documentation for :set prompt: If you enclose \i{prompt} in quotes, you can use Haskell syntax for String literals. Actually, :set prompt is nearly useless without quotes, because GHCi strips off trailing spaces from commands. We should either add a space at the end of a prompt entered without quotes, or just require quotes. Or at least change the help text to be: :set prompt \"<prompt>\" set the prompt used in GHCi\n so that people will know the right thing to do. Perhaps add a few more words of explanation to the docs in section 2.7 once we decide which of these to do. The :run command is not documented in section 2.7 - the only mention of it is buried within the documentation for the :main command. It is also not mentioned in helpText. Thanks, Yitz

2 1

GHC 6.12 + zlib + Mac OS 10.6
by Antoine Latter 30 Nov '09

30 Nov '09

Hello folks, Everything has been going beautifully with the latest versions of GHC 6.12, except that anything involving zlib dies at run-time. In ghci: > :m Codec.Compression.Zlib > :m +Data.ByteString.Lazy.Char8 > :s -XOverloadedStrings > compress "hello" *** Exception: user error (Codec.Compression.Zlib: incompatible zlib version) I'm running OS X 10.6 on a 64-bit machine. I've heard of folks running into this with GHC 6.10 on OS X 10.6, who got rid of it by removing mac-ports. I tried that and it didn't change anything. My mac-ports install should have all been universal binaries anyway. I imagine I'm somehow building against a 64-bit version of the zlib library, but I'm not sure at what step I'm supposed to do things different, or what precisely I'm supposed to do different. Thanks, Antoine

5 11

mysteriously hidden ghc-binary-0.5.0.2
by Donn Cave 28 Nov '09

28 Nov '09

Trying to build ghc-6.12.0.20091121, from an hc bootstrap build of ghc-6.12.0.20091010 -- i.e., first self hosted build of ghc. I'm hung up at the point where, after building ghc-cabal, ghc-pkg, hsc2hs etc., it tries to generate dependencies (?) for a Binary.hs in libraries/bin-package-db. It can't find module 'Data.Binary' - "It is a member of the hidden package `ghc-binary-0.5.0.2'." OK, I am not familiar with packages, except insofar as encountered while trying to build GHC, but from "ghc-pkg list", I would not get the impression that ghc-binary-0.5.0.2 is hidden (no parentheses.) I get this result with either ghc-pkg, from the 20091010 build where ghc-stage2 is, or the newly built 20091121 version. The command line seems to correctly have -hide-all-packages, followed eventually by -package ghc-binary-0.5.0.2. The command and results below. Is this a configuration problem with 6.12.0, or is it more likely that my ghc build is defective? Thanks! Donn Cave, donn(a)avvanta.com /boot/home/src/ghc/ghc-6.12.0.20091010/inplace/bin/ghc-stage2 -v -M -include-pkg-deps -dep-makefile libraries/bin-package-db/dist-boot/build/.depend-v -H64m -O0 -fasm -package-conf libraries/bootstrapping.conf -package-name bin-package-db-0.0.0.0 -hide-all-packages -i -ilibraries/bin-package-db/. -ilibraries/bin-package-db/dist-boot/build -ilibraries/bin-package-db/dist-boot/build/autogen -Ilibraries/bin-package-db/dist-boot/build -Ilibraries/bin-package-db/dist-boot/build/autogen -Ilibraries/bin-package-db/. -optP-include -optPlibraries/bin-package-db/dist-boot/build/autogen/cabal_macros.h -package Cabal-1.8.0.1 -package base-4.2.0.0 -package ghc-binary-0.5.0.2 -fno-warn-deprecated-flags -odir libraries/bin-package-db/dist-boot/build -hidir libraries/bin-package-db/dist-boot/build -stubdir libraries/bin-package-db/dist-boot/build -hisuf hi -osuf o -hcsuf hc libraries/bin-package-db/./Distribution/InstalledPackageInfo/Binary.hs Glasgow Haskell Compiler, Version 6.12.0.20091010, for Haskell 98, stage 2 booted by GHC version 6.8.3 Using binary package database: /boot/home/src/ghc/ghc-6.12.0.20091010/inplace/lib/package.conf.d/package.cache Using package config file: libraries/bootstrapping.conf wired-in package ghc-prim mapped to ghc-prim-0.2.0.0-inplace wired-in package integer-gmp mapped to integer-gmp-0.2.0.0-inplace wired-in package base mapped to base-4.2.0.0-inplace wired-in package rts mapped to builtin_rts wired-in package haskell98 mapped to haskell98-1.0.1.1-inplace wired-in package template-haskell mapped to template-haskell-2.4.0.0-inplace wired-in package dph-seq mapped to dph-seq-0.4.0-inplace wired-in package dph-par mapped to dph-par-0.4.0-inplace Hsc static flags: -funregisterised -static Created temporary directory: /tmp/ghc47745_0 *** Chasing dependencies: Chasing modules from: *libraries/bin-package-db/Distribution/InstalledPackageInfo/Binary.hs libraries/bin-package-db/Distribution/InstalledPackageInfo/Binary.hs:21:7: Could not find module `Data.Binary': It is a member of the hidden package `ghc-binary-0.5.0.2'. locations searched: libraries/bin-package-db/./Data/Binary.hs libraries/bin-package-db/./Data/Binary.lhs libraries/bin-package-db/dist-boot/build/Data/Binary.hs libraries/bin-package-db/dist-boot/build/Data/Binary.lhs libraries/bin-package-db/dist-boot/build/autogen/Data/Binary.hs libraries/bin-package-db/dist-boot/build/autogen/Data/Binary.lhs *** Deleting temp files: Deleting: /tmp/ghc47745_0/ghc47745_0.dep *** Deleting temp dirs: Deleting: /tmp/ghc47745_0

1 0

Build of HEAD fails in integer-gmp
by Bryan O'Sullivan 28 Nov '09

28 Nov '09

I get this error message, which suggests that the gmp-wrappers file should be compiled with -fPIC but isn't being: /usr/bin/ld: libraries/integer-gmp/dist-install/build/cbits/gmp-wrappers.dyn_o: relocation R_X86_64_PC32 against undefined symbol `__gmpz_init' can not be used when making a shared object; recompile with -fPIC

2 2

Build ghc with hardened toolchain
by 章宏九 27 Nov '09

27 Nov '09

Hello. I am using Gentoo with hardened features enabled. Recently i want to try yi-editor. I built GHC with emerge and nothing strange happened. However, I got following error information when i built yi: Building yi-0.6.1... [ 1 of 119] Compiling System.FriendlyPath ( System/FriendlyPath.hs, dist/build/System/FriendlyPath.o ) [ 2 of 119] Compiling Shim.ProjectContent ( Shim/ProjectContent.hs, dist/build/Shim/ProjectContent.o ) [ 3 of 119] Compiling Parser.Incremental ( Parser/Incremental.hs, dist/build/Parser/Incremental.o ) [ 4 of 119] Compiling Data.Trie ( Data/Trie.hs, dist/build/Data/Trie.o ) [ 5 of 119] Compiling Data.DelayList ( Data/DelayList.hs, dist/build/Data/DelayList.o ) [ 6 of 119] Compiling Data.Rope ( Data/Rope.hs, dist/build/Data/Rope.o ) [ 7 of 119] Compiling Data.Prototype ( Data/Prototype.hs, dist/build/Data/Prototype.o ) [ 8 of 119] Compiling HConf.Utils ( HConf/Utils.hs, dist/build/HConf/Utils.o ) [ 9 of 119] Compiling HConf.Paths ( HConf/Paths.hs, dist/build/HConf/Paths.o ) [ 10 of 119] Compiling Paths_yi ( dist/build/autogen/Paths_yi.hs, dist/build/Paths_yi.o ) [ 11 of 119] Compiling HConf ( HConf.hs, dist/build/HConf.o ) [ 12 of 119] Compiling Yi.Char.Unicode ( Yi/Char/Unicode.hs, dist/build/Yi/Char/Unicode.o ) [ 13 of 119] Compiling Yi.UI.Common[boot] ( Yi/UI/Common.hs-boot, dist/build/Yi/UI/Common.o-boot ) [ 14 of 119] Compiling Yi.String ( Yi/String.hs, dist/build/Yi/String.o ) [ 15 of 119] Compiling Yi.Monad ( Yi/Monad.hs, dist/build/Yi/Monad.o ) [ 16 of 119] Compiling Yi.Keymap.Completion ( Yi/Keymap/Completion.hs, dist/build/Yi/Keymap/Completion.o ) [ 17 of 119] Compiling Yi.Editor[boot] ( Yi/Editor.hs-boot, dist/build/Yi/Editor.o-boot ) [ 18 of 119] Compiling Yi.Debug ( Yi/Debug.hs, dist/build/Yi/Debug.o ) [ 19 of 119] Compiling Yi.Prelude ( Yi/Prelude.hs, dist/build/Yi/Prelude.o ) [ 20 of 119] Compiling Yi.Dynamic ( Yi/Dynamic.hs, dist/build/Yi/Dynamic.o ) [ 21 of 119] Compiling Yi.Event ( Yi/Event.hs, dist/build/Yi/Event.o ) [ 22 of 119] Compiling Yi.Interact ( Yi/Interact.hs, dist/build/Yi/Interact.o ) [ 23 of 119] Compiling Yi.Keymap[boot] ( Yi/Keymap.hs-boot, dist/build/Yi/Keymap.o-boot ) [ 24 of 119] Compiling Yi.Style ( Yi/Style.hs, dist/build/Yi/Style.o ) [ 25 of 119] Compiling Yi.Style.Library ( Yi/Style/Library.hs, dist/build/Yi/Style/Library.o ) [ 26 of 119] Compiling Yi.Interpreter ( Yi/Interpreter.hs, dist/build/Yi/Interpreter.o ) [ 27 of 119] Compiling Shim.Utils ( Shim/Utils.hs, dist/build/Shim/Utils.o ) [ 28 of 119] Compiling Shim.CabalInfo ( Shim/CabalInfo.hs, dist/build/Shim/CabalInfo.o ) [ 29 of 119] Compiling Yi.Buffer.Misc[boot] ( Yi/Buffer/Misc.hs-boot, dist/build/Yi/Buffer/Misc.o-boot ) [ 30 of 119] Compiling Yi.Buffer.Basic ( Yi/Buffer/Basic.hs, dist/build/Yi/Buffer/Basic.o ) ghc: /usr/lib/ghc-6.10.4/ghc-prim-0.1.0.0/HSghc-prim-0.1.0.0.o: unknown symbol `_GLOBAL_OFFSET_TABLE_' Loading package ghc-prim ... linking ... ghc: unable to load package `ghc-prim' I notice that Gentoo has already done some works about disabling hardened features temporarily for Haskell. Here is the mk/build.mk: # Gentoo changes docdir = /usr/share/doc/ghc-6.10.4 htmldir = /usr/share/doc/ghc-6.10.4 SRC_HC_OPTS+= -optc-march=native -opta-march=native -optc-nopie -optl-nopie -optc-fno-PIE -opta-Wa,--noexecstack SRC_CC_OPTS+=-O2 -march=native -pipe -nopie -Wa,--noexecstack XMLDocWays= HADDOCK_DOCS=NO SRC_HC_OPTS+=-w While talking on IRC (#gentoo-haskell and #haskell) I was told that this might be caused by a broken GHC. Although above shows that PIE are disabled, ghc-prim (maybe at least) is still built with PIE enabled. According to advice from #gentoo-haskell, I was told to seek for help here. I also submit a bug about it as #3668. (Very sorry that I ask everywhere. Forgive me, but until yesterday I forgot my password of my gmail and cannot join a mailling-list.) Thank igloo told me add "-nopie" in SRC_LD_OPTS. I did but still failed: ------------------------------------------------------------------------ == make boot - --no-print-directory -r --jobserver-fds=3,4 - --jobserver-fds=3,4 -j; in /var/tmp/portage/dev-lang/ghc-6.10.4/work/ghc-6.10.4/utils/genapply ------------------------------------------------------------------------ /var/tmp/portage/dev-lang/ghc-6.10.4/work/usr/bin/ghc -package-conf /var/tmp/portage/dev-lang/ghc-6.10.4/work/ghc-6.10.4/libraries/bootstrapping.conf -H32m -O -optc-march=native -opta-march=native -optc-nopie -optl-nopie -opta-Wa,--noexecstack -w -package pretty -fforce-recomp -c GenApply.hs -o GenApply.o -ohi GenApply.hi /var/tmp/portage/dev-lang/ghc-6.10.4/work/usr/bin/ghc -M -dep-makefile .depend -osuf o -package-conf /var/tmp/portage/dev-lang/ghc-6.10.4/work/ghc-6.10.4/libraries/bootstrapping.conf -package-conf /var/tmp/portage/dev-lang/ghc-6.10.4/work/ghc-6.10.4/libraries/bootstrapping.conf -H32m -O -optc-march=native -opta-march=native -optc-nopie -optl-nopie -opta-Wa,--noexecstack -w -package pretty -fforce-recomp GenApply.hs /var/tmp/portage/dev-lang/ghc-6.10.4/work/usr/bin/ghc -o genapply -package-conf /var/tmp/portage/dev-lang/ghc-6.10.4/work/ghc-6.10.4/libraries/bootstrapping.conf -H32m -O -optc-march=native -opta-march=native -optc-nopie -optl-nopie -opta-Wa,--noexecstack -w -package pretty -fforce-recomp -nopie GenApply.o ghc: unrecognised flags: -nopie Usage: For basic information, try the `--help' option. make[2]: *** [genapply] Error 1 Failed making boot in genapply: 1 make[1]: *** [boot] Error 1 make: *** [stage1] Error 1 I am surprised that why "-nopie" is sent here. Since wiki only told me to see config.mk.in and it does not have any examples, I have no idea about SRC_LD_OPTS. I need help how to completely disable PIE for GHC. Thank you very much. Hongjiu Zhang

1 2

conservative optimizations
by Alexei Kitaev 27 Nov '09

27 Nov '09

Dear GHC team, I have observed a space leak in a simple program compiled with -O option. The problem is to compute the "Fibonacci rabbit sequence": [1,0,1,1,0,1,0,1,1,0,1,1,0,...] see e.g., this Haskell Cafe discussion: http://www.haskell.org/pipermail/haskell-cafe/2007-November/034236.html I like this problem because I studied the spectrum of the Schrodinger operator defined by this sequence a while ago. Anyway, here are two slightly different programs that compute the rabbit sequence: -- Version 1: O(n) time, O(n) space rs :: [Int] rs = 1: tail [x | r <- rs, x <- f r] where f 0 = [1] f 1 = [1,0] main :: IO () main = print $ take 100 rs -- Version 2: O(n) time, O(log n) space rs :: () -> [Int] rs () = 1: tail [x | r <- rs(), x <- f r] where f 0 = [1] f 1 = [1,0] -- test of memory usage main :: IO () main = print $ rs() !! (10^8) When the second program is compiled with -O flag (using GHC-6.10.4 or the latest version, 6.13.20091125), it eats up a lot of memory. After some web searching and experimentation, I found that the space leak can be fixed by compiling with -fno-full-laziness and inserting {-# NOINLINE rs #-} However, I still have a few of questions: 1) Why would inlining introduce a space leak? This looks like a compiler bug to me. 2) Is there a set of "safe" or, if this is a better word, "conservative" optimizations that never increase the running time or space usage more than by a constant factor? This leads to another question: relative to what? I understand that prescribing the exact evaluation order and other details would be impractical, but is it possible to define *some* aspects of the program behavior that would allow the programmer to guarantee the correct asymptotic efficiency? Thank you, Alexei Kitaev

1 0

-package-name flag in 6.10.x
by Malcolm Wallace 25 Nov '09

25 Nov '09

The ghc documentation at http://www.haskell.org/ghc/docs/latest/html/users_guide/packages.html says the following: > -package-name foo > Tells GHC the the module being compiled forms part of package foo. If this flag is omitted (a very common case) then the default package main is assumed. > Note: the argument to -package-name should be the full package identifier for the package, that is it should include the version number. For example: -package mypkg-1.2. I observe that the example uses -package rather than -package-name, and wonder if this is a mistake. Moreover, when I attempt to use the flag, like so: $ ghc -package-name hat-2.06 ... <command line>: cannot parse 'hat-2.06' as a package identifier This used to work with ghc-6.6.x and ghc-6.8.x, but seems to have stopped working with ghc-6.10.x. I surmise that the leading zero after the version point separator is to blame? It seems an unfortunate regression. Regards, Malcolm

2 1