June 2008 - Glasgow-haskell-users

possible OI extension
by Serge D. Mechveliani 27 Jun '08

27 Jun '08

Hello, people, This is about possible extension in treating of overlapping instances. Here is a simple example. ------------------------------------------ import qualified Data.Set as Set (empty, member, insert) import List (nub) class Nub a where myNub :: a -> a instance Eq a => Nub [a] where myNub = nub instance Ord a => Nub [a] where myNub xs = nub' Set.empty xs where nub' _ [] = [] nub' set (x: xs) = if Set.member x set then nub' set xs else x: (nub' (Set.insert x set) xs) ------------------------------------------ The idea is that it is good to replace nub of the Haskell-98 library with myNub. Because: for Eq a, myNub costs O(n^2), for Ord a, myNub costs O(n*(log n)), and it is good to denote this operation with the same name. Compiling this by GHC under -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances yields the error report: Duplicate instance declarations: instance [overlap ok] (Eq a) => Nub [a] -- Defined at IOverlap2.hs:8:0-43 instance [overlap ok] (Ord a) => Nub [a] -- Defined at IOverlap2.hs:(9,0)-(15,71) Probably, as the context of Ord a is stronger than Eq a, then on the instance overlap, the compiler could choose the instance with the stronger context. Can there be a reasonably implemented extension of this kind? Thank you in advance for your comments, ----------------- Serge Mechveliani mechvel(a)botik.ru

2 1

ghc-6.8.3 binary dist problem
by Benjamin Franksen 27 Jun '08

27 Jun '08

When I try to ./configure, I get this error: aragon: .../i386-unknown-linux/ghc-6.8.3 > ./configure --prefix=/projects/ctl/franksen/usr checking build system type... i686-pc-linux-gnu checking host system type... i686-pc-linux-gnu checking target system type... i686-pc-linux-gnu Which we'll further canonicalise into: i386-unknown-linux checking for path to top of build tree... configure: error: cannot determine current directory Looking into configure, I see that it calls 'utils/pwd/pwd forwardslash' which seems to be the culprit, since aragon: .../i386-unknown-linux/ghc-6.8.3 > utils/pwd/pwd forwardslash [1] 28489 floating point exception utils/pwd/pwd forwardslash Cheers Ben

2 2

using GHC for dependency generation, a couple of questions
by Claus Reinke 27 Jun '08

27 Jun '08

http://www.haskell.org/ghc/docs/latest/html/users_guide/separate-compilatio… Recently, I stumbled on -v2 in combination with --make or -M, which produces nice module-based output instead of the file-based makefile dependencies of -M, but have run into a couple of : 1. --make can't be used with -fno-code, and -M always generates a file, so is this the best one can do: ghc -M -v2 -optdep-f -optdep depend Main.hs ? It would be nice to have the dry-run option (isn't that -fno-code?) work with all commands that produce useful stdout information (including --make -v2). 2. I can't seem to figure out what --include-pkg-deps does? In a way, it seems to be always on, since package imports are always listed in the -v2 output. Claus

1 0

error building HEAD
by Jim Burton 27 Jun '08

27 Jun '08

I am trying to build ghc from the latest src from darcs (pulled today) on ubuntu hardy x86. configure and make *seem* to run fine (no errors reported) but make install gives a long stream of errors. Here's some of the output. What's wrong? Thanks! Jim --------------- (.text+0x435): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s7Un_info': (.text+0x7744): undefined reference to `base_TextziReadziLex_a119_info' Main.o: In function `s7VC_info': (.text+0x7de4): undefined reference to `base_TextziReadziLex_a119_info' Main.o: In function `s7WV_info': (.text+0x849c): undefined reference to `base_TextziReadziLex_a119_info' Main.o: In function `s7Ye_info': (.text+0x8b38): undefined reference to `base_TextziReadziLex_a119_info' Main.o: In function `s7Zx_info': (.text+0x91c0): undefined reference to `base_TextziReadziLex_a119_info' Main.o:(.text+0x982c): more undefined references to `base_TextziReadziLex_a119_info' follow Main.o: In function `r7rA_info': (.text+0xd59b): undefined reference to `base_GHCziHandle_checkWritableHandle_info' Main.o: In function `r7rC_info': (.text+0xd5cb): undefined reference to `base_GHCziHandle_checkWritableHandle_info' Main.o: In function `sdW4_info': (.text+0xd62e): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `s8bn_info': (.text+0xd66c): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `r7ug_info': (.text+0xf353): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `r7uq_info': (.text+0xf4fb): undefined reference to `base_GHCziHandle_checkWritableHandle_info' Main.o: In function `r7us_info': (.text+0xf52b): undefined reference to `base_GHCziHandle_checkWritableHandle_info' Main.o: In function `sewY_info': (.text+0xf5fd): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sewX_info': (.text+0xf63f): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `seRK_info': (.text+0x10658): undefined reference to `DistributionziPackage_zdwzsze_info' Main.o: In function `seZs_info': (.text+0x108ed): undefined reference to `base_DataziVersion_compare5_info' Main.o: In function `s8kb_info': (.text+0x10a94): undefined reference to `DistributionziPackage_go1_info' Main.o: In function `s8kq_info': (.text+0x10be4): undefined reference to `DistributionziPackage_go_info' Main.o: In function `r7xq_info': (.text+0x10cae): undefined reference to `DistributionziCompatziReadP_a13_info' Main.o: In function `r7xu_info': (.text+0x10d7f): undefined reference to `DistributionziCompatziReadP_mplus_info' Main.o: In function `r7xw_info': (.text+0x10fa8): undefined reference to `DistributionziCompatziReadP_run_info' Main.o: In function `s8nM_info': (.text+0x1166a): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `sfeV_info': (.text+0x11699): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s8oE_info': (.text+0x119b6): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `sfjk_info': (.text+0x119e5): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s8r2_info': (.text+0x125fe): undefined reference to `DistributionziPackage_showList_info' Main.o: In function `s8ta_info': (.text+0x14fef): undefined reference to `DistributionziLicense_showsPrec_info' Main.o: In function `sfqg_info': (.text+0x152d4): undefined reference to `DistributionziPackage_zdwshowsPrec_info' Main.o: In function `sgFo_info': (.text+0x15e1f): undefined reference to `DistributionziInstalledPackageInfo_showInstalledPackageInfoField_info' Main.o: In function `s8DS_info': (.text+0x16bfc): undefined reference to `SystemziFilePathziPosix_takeDirectory_info' Main.o: In function `sgY1_info': (.text+0x16dda): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sgXZ_info': (.text+0x16e05): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sgXV_info': (.text+0x16e50): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sgXU_info': (.text+0x16e9f): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sgXK_info': (.text+0x16f58): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a44_info' Main.o: In function `r7yG_info': (.text+0x16fa1): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8EY_info': (.text+0x16fd8): undefined reference to `base_GHCziIOBase_zddmshow6_info' Main.o: In function `sh1S_info': (.text+0x17052): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `s8EU_info': (.text+0x1709c): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sh3l_info': (.text+0x172bd): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sh3k_info': (.text+0x172ff): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8Fq_info': (.text+0x173e3): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a34_info' Main.o: In function `s8GG_info': (.text+0x1744d): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a26_info' Main.o: In function `sh3x_info': (.text+0x17472): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sh3v_info': (.text+0x1749d): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8GT_info': (.text+0x174d3): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a34_info' Main.o: In function `sh3D_info': (.text+0x17552): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8Hh_info': (.text+0x175e3): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sh3I_info': (.text+0x17625): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `s8Gu_info': (.text+0x17663): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8Hk_info': (.text+0x177a9): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8I1_info': (.text+0x17918): undefined reference to `base_GHCziIOBase_zddmshow9_info' Main.o: In function `r7yY_info': (.text+0x17cdb): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s8Jq_info': (.text+0x17e6e): undefined reference to `SystemziFilePathziPosix_combineAlways_info' Main.o: In function `s8Jw_info': (.text+0x17e89): undefined reference to `SystemziFilePathziPosix_combineAlways_info' Main.o: In function `shhH_info': (.text+0x17fea): undefined reference to `SystemziFilePathziPosix_combineAlways_info' Main.o: In function `s8JH_info': (.text+0x1801c): undefined reference to `SystemziFilePathziPosix_combineAlways_info' Main.o: In function `shhP_info': (.text+0x1839b): undefined reference to `base_GHCziList_polyzuinitzq_info' Main.o: In function `shhN_info': (.text+0x1843e): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `shhM_info': (.text+0x1849a): undefined reference to `SystemziFilePathziPosix_splitSearchPath_info' Main.o: In function `shhR_info': (.text+0x1854b): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `s8Ld_info': (.text+0x18739): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s8LA_info': (.text+0x18908): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `shi6_info': (.text+0x18fad): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a47_info' Main.o: In function `s8MR_info': (.text+0x19076): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `r7z6_info': (.text+0x19369): undefined reference to `DistributionziParseUtils_zdwlocatedErrorMsg_info' Main.o: In function `s8O1_info': (.text+0x19574): undefined reference to `DistributionziPackage_go1_info' Main.o: In function `s8PZ_info': (.text+0x19a24): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `shKV_info': (.text+0x19d8e): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s8R3_info': (.text+0x19e2a): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `shLE_info': (.text+0x19e59): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s8ST_info': (.text+0x1a025): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `s8SX_info': (.text+0x1a067): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `shO3_info': (.text+0x1ab09): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `shO0_info': (.text+0x1ab52): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shNZ_info': (.text+0x1aba2): undefined reference to `base_GHCziList_foldr21_info' Main.o: In function `shNS_info': (.text+0x1ad1d): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `shNO_info': (.text+0x1ad65): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `shNM_info': (.text+0x1ad91): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shNI_info': (.text+0x1add9): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `shNG_info': (.text+0x1ae05): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s8XF_info': (.text+0x1ae8f): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shNB_info': (.text+0x1af89): undefined reference to `processzm1zi0zi0zi0_SystemziCmd_a_info' Main.o: In function `shNA_info': (.text+0x1b027): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shNx_info': (.text+0x1b0e2): undefined reference to `base_GHCziList_foldr21_info' Main.o: In function `s8ZY_info': (.text+0x1b7dd): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `shOU_info': (.text+0x1b80d): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s90Q_info': (.text+0x1b961): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `shPo_info': (.text+0x1b991): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s91h_info': (.text+0x1bb55): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `shPt_info': (.text+0x1bb9f): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s920_info': (.text+0x1bec5): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `shPC_info': (.text+0x1bef5): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `shL9_info': (.text+0x1c28e): undefined reference to `DistributionziCompatziReadP_run_info' Main.o: In function `shL7_info': (.text+0x1c2cd): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `s92A_info': (.text+0x1c2fc): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shPO_info': (.text+0x1c3a9): undefined reference to `DistributionziInstalledPackageInfo_foldM1_info' Main.o: In function `shL6_info': (.text+0x1c3ca): undefined reference to `DistributionziParseUtils_readFields_info' Main.o: In function `s93n_info': (.text+0x1c5aa): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `shQ0_info': (.text+0x1c65b): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s98Z_info': (.text+0x1d065): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `siWl_info': (.text+0x1d095): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s99o_info': (.text+0x1d181): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `siWj_info': (.text+0x1d1b1): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s99J_info': (.text+0x1d319): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `siWg_info': (.text+0x1d349): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s9bf_info': (.text+0x1d492): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `s9aW_info': (.text+0x1d5d1): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_zdwmkNest_info' Main.o: In function `s9aU_info': (.text+0x1d5f2): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_reduceDoc_info' Main.o: In function `s9aS_info': (.text+0x1d619): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fill_info' Main.o: In function `s9aQ_info': (.text+0x1d641): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_punctuate_info' Main.o: In function `siWO_info': (.text+0x1d6fd): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `siWN_info': (.text+0x1d748): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `siWc_info': (.text+0x1d896): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `s9bF_info': (.text+0x1d8e6): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s98v_info': (.text+0x1da51): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s9bY_info': (.text+0x1ddd8): undefined reference to `DistributionziInstalledPackageInfo_showInstalledPackageInfo_info' Main.o: In function `sjbS_info': (.text+0x1de19): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sjbR_info': (.text+0x1de73): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sjdd_info': (.text+0x1df0a): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `s9cG_info': (.text+0x1df84): undefined reference to `SystemziFilePathziPosix_takeDirectory_info' Main.o: In function `sjdl_info': (.text+0x1e3bd): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sjdk_info': (.text+0x1e41d): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s9k6_info': (.text+0x1f306): undefined reference to `base_GHCziList_polyzuinitzq_info' Main.o: In function `s9ko_info': (.text+0x1f456): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s9ku_info': (.text+0x1f4aa): undefined reference to `base_GHCziList_polyzurev_info' Main.o: In function `s9kB_info': (.text+0x1f566): undefined reference to `base_GHCziList_polyzuinitzq_info' Main.o: In function `s9km_info': (.text+0x1f751): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `s9km_info': (.text+0x1f778): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `s9nh_info': (.text+0x20002): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `sjAB_info': (.text+0x20031): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s9nj_info': (.text+0x20099): undefined reference to `base_GHCziList_polyzulastzq_info' Main.o: In function `sjAC_info': (.text+0x200be): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sjAz_info': (.text+0x20118): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `s9rN_info': (.text+0x20d9a): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `s9qR_info': (.text+0x2102d): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_zdwmkNest_info' Main.o: In function `s9qP_info': (.text+0x2104e): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_reduceDoc_info' Main.o: In function `s9qN_info': (.text+0x21075): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fill_info' Main.o: In function `s9qL_info': (.text+0x2109d): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_punctuate_info' Main.o: In function `s9qp_info': (.text+0x21241): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `sjBy_info': (.text+0x21271): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `s9ru_info': (.text+0x21409): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fill_info' Main.o: In function `s9rs_info': (.text+0x21431): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_punctuate_info' Main.o: In function `s9rm_info': (.text+0x214c9): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_info' Main.o: In function `sjBv_info': (.text+0x214f9): undefined reference to `DistributionziPackage_zdwdisp1_info' Main.o: In function `sjBz_info': (.text+0x2161d): undefined reference to `base_GHCziIO_zdwa13_info' Main.o: In function `sjBr_info': (.text+0x2167d): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sjzI_info': (.text+0x21b5f): undefined reference to `unixzm2zi3zi0zi0_SystemziPosixziSignals_a38_info' Main.o: In function `sjzH_info': (.text+0x21bc7): undefined reference to `unixzm2zi3zi0zi0_SystemziPosixziSignals_a38_info' Main.o: In function `sjzE_info': (.text+0x21c2b): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sjzB_info': (.text+0x21d01): undefined reference to `base_GHCziIO_a25_info' Main.o: In function `sjzs_info': (.text+0x2209b): undefined reference to `base_GHCziTopHandler_a7_info' Main.o: In function `r7nA_srt': (.data+0x0): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7nC_srt': (.data+0xc): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7nE_srt': (.data+0x18): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7nI_srt': (.data+0x28): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7nK_srt': (.data+0x34): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7oI_srt': (.data+0x220): undefined reference to `base_TextziReadziLex_a119_closure' Main.o: In function `r7oI_srt': (.data+0x22c): undefined reference to `DistributionziPackage_a17_closure' Main.o: In function `r7oI_srt': (.data+0x230): undefined reference to `DistributionziPackage_a16_closure' Main.o: In function `r7oI_srt': (.data+0x23c): undefined reference to `DistributionziLicense_a20_closure' Main.o: In function `r7oS_srt': (.data+0x7a4): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7pq_srt': (.data+0x8a4): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7ps_srt': (.data+0x8b0): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7rA_srt': (.data+0xcb0): undefined reference to `base_GHCziHandle_checkWritableHandle_closure' Main.o: In function `r7rC_srt': (.data+0xcc0): undefined reference to `base_GHCziHandle_checkWritableHandle_closure' Main.o: In function `r7rE_srt': (.data+0xccc): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7rE_srt': (.data+0xcd4): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7rW_srt': (.data+0xd74): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_lvl5_closure' Main.o: In function `r7rW_srt': (.data+0xd78): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a8_closure' Main.o: In function `r7uq_srt': (.data+0x12f4): undefined reference to `base_GHCziHandle_checkWritableHandle_closure' Main.o: In function `r7us_srt': (.data+0x1304): undefined reference to `base_GHCziHandle_checkWritableHandle_closure' Main.o: In function `r7uu_srt': (.data+0x1310): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7uu_srt': (.data+0x1318): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7uy_srt': (.data+0x1354): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_lvl10_closure' Main.o: In function `r7uy_srt': (.data+0x1358): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a8_closure' Main.o: In function `r7xm_srt': (.data+0x18e0): undefined reference to `DistributionziPackage_lvl2_closure' Main.o: In function `r7xo_srt': (.data+0x18ec): undefined reference to `DistributionziPackage_ds_closure' Main.o: In function `r7xo_srt': (.data+0x18f0): undefined reference to `DistributionziPackage_lvl2_closure' Main.o: In function `r7xs_srt': (.data+0x1910): undefined reference to `DistributionziPackage_ds_closure' Main.o: In function `r7xu_srt': (.data+0x1928): undefined reference to `DistributionziCompatziReadP_mplus_closure' Main.o: In function `r7xC_closure': (.data+0x1990): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_Str_static_info' Main.o: In function `rXy_srt': (.data+0x19b8): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `rXu_srt': (.data+0x19c4): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `rXu_srt': (.data+0x19c8): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7y2_srt': (.data+0x1a78): undefined reference to `DistributionziPackage_showList_closure' Main.o: In function `r7y2_srt': (.data+0x1a7c): undefined reference to `DistributionziInstalledPackageInfo_zddmshowList1_closure' Main.o: In function `r7y2_srt': (.data+0x1a84): undefined reference to `DistributionziPackage_zdwshowsPrec_closure' Main.o: In function `r7y2_srt': (.data+0x1a90): undefined reference to `DistributionziLicense_showsPrec_closure' Main.o: In function `r7yo_srt': (.data+0x1b18): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7ys_srt': (.data+0x1b34): undefined reference to `DistributionziInstalledPackageInfo_showInstalledPackageInfoField_closure' Main.o: In function `r7yy_srt': (.data+0x1c78): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7yA_srt': (.data+0x1c84): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7yG_srt': (.data+0x1cb0): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a44_closure' Main.o: In function `r7yG_srt': (.data+0x1cb8): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7yG_srt': (.data+0x1cc0): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7yI_srt': (.data+0x1cec): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7yI_srt': (.data+0x1cf4): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7yI_srt': (.data+0x1cf8): undefined reference to `base_GHCziIOBase_zddmshow6_closure' Main.o: In function `r7yK_srt': (.data+0x1d0c): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a34_closure' Main.o: In function `r7yK_srt': (.data+0x1d10): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a26_closure' Main.o: In function `r7yK_srt': (.data+0x1d14): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7yK_srt': (.data+0x1d1c): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7yO_closure': (.data+0x1d60): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a5_closure' Main.o: In function `r7yQ_closure': (.data+0x1d70): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_lvl4_closure' Main.o: In function `r7yU_srt': (.data+0x1d94): undefined reference to `base_GHCziIOBase_zddmshow9_closure' Main.o: In function `r7z2_srt': (.data+0x1ddc): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_lvl10_closure' Main.o: In function `r7z2_srt': (.data+0x1de0): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_lvl5_closure' Main.o: In function `r7z2_srt': (.data+0x1de4): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a8_closure' Main.o: In function `r7z2_srt': (.data+0x1de8): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a3_closure' Main.o: In function `r7z2_srt': (.data+0x1dec): undefined reference to `directoryzm1zi0zi0zi0_SystemziDirectory_a47_closure' Main.o: In function `r7z6_srt': (.data+0x1e84): undefined reference to `DistributionziParseUtils_zdwlocatedErrorMsg_closure' Main.o: In function `r7ze_srt': (.data+0x1ea4): undefined reference to `DistributionziPackage_lvl2_closure' Main.o: In function `r7zg_srt': (.data+0x1eb0): undefined reference to `DistributionziPackage_ds_closure' Main.o: In function `r7zg_srt': (.data+0x1eb4): undefined reference to `DistributionziPackage_lvl2_closure' Main.o: In function `r7zi_srt': (.data+0x1ecc): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7zi_srt': (.data+0x1ed0): undefined reference to `DistributionziInstalledPackageInfo_lvl85_closure' Main.o: In function `r7zi_srt': (.data+0x1ed4): undefined reference to `DistributionziParseUtils_readFields_closure' Main.o: In function `r7zi_srt': (.data+0x1ed8): undefined reference to `processzm1zi0zi0zi0_SystemziCmd_a_closure' Main.o: In function `r7zi_srt': (.data+0x1ef4): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7zi_srt': (.data+0x1efc): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7zi_srt': (.data+0x1f90): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7zw_srt': (.data+0x256c): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fill_closure' Main.o: In function `r7zw_srt': (.data+0x2570): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7zw_srt': (.data+0x2574): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7zw_srt': (.data+0x257c): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7zw_srt': (.data+0x2580): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7zw_srt': (.data+0x2584): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_reduceDoc_closure' Main.o: In function `r7zw_srt': (.data+0x2588): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7zy_srt': (.data+0x2598): undefined reference to `DistributionziInstalledPackageInfo_showInstalledPackageInfo_closure' Main.o: In function `r7zy_srt': (.data+0x259c): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7zy_srt': (.data+0x25a4): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7zA_srt': (.data+0x25b4): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7zA_srt': (.data+0x25bc): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7zE_closure': (.data+0x25f4): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_Str_static_info' Main.o: In function `r7Am_closure': (.data+0x270c): undefined reference to `base_GHCziBase_Z0T_closure' Main.o: In function `r7Au_closure': (.data+0x2760): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fill_closure' Main.o: In function `r7Au_closure': (.data+0x2764): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7Au_closure': (.data+0x2768): undefined reference to `unixzm2zi3zi0zi0_SystemziPosixziSignals_a38_closure' Main.o: In function `r7Au_closure': (.data+0x2778): undefined reference to `base_GHCziIO_zdwa13_closure' Main.o: In function `r7Au_closure': (.data+0x2780): undefined reference to `base_GHCziIO_a25_closure' Main.o: In function `r7Au_closure': (.data+0x278c): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_reduceDoc_closure' Main.o: In function `r7Au_closure': (.data+0x2790): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `r7Au_closure': (.data+0x2794): undefined reference to `prettyzm1zi0zi0zi0_TextziPrettyPrintziHughesPJ_fullRender_closure' Main.o: In function `ckw6_srtd': (.data+0x2c6c): undefined reference to `base_GHCziTopHandler_a7_closure' collect2: ld returned 1 exit status <<ghc: 50195956 bytes, 6 GCs, 131072/131072 avg/max bytes residency (1 samples), 31M in use, 0.00 INIT (0.00 elapsed), 0.32 MUT (7.32 elapsed), 0.06 GC (0.12 elapsed) :ghc>> make[2]: *** [ghc-pkg.bin] Error 1 Failed making install in ghc-pkg: 1 make[1]: *** [install] Error 1 make: *** [install] Error 1 -- View this message in context: http://www.nabble.com/error-building-HEAD-tp18136817p18136817.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com.

2 4

Default class method inlining bug (wasn't this fixed?)
by Scott Dillard 26 Jun '08

26 Jun '08

Hi, I'm seeing the following bug revived in 6.8.2 and 6.8.3: http://hackage.haskell.org/trac/ghc/ticket/672 I use a default definition for class method, one that calls methods of dependent (super?) classes. Of course I'm embarrassed it took me so long to realize I didn't _need_ the class in the first place, I could just write a plain polymorphic function that calls those methods. Regardless, looks like a bug to me. Two files are attached, Test.hs and Vec.hs. Search for "BUG IS HERE" in Test.hs. There is a class and an instance declaration. Compile as-is to see the correct result. Comment out the method definition in the instance declaration to see the bug. If someone confirms, I'll open a ticket. Scott

2 3

Recursive functions and constant parameter closures (inlining/strictness analyzer question)
by Tyson Whitehead 25 Jun '08

25 Jun '08

main = print $ foldl' (+) 0 [1..] with foldl' f y xs = foldl' y xs where foldl' y [] = y foldl' y (x:xs) = foldl' (f y x) xs runs indefinitely with very little memory consumption, while foldl' f y [] = y foldl' f y (x:xs) = foldl' f (f y x) xs rapidly consumes all the machine's memory and dies. Running ghc with -ddump-stranal shows the outer foldl' of the first gets inlined into main as a call to the following specialized version of the inner foldl': foldl'_sSY [ALWAYS LoopBreaker Nothing] :: GHC.Num.Integer -> [GHC.Num.Integer] -> GHC.Num.Integer [Arity 2 Str: DmdType SS] foldl'_sSY = \ (y_aj7 [ALWAYS Just S] :: GHC.Num.Integer) (ds_dQl [ALWAYS Just S] :: [GHC.Num.Integer]) -> case ds_dQl of wild_XH [ALWAYS Just A] { [] -> y_aj7; : x_aja [ALWAYS Just S] xs_ajb [ALWAYS Just S] -> foldl'_sSY (GHC.Num.plusInteger y_aj7 x_aja) xs_ajb } Doing the same with the second foldl' shows it to remains non-inlined and fully polymorphic: foldl'_sQN [ALWAYS LoopBreaker Nothing] :: forall t_auW t_av2. (t_av2 -> t_auW -> t_av2) -> t_av2 -> [t_auW] -> t_av2 [Arity 3 Str: DmdType LLS] foldl'_sQN = \ (@ t_auW) (@ t_av2) (f_aj0 [ALWAYS Just L] :: t_av2 -> t_auW -> t_av2) (y_aj1 [ALWAYS Just L] :: t_av2) (ds_dQg [ALWAYS Just S] :: [t_auW]) -> case ds_dQg of wild_XK [ALWAYS Just A] { [] -> y_aj1; : x_aj5 [ALWAYS Just L] xs_aj6 [ALWAYS Just S] -> foldl'_sQN @ t_auW @ t_av2 f_aj0 (f_aj0 y_aj1 x_aj5) xs_aj6 } Forcing it inline with {-# INLINE foldl' #-} just specialized it: foldl'_sSS [ALWAYS LoopBreaker Nothing] :: (GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer) -> GHC.Num.Integer -> [GHC.Num.Integer] -> GHC.Num.Integer [Arity 3 Str: DmdType LLS] foldl'_sSS = \ (f_aj0 [ALWAYS Just L] :: GHC.Num.Integer -> GHC.Num.Integer -> GHC.Num.Integer) (y_aj1 [ALWAYS Just L] :: GHC.Num.Integer) (ds_dQg [ALWAYS Just S] :: [GHC.Num.Integer]) -> case ds_dQg of wild_XI [ALWAYS Just A] { [] -> y_aj1; : x_aj5 [ALWAYS Just L] xs_aj6 [ALWAYS Just S] -> foldl'_sSS f_aj0 (f_aj0 y_aj1 x_aj5) xs_aj6 } I thought this was interesting. Is it to be expected? Am I right in interpreting this to mean it was just too much for the strictness analyzer. I believe the first ultimately produces significantly superior code, so should one always write their recursive functions such that the constant (functional?) parameters are first captured in a closure? In that vein, would it be useful if the compiler automatically transformed the second into the first? Thanks! -Tyson

7 14

Library-vs-local performance
by Scott Dillard 24 Jun '08

24 Jun '08

Hi, I've got a library that I'm in the process of uploading to hackage (waiting for account) but the darcs repo is here: http://graphics.cs.ucdavis.edu/~sdillard/Vec I notice a slight drop in performance when I install the library using cabal. Maybe 10-20%, on one particular function. This is in comparison to when the library is 'local', as in, the source files are in the same directory as the client application. What could be causing the performance drop? The function in question requires impractical amounts of inlining (This is something of an experiment), but I don't see how installing it as a library affects that. The functions to be inlined are small, surely available in the .hi files. Its only when they are applied do they agglomerate into a big mess - 80-200K lines of core. The function in question is invertMany in examples/Examples.hs. Scott

3 10

Re: Recursive functions and constant parameter closures (inlining/strictness analyzer question)
by Max Bolingbroke 23 Jun '08

23 Jun '08

> I've been wondering if a nice option would be to be able to feed profiler > information in at compile time and have it override the heuristics. > > That way, inlining, specialization, SAT, etc., decisions could be made based > on how the code actually gets used during a typical run of the program. > > Cheers! -Tyson Yes, that is the ultimate solution to resolving those things that are traditionally unknown by a compiler, and profile directed optimization could certainly be exploited by GHC (imagine having the compiler automatically run Quickcheck/HUnit tests to exercise the code..). See http://msdn.microsoft.com/en-us/library/e7k32f4k.aspx for details of a practical implementation of this strategy. I wouldn't be suprised if industrial virtual machine JIT compilers were making use of this sort of thing too. Another strategy is to having the runtime dynamically adjust how code is executed based on profiling information. See e.g. Adaptive Evalution of Non-Strict Programs by Robert Ennals (http://berkeley.intel-research.net/rennals/pubs/thesis.pdf) In the case of SAT this might involve the runtime switching to the non-SATed version of a function if it looks like most calls to it had a low iteration count. Cheers, Max

1 0

-O in 6.8.3
by Serge D. Mechveliani 20 Jun '08

20 Jun '08

Hello, This is on the recent topic of very eager inlining in ghc-6.8.3. I wrote recently that (1) 6.8.3 takes 7 times more of heap than 6.8.2 to complile under -O a certain small-size module RsePol_ (let us call it M.hs), (2) even the needed ~70 Mb in 6.8.2 looks unnaturally large. After thinking a bit, I take back (2). For `making' M under -Onot -- all right, it must suffice about 20 Mb. But -O allows deeper optimization, this needs more inlining, inlining pieces between modules, inlining instances (to some extent). I expect that -O needs for compilation not more than about 5 times greater expence in memory and time than -Onot. ghc-6.8.2 satisfies this. And 6.8.3 does not, its ratio is about 35 on the example of RsePol_.hs What is the developer's idea abot -O/-Onot cost ratio for RAM and time? What is the difference between ghc-6.8.2 and ghc-6.8.3 ? The former does not inline instances under -O and the latter does inline? As to the 10-20 % of the result code increase, I am calm about this -- if something it bought by this. But I am not an expert and do not see in what point 6.8.3 is better, at least the DoCon performance is not greater. I do not know, maybe some bugs are fixed, and a bug fix often costs some code increase, and a bug fix is good. Regards, ----------------- Serge Mechveliani mechvel(a)botik.ru

2 1

HUnit
by Richard Giraud 19 Jun '08

19 Jun '08

I've converted the literate Haskell documentation and filled in the gaps for HUnit. I've posted the darcs repository with the changes and the new documentation at http://richardg.name/ Please email me with any feedback and/or patches that you might have. In a bit, I'll submit the patches for inclusion into the GHC repository. Richard G.

2 2