- Glasgow-haskell-users

RE: porting ghc-6.4 to x86_64
by Simon Marlow 22 Mar '05

22 Mar '05

On 22 March 2005 09:24, Andrei A. Voropaev wrote: > On Tue, Mar 22, 2005 at 10:06:13AM +0100, Andrei A. Voropaev wrote: >> On Mon, Mar 21, 2005 at 02:20:25PM -0000, Simon Marlow wrote: >> [...] >>>>> Did you copy across ghc/includes/DerivedConstants.h and >>>>> ghc/includes/GHCConstants.h from the target to the host? I think >>>>> that should fix the above error (the docs do say you have to do >>>>> this, so perhaps it's something else). >>>> >>>> Sure enough I did. As I said, I carefully followed the >>>> instructions. I repeated the whole process 3 times to make sure I >>>> didn't forget something :) >>> >>> So could you check the values of SIZEOF_VOID_P (in ghcautoconf.h) >>> and SIZEOF_mp_limb_t (in DerivedConstants.h)? They should both be >>> 8 in the versions of these files copied from the target. >> >> Aha. The values are different. Carefull watching of the >> DerivedConstants.h showed that it was overwritten when I did 'cd >> H/ghc && make boot'. And yes, I did touch of all the copied files. > > Even worse. This file gets overwritten on subsequent steps as well. > So, my attempts to copy the correct one from the T machine again and > again fail. Ok, looks like I need to update the instructions. Does this sequence work: - cd H/ghc/includes && make boot - copy files from T/ghc/includes to H/ghc/includes - touch the files - cd H/ghc/includes && make <<-- should do nothing now Cheers, Simon

2 2

RE: porting ghc-6.4 to x86_64
by Simon Marlow 22 Mar '05

22 Mar '05

On 21 March 2005 14:12, Andrei A. Voropaev wrote: > On Mon, Mar 21, 2005 at 02:09:03PM -0000, Simon Marlow wrote: >> On 21 March 2005 09:52, Andrei A. Voropaev wrote: >> >>> I know that this has been done already (at least by RedHat), but >>> since I don't use RedHat (or any other distro of linux) and instead >>> compiled everything myself, I have to bootstrap ghc as well. So I'm >>> carefully following the instruction. On my host (i386) I have >>> ghc-6.2.2 (and ghc-6.4). Looks like I have some problem. >>> >>> As far as I understand this should fail. >>> >>> $ cd H/ghc && make boot && make >>> ..... >>> ==fptools== make all -r; >>> in /usr/local/src/ghc-6.4/ghc/rts >>> >> ------------------------------------------------------------------------ >>> ../../ghc/compiler/ghc-inplace -H16m -O -H32m -keep-hc-files -static >>> -I. -#include Prelude.h -#include Rts.h -#include RtsFlags.h >>> -#include RtsUtils.h -#include StgRun.h -#include Schedule.h >>> -#include Printer.h -#include Sanity.h -#include STM.h -#include >>> Storage.h -#include SchedAPI.h -#include Timer.h -#include Itimer.h >>> -#include ProfHeap.h -#include LdvProfile.h -#include Profiling.h >>> -#include Apply.h -fvia-C -dcmm-lint -c Apply.cmm -o Apply.o >>> In file included from Apply.cmm:13: >>> /usr/local/src/ghc-6.4/ghc/includes/Cmm.h:288: #error mp_limb_t != >>> StgWord: assumptions in PrimOps.cmm are now false >>> make[1]: *** [Apply.o] Error 1 >>> make: *** [all] Error 1 >> >> Yes, I hit exactly this problem when I recently bootstrapped on >> x86_64. IIRC, the solution was to make the RTS compile. >> >> Did you copy across ghc/includes/DerivedConstants.h and >> ghc/includes/GHCConstants.h from the target to the host? I think >> that should fix the above error (the docs do say you have to do >> this, so perhaps it's something else). > > Sure enough I did. As I said, I carefully followed the instructions. I > repeated the whole process 3 times to make sure I didn't forget > something :) So could you check the values of SIZEOF_VOID_P (in ghcautoconf.h) and SIZEOF_mp_limb_t (in DerivedConstants.h)? They should both be 8 in the versions of these files copied from the target. Cheers, Simon

2 2

Updated 6.4 Windows installer RC
by Sigbjorn Finne 22 Mar '05

22 Mar '05

An updated version of the Windows installer for ghc-6.4 is now available for testing, http://www.haskell.org/ghc/dist/stable/dist/ghc-6-4-bld1.msi md5 checksum: 4a55a5614587cef07a19d7f7728f3a83 It hopefully sorts out the showstopping profiling problems that people have reported; let me know if it doesn't and/or there are other packaging snafus. If nothing major pops up, I'll consider the bits blessed and hook the installer up to the GHC downloads page. Note: - the installer re-uses the product GUIDs of the original 6.4 installer, so if you've already got it installed, it'll remove that install the first time you run it. - the HGL and Win32 packages have been removed from the installer at the suggestion of the package author(s); deemed not quite yet ready for primetime, I believe. --sigbjorn

2 2

RE: porting ghc-6.4 to x86_64
by Simon Marlow 21 Mar '05

21 Mar '05

On 21 March 2005 09:52, Andrei A. Voropaev wrote: > I know that this has been done already (at least by RedHat), but > since I > don't use RedHat (or any other distro of linux) and instead compiled > everything myself, I have to bootstrap ghc as well. So I'm carefully > following the instruction. On my host (i386) I have ghc-6.2.2 (and > ghc-6.4). Looks like I have some problem. > > As far as I understand this should fail. > > $ cd H/ghc && make boot && make > ..... > ==fptools== make all -r; > in /usr/local/src/ghc-6.4/ghc/rts > ------------------------------------------------------------------------ > ../../ghc/compiler/ghc-inplace -H16m -O -H32m -keep-hc-files -static > -I. -#include Prelude.h -#include Rts.h -#include RtsFlags.h > -#include RtsUtils.h -#include StgRun.h -#include Schedule.h > -#include Printer.h -#include Sanity.h -#include STM.h -#include > Storage.h -#include SchedAPI.h -#include Timer.h -#include Itimer.h > -#include ProfHeap.h -#include LdvProfile.h -#include Profiling.h > -#include Apply.h -fvia-C -dcmm-lint -c Apply.cmm -o Apply.o > In file included from Apply.cmm:13: > /usr/local/src/ghc-6.4/ghc/includes/Cmm.h:288: #error mp_limb_t != > StgWord: assumptions in PrimOps.cmm are now false > make[1]: *** [Apply.o] Error 1 > make: *** [all] Error 1 Yes, I hit exactly this problem when I recently bootstrapped on x86_64. IIRC, the solution was to make the RTS compile. Did you copy across ghc/includes/DerivedConstants.h and ghc/includes/GHCConstants.h from the target to the host? I think that should fix the above error (the docs do say you have to do this, so perhaps it's something else). Cheers, Simon

2 1

Unicode Source / Keyboard Layout
by Sven Moritz Hallberg 21 Mar '05

21 Mar '05

Greetings GHC and Haskell folk, please excuse the cross-post. This is a coordinational message. :) I've been longing for Unicode (UTF-8) input support in GHC for a long time. I am currently customizing a keyboard layout to include many mathematical operators and special characters which would be very useful in writing even prettier (!) Haskell code. I'd be interested to complete the keyboard layout and make it public, to raise the value of Unicode input support. When will it happen? To make the fun complete, I think a few adjustments to the Haskell grammar would be in order, so, guessing the relevant people read these lists, may I suggest the following? 1. In addition to the backslash, accept "mathematical * small lamda" (U+1D6CC, U+1D706, U+1D740, U+1D77A, and U+1D7B4) for lambda abstractions. Leave "greek small letter lamda" as a regular letter, so the Greeks can write their native language. 2. In addition to "->", accept "rightwards arrow" U+2192 as the function arrow. 3. Accept "leftwards arrow" U+2190 in do and notation. 4. Accept "leftwards arrow-tail" U+2919 in arrow notation. 5. Accept "rightwards double arrow" U+21D2 in addition to "=>" for type contexts. 6. Accept "for all" U+2200 in addition to the forall keyword. 7. Remove the symbols for clearly prefix operators (n-ary summation and product, logical not, etc.) from the set of characters used to build binary operators. Leave them as identifier letters, so they can be bound to regular functions. Did I forget anything? Being a Macintosh user, I've assembled a Mac OS keylayout file. For anyone interested, the current version can be downloaded: http://www.scannedinavian.org/~pesco/distfiles/hallberg-dvorak.zip The base layout is Dvorak. Caps Lock switches to Greek mode, where 'a' changes to alpha, 'b' to beta, etc. Alt (Option) accesses the symbol map. Shift-Alt gives a second level of symbols. Currently, the symbol map contains german Umlaute for me. I'll most probably move them behind dead-keys soon, though. (A-e giving Ä etc.) I can produce an XKB map for X11 once I'm happy with the layout. It would be cool if someone could also port the thing to Windows around that time. Please get in touch if you're interested. Let me know what you think, Sven Moritz Hallberg

1 0

porting ghc-6.4 to x86_64
by Andrei A. Voropaev 21 Mar '05

21 Mar '05

Hello! I know that this has been done already (at least by RedHat), but since I don't use RedHat (or any other distro of linux) and instead compiled everything myself, I have to bootstrap ghc as well. So I'm carefully following the instruction. On my host (i386) I have ghc-6.2.2 (and ghc-6.4). Looks like I have some problem. As far as I understand this should fail. $ cd H/ghc && make boot && make ..... ==fptools== make all -r; in /usr/local/src/ghc-6.4/ghc/rts ------------------------------------------------------------------------ ../../ghc/compiler/ghc-inplace -H16m -O -H32m -keep-hc-files -static -I. -#include Prelude.h -#include Rts.h -#include RtsFlags.h -#include RtsUtils.h -#include StgRun.h -#include Schedule.h -#include Printer.h -#include Sanity.h -#include STM.h -#include Storage.h -#include SchedAPI.h -#include Timer.h -#include Itimer.h -#include ProfHeap.h -#include LdvProfile.h -#include Profiling.h -#include Apply.h -fvia-C -dcmm-lint -c Apply.cmm -o Apply.o In file included from Apply.cmm:13: /usr/local/src/ghc-6.4/ghc/includes/Cmm.h:288: #error mp_limb_t != StgWord: assumptions in PrimOps.cmm are now false make[1]: *** [Apply.o] Error 1 make: *** [all] Error 1 But this is failing as well $ cd H/ghc/compiler $ make boot stage=2 && make stage=2 ........ ../../ghc/compiler/stage1/ghc-inplace -o stage2/ghc-6.4 -H16m -O -H32m -istage2/utils -istage2/basicTypes -istage2/types -istage2/hsSyn -istage2/prelude -istage2/rename -istage2/typecheck -istage2/deSugar -istage2/coreSyn -istage2/specialise -istage2/simplCore -istage2/stranal -istage2/stgSyn -istage2/simplStg -istage2/codeGen -istage2/main -istage2/profiling -istage2/parser -istage2/cprAnalysis -istage2/compMan -istage2/ndpFlatten -istage2/iface -istage2/cmm -Istage2 -DOMIT_NATIVE_CODEGEN -cpp -fglasgow-exts -fno-generics -Rghc-timing -I. -IcodeGen -InativeGen -Iparser -package unix -package Cabal -recomp -Rghc-timing -O -fvia-C -keep-hc-files -H16M '-#include "hschooks.h"' -no-link-chk stage2/basicTypes/BasicTypes.o stage2/basicTypes/DataCon.o stage2/basicTypes/Demand.o stage2/basicTypes/FieldLabel.o stage2/basicTypes/Id.o stage2/basicTypes/IdInfo.o stage2/basicTypes/Literal.o stage2/basicTypes/MkId.o stage2/basicTypes/Module.o stage2/basicTypes/Name.o stage2/basicTypes/NameEnv.o stage2/basicTypes/NameSet.o stage2/basicTypes/NewDemand.o stage2/basicTypes/OccName.o stage2/basicTypes/RdrName.o stage2/basicTypes/SrcLoc.o stage2/basicTypes/UniqSupply.o stage2/basicTypes/Unique.o stage2/basicTypes/Var.o stage2/basicTypes/VarEnv.o stage2/basicTypes/VarSet.o stage2/cmm/CLabel.o stage2/cmm/Cmm.o stage2/cmm/CmmLex.o stage2/cmm/CmmLint.o stage2/cmm/CmmParse.o stage2/cmm/CmmUtils.o stage2/cmm/MachOp.o stage2/cmm/PprC.o stage2/cmm/PprCmm.o stage2/codeGen/Bitmap.o stage2/codeGen/CgBindery.o stage2/codeGen/CgCallConv.o stage2/codeGen/CgCase.o stage2/codeGen/CgClosure.o stage2/codeGen/CgCon.o stage2/codeGen/CgExpr.o stage2/codeGen/CgForeignCall.o stage2/codeGen/CgHeapery.o stage2/codeGen/CgInfoTbls.o stage2/codeGen/CgLetNoEscape.o stage2/codeGen/CgMonad.o stage2/codeGen/CgParallel.o stage2/codeGen/CgPrimOp.o stage2/codeGen/CgProf.o stage2/codeGen/CgStackery.o stage2/codeGen/CgTailCall.o stage2/codeGen/CgTicky.o stage2/codeGen/CgUtils.o stage2/codeGen/ClosureInfo.o stage2/codeGen/CodeGen.o stage2/codeGen/SMRep.o stage2/compMan/CompManager.o stage2/coreSyn/CoreFVs.o stage2/coreSyn/CoreLint.o stage2/coreSyn/CorePrep.o stage2/coreSyn/CoreSubst.o stage2/coreSyn/CoreSyn.o stage2/coreSyn/CoreTidy.o stage2/coreSyn/CoreUnfold.o stage2/coreSyn/CoreUtils.o stage2/coreSyn/ExternalCore.o stage2/coreSyn/MkExternalCore.o stage2/coreSyn/PprCore.o stage2/coreSyn/PprExternalCore.o stage2/cprAnalysis/CprAnalyse.o stage2/deSugar/Check.o stage2/deSugar/Desugar.o stage2/deSugar/DsArrows.o stage2/deSugar/DsBinds.o stage2/deSugar/DsCCall.o stage2/deSugar/DsExpr.o stage2/deSugar/DsForeign.o stage2/deSugar/DsGRHSs.o stage2/deSugar/DsListComp.o stage2/deSugar/DsMonad.o stage2/deSugar/DsUtils.o stage2/deSugar/Match.o stage2/deSugar/MatchCon.o stage2/deSugar/MatchLit.o stage2/hsSyn/HsBinds.o stage2/hsSyn/HsDecls.o stage2/hsSyn/HsExpr.o stage2/hsSyn/HsImpExp.o stage2/hsSyn/HsLit.o stage2/hsSyn/HsPat.o stage2/hsSyn/HsSyn.o stage2/hsSyn/HsTypes.o stage2/hsSyn/HsUtils.o stage2/iface/BinIface.o stage2/iface/BuildTyCl.o stage2/iface/IfaceEnv.o stage2/iface/IfaceSyn.o stage2/iface/IfaceType.o stage2/iface/LoadIface.o stage2/iface/MkIface.o stage2/iface/TcIface.o stage2/main/CmdLineOpts.o stage2/main/CodeOutput.o stage2/main/Config.o stage2/main/Constants.o stage2/main/DriverFlags.o stage2/main/DriverMkDepend.o stage2/main/DriverPhases.o stage2/main/DriverPipeline.o stage2/main/DriverState.o stage2/main/DriverUtil.o stage2/main/ErrUtils.o stage2/main/Finder.o stage2/main/GetImports.o stage2/main/HscMain.o stage2/main/HscStats.o stage2/main/HscTypes.o stage2/main/Main.o stage2/main/PackageConfig.o stage2/main/Packages.o stage2/main/ParsePkgConf.o stage2/main/SysTools.o stage2/main/TidyPgm.o stage2/ndpFlatten/FlattenInfo.o stage2/ndpFlatten/FlattenMonad.o stage2/ndpFlatten/Flattening.o stage2/ndpFlatten/NDPCoreUtils.o stage2/ndpFlatten/PArrAnal.o stage2/parser/Ctype.o stage2/parser/LexCore.o stage2/parser/Lexer.o stage2/parser/Parser.o stage2/parser/ParserCore.o stage2/parser/ParserCoreUtils.o stage2/parser/RdrHsSyn.o stage2/prelude/ForeignCall.o stage2/prelude/PrelInfo.o stage2/prelude/PrelNames.o stage2/prelude/PrelRules.o stage2/prelude/PrimOp.o stage2/prelude/TysPrim.o stage2/prelude/TysWiredIn.o stage2/profiling/CostCentre.o stage2/profiling/SCCfinal.o stage2/rename/RnBinds.o stage2/rename/RnEnv.o stage2/rename/RnExpr.o stage2/rename/RnHsSyn.o stage2/rename/RnNames.o stage2/rename/RnSource.o stage2/rename/RnTypes.o stage2/simplCore/CSE.o stage2/simplCore/FloatIn.o stage2/simplCore/FloatOut.o stage2/simplCore/LiberateCase.o stage2/simplCore/OccurAnal.o stage2/simplCore/SAT.o stage2/simplCore/SATMonad.o stage2/simplCore/SetLevels.o stage2/simplCore/SimplCore.o stage2/simplCore/SimplEnv.o stage2/simplCore/SimplMonad.o stage2/simplCore/SimplUtils.o stage2/simplCore/Simplify.o stage2/simplStg/SRT.o stage2/simplStg/SimplStg.o stage2/simplStg/StgStats.o stage2/specialise/Rules.o stage2/specialise/SpecConstr.o stage2/specialise/Specialise.o stage2/stgSyn/CoreToStg.o stage2/stgSyn/StgLint.o stage2/stgSyn/StgSyn.o stage2/stranal/DmdAnal.o stage2/stranal/SaAbsInt.o stage2/stranal/SaLib.o stage2/stranal/StrictAnal.o stage2/stranal/WorkWrap.o stage2/stranal/WwLib.o stage2/typecheck/Inst.o stage2/typecheck/TcArrows.o stage2/typecheck/TcBinds.o stage2/typecheck/TcClassDcl.o stage2/typecheck/TcDefaults.o stage2/typecheck/TcDeriv.o stage2/typecheck/TcEnv.o stage2/typecheck/TcExpr.o stage2/typecheck/TcForeign.o stage2/typecheck/TcGenDeriv.o stage2/typecheck/TcHsSyn.o stage2/typecheck/TcHsType.o stage2/typecheck/TcInstDcls.o stage2/typecheck/TcMType.o stage2/typecheck/TcMatches.o stage2/typecheck/TcPat.o stage2/typecheck/TcRnDriver.o stage2/typecheck/TcRnMonad.o stage2/typecheck/TcRnTypes.o stage2/typecheck/TcRules.o stage2/typecheck/TcSimplify.o stage2/typecheck/TcTyClsDecls.o stage2/typecheck/TcTyDecls.o stage2/typecheck/TcType.o stage2/typecheck/TcUnify.o stage2/types/Class.o stage2/types/FunDeps.o stage2/types/Generics.o stage2/types/InstEnv.o stage2/types/Kind.o stage2/types/TyCon.o stage2/types/Type.o stage2/types/TypeRep.o stage2/types/Unify.o stage2/utils/Bag.o stage2/utils/Binary.o stage2/utils/BitSet.o stage2/utils/Digraph.o stage2/utils/FastMutInt.o stage2/utils/FastString.o stage2/utils/FastTypes.o stage2/utils/FiniteMap.o stage2/utils/IOEnv.o stage2/utils/ListSetOps.o stage2/utils/Maybes.o stage2/utils/OrdList.o stage2/utils/Outputable.o stage2/utils/Panic.o stage2/utils/Pretty.o stage2/utils/PrimPacked.o stage2/utils/StringBuffer.o stage2/utils/UnicodeUtil.o stage2/utils/UniqFM.o stage2/utils/UniqSet.o stage2/utils/Util.o stage2/parser/hschooks.o /usr/i386-slackware-linux/bin/ld: cannot find -lHSrts collect2: ld returned 1 exit status <<ghc: 6093992 bytes, 2 GCs, 129908/129908 avg/max bytes residency (1 samples), 12M in use, 0.00 INIT (0.00 elapsed), 0.02 MUT (0.95 elapsed), 0.01 GC (0.01 elapsed) :ghc>> make: *** [stage2/ghc-6.4] Error 1 So in the final step for creating .hc files I get these errors $ cd H $ make hc-file-bundle Project=Ghc .......... echo ghc-6.4/libraries/haskell-src/Language/Haskell/Parser.hs >> hc-files-to-go tar czf ghc-6.4-x86_64-unknown-linux-hc.tar.gz `cat hc-files-to-go` tar: ghc-6.4/ghc/rts/Apply.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/Exception.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/HeapStackCheck.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/PrimOps.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/StgMiscClosures.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/StgStartup.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/StgStdThunks.hc: Cannot stat: No such file or directory tar: ghc-6.4/ghc/rts/Updates.hc: Cannot stat: No such file or directory tar: Error exit delayed from previous errors make: *** [hc-file-bundle] Error 2 I still tried to copy the package to the target machine an compile unregistered ghc, but I got make[1]: *** No rule to make target `Apply.o', needed by `libHSrts.a'. Stop. What could be problem? And what shall I try next? Thank you -- Minds, like parachutes, function best when open

1 0

6.4 vs 6.2.2 can't compile darcs-1.0.2
by Andrei A. Voropaev 18 Mar '05

18 Mar '05

Hello! Today I've tried to compile darcs-1.0.2 and for that I've installed the ghc-6.4-i386-unknown-linux.tar.bz2 (in-place) When I tried to compile, configure script from darcs complained that it couldn't figure out how to do OpenFd (or someting similar). Then I've installed ghc-6.2.2-i386-unknown-linux.tar.bz2 (also in-place). Now compilation was sucessfull. Are these 2 versions not compatible? -- Minds, like parachutes, function best when open

2 1

RE: [Haskell] GHC: Setting default +RTS options at compile time?
by Simon Peyton-Jones 18 Mar '05

18 Mar '05

[Redirecting to GHC users, which is the right place for GHC related questions.] | Is there any way to specify at compile/link time default options for GHC | program +RTS options? No. This is a long-standing feature request. It makes perfect sense, but needs someone to design and implement it. So far not enough people have yelled loudly enough for us to do it. Any volunteers? Simon | <aside> | Why do I want this? I'm using GHC to write a program that will be used by | non-comp uting people to preprocess some data in conjunction with an 18Mb | database file. To load the database into a Data.Map value requires more | than GHC's default 256Mb of heap, and I'd like to increase the program's | default heap size, rather than telling users to use the +RTS -M100M option, | as its one less thing to get wrong. There are of course other possible | solutions, but in this case specifying a default heap size at compile time | seems to be the most natural. | </aside>

1 0

How can I make a counter without Monad?
by Nicolas Oury 18 Mar '05

18 Mar '05

Greetings, In a program, I want to give a unique name to some structures. As it is the only imperative thing I need, I don't want to use a monad. I have played with two solutions and have some questions : * unsafePerformIO : I create a counter : counter :: IORef Int counter = unsafePerformIO (newIORef 0) {-# NOINLINE counter #-} and a function to give a unique name: newNode a = unsafePerformIO $ do i <- readIORef counter writeIORef counter (i+1) return (i,a) {-# NOINLINE newNode #-} I now want to write a function : foo a = let n = newNode a in (n,n) How can I make sure ghc won't reduce it to foo a = (newNode a, newNode a) ? * linear implicit parameters instance Splittable Int where split n = (2*n,2*n+1) But I have a problem : the counter value increases exponentially. (I can only count up to 32 elements...) Is there another way to split Int? Are there other ways to implement a counter in Haskell? Thanks for your help, Best regards, Nicolas Oury

5 8

Haskell on Red Hat Enterprise...
by Francois Meehan 18 Mar '05

18 Mar '05

Hi all, I need Haskell to be installed on a Red advance server 3. Could not find RPM's for it. Tried compiling for tar file, won't pass the ./configure, giving me "configure: error: GHC is required unless bootstrapping from .hc files." error. Could someone give me some pointers on how to do this? Regards, Francois Random Thought: --------------- What nature delivers to us is never stale. Because what nature creates has eternity in it. - Isaac Bashevis Singer, 1904 - 1991

4 9