- Glasgow-haskell-users

GHC 6.7 on OS X - Readline error
by Philip Weaver 24 May '07

24 May '07

Hello all, My first email to this list, so I apologize if I don't ask my question appropriately... I have GHC 6.6 installed on an Intel Mac (Tiger 10.4), with the readline package installed and System.Console.Readline module working fine. However, when I try to build GHC 6.7 from source (I have tried many different nightly releases, and I have downloaded the extra-lib tarball as well), I always get an error message like this: ghci/InteractiveUI.hs:69:7: Could not find module `System.Console.Readline': Use -v to see a list of the files searched for. <<ghc: 304609140 bytes, 46 GCs, 4250800/9484772 avg/max bytes residency (4 samples), 26M in use, 0.01 INIT (0.00 elapsed), 0.66 MUT (6.89 elapsed), 0.10 GC (0.11 elapsed) :ghc>> make[2]: *** [depend] Error 1 make[1]: *** [stage2] Error 2 make: *** [bootstrap2] Error 2 I could not find any information about this on google, so I am posting here. Anyone know how to fix this? Thanks! Here's some more information if you need it. This is the command that the make file executed which failed: ../compiler/stage1/ghc-inplace -M -optdep-f -optdep.depend-BASE -osuf o -I../includes -H16m -O -iutils -ibasicTypes -itypes -ihsSyn -iprelude -irename -itypecheck -ideSugar -icoreSyn -ispecialise -isimplCore -istranal -istgSyn -isimplStg -icodeGen -imain -iprofiling -iparser -icprAnalysis -indpFlatten -iiface -icmm -inativeGen -ighci -Istage2 -DGHCI -package template-haskell -DDEBUGGER -DGHCI_TABLES_NEXT_TO_CODE -threaded -package readline -DUSE_READLINE -cpp -fglasgow-exts -fno-generics -Rghc-timing -I. -Iparser -package unix -package Cabal -package regex-compat -ignore-package lang -recomp -Rghc-timing -H16M '-#include " cutils.h"' -package-name ghc-6.7.20070330 -fgenerics basicTypes/BasicTypes.lhs basicTypes/DataCon.lhs basicTypes/Demand.lhs basicTypes/Id.lhs basicTypes/IdInfo.lhs basicTypes/Literal.lhs basicTypes/MkId.lhs basicTypes/Module.lhs basicTypes/Name.lhs basicTypes/NameEnv.lhs basicTypes/NameSet.lhs basicTypes/NewDemand.lhs basicTypes/OccName.lhs basicTypes/RdrName.lhs basicTypes/SrcLoc.lhs basicTypes/UniqSupply.lhs basicTypes/Unique.lhs basicTypes/Var.lhs basicTypes/VarEnv.lhs basicTypes/VarSet.lhs cmm/CLabel.hs cmm/Cmm.hs cmm/CmmLex.hs cmm/CmmLint.hs cmm/CmmOpt.hs cmm/CmmParse.hs cmm/CmmUtils.hs cmm/MachOp.hs cmm/PprC.hs cmm/PprCmm.hs codeGen/Bitmap.hs codeGen/CgBindery.lhs codeGen/CgCallConv.hs codeGen/CgCase.lhs codeGen/CgClosure.lhs codeGen/CgCon.lhs codeGen/CgExpr.lhs codeGen/CgForeignCall.hs codeGen/CgHeapery.lhs codeGen/CgHpc.hs codeGen/CgInfoTbls.hs codeGen/CgLetNoEscape.lhs codeGen/CgMonad.lhs codeGen/CgParallel.hs codeGen/CgPrimOp.hs codeGen/CgProf.hs codeGen/CgStackery.lhs codeGen/CgTailCall.lhs codeGen/CgTicky.hs codeGen/CgUtils.hs codeGen/ClosureInfo.lhs codeGen/CodeGen.lhs codeGen/SMRep.lhs coreSyn/CoreFVs.lhs coreSyn/CoreLint.lhs coreSyn/CorePrep.lhs coreSyn/CoreSubst.lhs coreSyn/CoreSyn.lhs coreSyn/CoreTidy.lhs coreSyn/CoreUnfold.lhs coreSyn/CoreUtils.lhs coreSyn/ExternalCore.lhs coreSyn/MkExternalCore.lhs coreSyn/PprCore.lhs coreSyn/PprExternalCore.lhs cprAnalysis/CprAnalyse.lhs deSugar/Check.lhs deSugar/Coverage.lhs deSugar/Desugar.lhs deSugar/DsArrows.lhs deSugar/DsBinds.lhs deSugar/DsBreakpoint.lhs deSugar/DsCCall.lhs deSugar/DsExpr.lhs deSugar/DsForeign.lhs deSugar/DsGRHSs.lhs deSugar/DsListComp.lhs deSugar/DsMeta.hs deSugar/DsMonad.lhs deSugar/DsUtils.lhs deSugar/Match.lhs deSugar/MatchCon.lhs deSugar/MatchLit.lhs ghci/ByteCodeAsm.lhs ghci/ByteCodeFFI.lhs ghci/ByteCodeGen.lhs ghci/ByteCodeInstr.lhs ghci/ByteCodeItbls.lhs ghci/ByteCodeLink.lhs ghci/Debugger.hs ghci/GhciMonad.hs ghci/InteractiveUI.hs ghci/Linker.lhs ghci/ObjLink.lhs ghci/RtClosureInspect.hs hsSyn/Convert.lhs hsSyn/HsBinds.lhs hsSyn/HsDecls.lhs hsSyn/HsDoc.hs hsSyn/HsExpr.lhs hsSyn/HsImpExp.lhs hsSyn/HsLit.lhs hsSyn/HsPat.lhs hsSyn/HsSyn.lhs hsSyn/HsTypes.lhs hsSyn/HsUtils.lhs iface/BinIface.hs iface/BuildTyCl.lhs iface/IfaceEnv.lhs iface/IfaceSyn.lhs iface/IfaceType.lhs iface/LoadIface.lhs iface/MkIface.lhs iface/TcIface.lhs main/Breakpoints.hs main/CmdLineParser.hs main/CodeOutput.lhs main/Config.hs main/Constants.lhs main/DriverMkDepend.hs main/DriverPhases.hs main/DriverPipeline.hs main/DynFlags.hs main/ErrUtils.lhs main/Finder.lhs main/GHC.hs main/HeaderInfo.hs main/HscMain.lhs main/HscStats.lhs main/HscTypes.lhs main/Main.hs main/PackageConfig.hs main/Packages.lhs main/ParsePkgConf.hs main/PprTyThing.hs main/StaticFlags.hs main/SysTools.lhs main/TidyPgm.lhs nativeGen/AsmCodeGen.lhs nativeGen/MachCodeGen.hs nativeGen/MachInstrs.hs nativeGen/MachRegs.lhs nativeGen/NCGMonad.hs nativeGen/PositionIndependentCode.hs nativeGen/PprMach.hs nativeGen/RegAllocInfo.hs nativeGen/RegisterAlloc.hs ndpFlatten/FlattenInfo.hs ndpFlatten/FlattenMonad.hs ndpFlatten/Flattening.hs ndpFlatten/NDPCoreUtils.hs ndpFlatten/PArrAnal.hs parser/Ctype.lhs parser/HaddockLex.hs parser/HaddockParse.hs parser/HaddockUtils.hs parser/LexCore.hs parser/Lexer.hs parser/Parser.hs parser/ParserCore.hs parser/ParserCoreUtils.hs parser/RdrHsSyn.lhs prelude/ForeignCall.lhs prelude/PrelInfo.lhs prelude/PrelNames.lhs prelude/PrelRules.lhs prelude/PrimOp.lhs prelude/TysPrim.lhs prelude/TysWiredIn.lhs profiling/CostCentre.lhs profiling/SCCfinal.lhs rename/RnBinds.lhs rename/RnEnv.lhs rename/RnExpr.lhs rename/RnHsDoc.hs rename/RnHsSyn.lhs rename/RnNames.lhs rename/RnSource.lhs rename/RnTypes.lhs simplCore/CSE.lhs simplCore/FloatIn.lhs simplCore/FloatOut.lhs simplCore/LiberateCase.lhs simplCore/OccurAnal.lhs simplCore/SAT.lhs simplCore/SATMonad.lhs simplCore/SetLevels.lhs simplCore/SimplCore.lhs simplCore/SimplEnv.lhs simplCore/SimplMonad.lhs simplCore/SimplUtils.lhs simplCore/Simplify.lhs simplStg/SRT.lhs simplStg/SimplStg.lhs simplStg/StgStats.lhs specialise/Rules.lhs specialise/SpecConstr.lhs specialise/Specialise.lhs stgSyn/CoreToStg.lhs stgSyn/StgLint.lhs stgSyn/StgSyn.lhs stranal/DmdAnal.lhs stranal/SaAbsInt.lhs stranal/SaLib.lhs stranal/StrictAnal.lhs stranal/WorkWrap.lhs stranal/WwLib.lhs typecheck/FamInst.lhs typecheck/Inst.lhs typecheck/TcArrows.lhs typecheck/TcBinds.lhs typecheck/TcClassDcl.lhs typecheck/TcDefaults.lhs typecheck/TcDeriv.lhs typecheck/TcEnv.lhs typecheck/TcExpr.lhs typecheck/TcForeign.lhs typecheck/TcGadt.lhs typecheck/TcGenDeriv.lhs typecheck/TcHsSyn.lhs typecheck/TcHsType.lhs typecheck/TcInstDcls.lhs typecheck/TcMType.lhs typecheck/TcMatches.lhs typecheck/TcPat.lhs typecheck/TcRnDriver.lhs typecheck/TcRnMonad.lhs typecheck/TcRnTypes.lhs typecheck/TcRules.lhs typecheck/TcSimplify.lhs typecheck/TcSplice.lhs typecheck/TcTyClsDecls.lhs typecheck/TcTyDecls.lhs typecheck/TcType.lhs typecheck/TcUnify.lhs types/Class.lhs types/Coercion.lhs types/FamInstEnv.lhs types/FunDeps.lhs types/Generics.lhs types/InstEnv.lhs types/TyCon.lhs types/Type.lhs types/TypeRep.lhs types/Unify.lhs utils/Bag.lhs utils/Binary.hs utils/BufWrite.hs utils/Digraph.lhs utils/Encoding.hs utils/FastMutInt.lhs utils/FastString.lhs utils/FastTypes.lhs utils/FiniteMap.lhs utils/IOEnv.hs utils/ListSetOps.lhs utils/Maybes.lhs utils/OrdList.lhs utils/Outputable.lhs utils/Panic.lhs utils/Pretty.lhs utils/StringBuffer.lhs utils/UniqFM.lhs utils/UniqSet.lhs utils/Util.lhs - Phil

2 1

Feature request/help: evaluating template haskell at runtime
by Rene de Visser 23 May '07

23 May '07

Hello, I am attempting some genetic programming in Haskell. Rather than defining my own data type for programs and writing my own interpreter, I want to use the template haskell expression data types and evaluate them with the rts's byte code interpreter. This gives me a nice fast interpreter that provides the statistics that I want. I could pretty print the template haskell and then execute the result string using the GHC module or hs-plugins, but I would like to save the pretty printing and parsing as normally the program generation time is important by GP. I have being looking at module TcSplice. I see that I need to run the TH expression through function convertToHsExpr, but after that I am stuck. This produces LHsExpr RdrName and I need to get CoreSyn.CoreExpr. What functions to use? dsLExpr :: LHsExpr Id -> DsM CoreSyn.CoreExpr seems one important step, but I haven't figured out how to get from LHtsExpr RdrName to LHsExpr Id. It would be nice to have standard GHC functionality to have the ability to compile and evaluate template haskell at runtime using the GHC library. Rene.

2 1

ghc-6.6.1 RPM packages for i386 and x86_64 architectures on RHEL 4 and 5
by Ronald Cole 23 May '07

23 May '07

Hello group, Starting with Jens Peterson's packages for Fedora Core, I have built up the latest GHC RPMs for i386 and x86_64 on both RHEL4 and RHEL5. You can check them out at <http://forte-intl.com/~ronald/haskell/ghc/>. It was a fairly straightforward job due in large part to the very nice spec file written by Jens. Please add them to the Distribution Packages page at haskell.org/ghc. Thank you! Ronald Cole

1 0

Sparc/Intel Solaris support
by Joel Reymont 22 May '07

22 May '07

How well is ghc supported on newer versions of Sparc/Intel Solaris? Thanks, Joel -- http://wagerlabs.com/

3 7

Re: [Haskell] Announce: Yi 0.2.0 released
by Jean-Philippe Bernardy 22 May '07

22 May '07

Hello, The following happened to Johannes Waldmann as trying to run yi, which embeds the GHC api to dynamically load code. > waldmann@afa:~> yi > yi: can't load .so/.DLL for: pthread (/usr/lib/libpthread.so: invalid > ELF header) The error doesn't happen on my system (ubuntu feisty); despite my having the exact same /usr/lib/libpthread.so Does anyone have a clue? Cheers, JP. On 5/18/07, Johannes Waldmann <waldmann(a)imn.htwk-leipzig.de> wrote: > Hello. > > I tried to build yi. It lists "gtk" as prerequisite > but the package is actually called "gtk2hs" (but it provides gtk?) > Then compile works fine, but on starting "yi" I get > > waldmann@afa:~> yi > yi: can't load .so/.DLL for: pthread (/usr/lib/libpthread.so: invalid > ELF header) > > and indeed: > > waldmann@afa:~> cat /usr/lib/libpthread.so > /* GNU ld script > Use the shared library, but some functions are only in > the static library, so try that secondarily. */ > OUTPUT_FORMAT(elf32-i386) > GROUP ( /lib/libpthread.so.0 /usr/lib/libpthread_nonshared.a )

3 2

capabilities of GHC API
by Frederik Eaton 22 May '07

22 May '07

Hello, I think what I'm trying to do is too ambitious, but I thought I would ask to see if it is possible. It seems like there is no easy way to do it, given what I've seen of the GHC API. I would like to have a function, say it is called "this", which has the following effect in ghci > let n = 2 in this > n 2 In other words, it captures all the variables which are in scope, and adds them to the GHCi environment. Somebody helpful will probably say "But you can just write 'let n = 2'!", but that is not the aim. There are several aims. One is to be able to look at the variables inside a function which one is trying to debug, then inserting 'this' will cause them to be in scope, I think that would be useful. A more important aim is to be able to use existentially quantified variables easily. Currently I can do: > reifyIntegral 5 (\n -> print $ reflectNum n) 5 but how can I get GHCi to have an 'n' binding which is inside the function? Clearly just returning 'n' will not work: > reifyIntegral 5 id <interactive>:1:0: Inferred type is less polymorphic than expected ... This is what I am thinking of doing, but as I said it seems ambitious. There are several easier things one could think of: > let n = 2 in bind "n" n > n 2 If it were possible to add bindings to the GHCi bindings list, then this would be easy. Is it possible? The documentation doesn't seem to mention such a capability. Also, probably another useful feature would be to combine 'this' with something in the IO monad: > withProgName "blah" thisIO > getProgName "blah" So, are these things currently possible? Planned? Have the functions I describe been implemented already? I think there is a GHCi debugger in the works, so maybe functionality like this will be part of it, I didn't want to start something on my own if that is the case... Many thanks, Frederik -- http://ofb.net/~frederik/

4 7

Wanted: warning option for usages of unary minus
by Isaac Dupree 22 May '07

22 May '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Since the unary negation operator `-' is often considered a wart in Haskell's syntax and in many cases saying "negate" is arguably clearer anyway, I propose adding options to GHC to warn about its use. The only case I don't normally want to be warned about is "negative numeric literals", e.g. (-1), even if in current Haskell they do mean (negate (fromInteger 1)) not (fromInteger (negate 1)) (or equivalently, (fromInteger (negate (fromInteger 1))) as the inner fromInteger === id). I know this would be useful to someone since I caught myself manually cleaning some of my code in this way without the help of warning messages :) Proposed flag names and descriptions (could use a little tidying up) : - -fwarn-unary-minus Causes a warning to be emitted for all usages of the unary operator `-', except those in which its argument is a numeric literal that is not separated from the minus sign by any space (space includes comments). - -fwarn-all-unary-minus For those who hate it with a passion, this option warns about ALL uses of the unary `-' operator, even code like `(-1)'. Opinions? (Should I put a feature request in Trac? Is that what I perhaps should have done in the first place?) Is this simple enough to try to implement myself so I can start getting to know GHC's internals? (I suspect that detecting the adjacency of the "-" to a numeric literal without changing the actual precedence may be a little tricky... -2^6 parses as negate(2^6) and should get a warning, as should (- 2), IMO) Oh, the actual warning message... file:line:column: Warning: Unary minus in expression foo (or, on the next line, In the expression: foo ?) for an appropriate "foo", which has parentheses added to describe the effects of operator precedence, as usual for GHC diagnostic messages (it's just particularly important for making this one easy to understand in some cases) Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGGBpSHgcxvIWYTTURAt5sAKCEIohHMiuUy9AofhWKzvDOf4rwmgCeJcbj e2RmW+UX2E6omuLpFfIH9fs= =1SnR -----END PGP SIGNATURE-----

5 18

How to to terminate runStmt in "GHC as a library"
by Mads Lindstrøm 21 May '07

21 May '07

Hi all I am trying to build a GUI for GHCi using "GHC as a library". See http://haskell.org/haskellwiki/GHC/As_a_library . One requirement is that the GUI is still responsive when executing code using GHC.runStmt. Therefore I do: forkIO $ GHC.runStmt someStatement >> return() While this works fine, it does give me one problem. How do I terminate a call to runStmt prematurely? One would think that this would work: threadId <-forkIO $ GHC.runStmt someStatement >> return() ... killThread threadId However, as runStmt also uses forkIO internally I am not killing the thread that runs "someStatement" - actually nothing seems to happen when executing the action "killThread threadId". Anybody knows how to kill the thread running "someStatement"? I have attached a more complete program which illustrates the problem described above. I have only tested the program on Debian/Linux. Greetings, Mads Lindstrøm

2 1

optimization that doesn't make recompilation be needed more often?
by Isaac Dupree 21 May '07

21 May '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Could there be a flag weaker than -O that doesn't cause recompilation any more than -O0 does -- would that provide any worthwhile optimizations? (an intermediate speed-tradeoff option for haskell developers.) Dependency on the details of modules never expected to be recompiled (e.g. base library, or any package not currently being compiled, but those are just heuristics) should be fine. Wondering, Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGTh/PHgcxvIWYTTURAk6bAJwJm9p9A2z2oyRdHd3YsqmEGdd7MQCfd7LV E3FgIi+XUZNsRlzgxKPhIGI= =OzsN -----END PGP SIGNATURE-----

3 2

ghc stackfaults
by John Meacham 21 May '07

21 May '07

ghc 6.6 and 6.6.1 both go into infinite loops and eventually die with a stackfault when trying to compile the attached file with optimizations turned on. -- John Meacham - ⑆repetae.net⑆john⑈

2 2