May 2007 - Glasgow-haskell-users

RE: GHC as a library
by Simon Peyton-Jones 31 May '07

31 May '07

| In typecheckedSource, I can only access the function definitions with | type annotations, but not the data type declaration. | In checkedModuleInfo, I can only access the "Names" of the exported | entities, and but not their (inferred) types are not present. You have easy access to the data decls: In a ModuleInfo is a TypeEnv. The range of the type env (gotten with typeEnvElts) are TyThings. A TyThing can be a Id a Class a TyCon a DataCon So just pull out those TyCons and away you go! (Lots of accessor functions for TyCons in module TyCon.) The Ids are the variables declared in the module, and they each have a type (use idType). In exchange, would you like to document what you have learned? Here for example: http://haskell.org/haskellwiki/GHC/As_a_library Many thanks Simon

2 1

Replacing select() in the non-threaded RTS?
by Bryan O'Sullivan 31 May '07

31 May '07

I notice that select is a bit of a bottleneck in the non-threaded RTS once lots of sockets are in play. Between kernel and userspace, many a cycle are wasted once we go past a few hundred clients. On some operating systems, the fixed nature of fd_set imposes a surprisingly low ceiling on the maximum number of concurrently open file descriptors. I gather there's some kind of longish-term plan to build a more pluggable RTS, but it seems like a nearer-term solution could be implemented relatively cheaply, and wouldn't conflict with the ultimate goal. Would the GHC team be interested in receiving a patch that replaced select, where possible, with an operating system's native, and hopefully faster, event wait mechanism? <b

3 3

GHC.Prim problem
by Ben Sinclair 31 May '07

31 May '07

Hello, I've had a problem with GHC.Prim when compiling the darcs HEAD lately. When I compile it in the normal way with no special options > sh boot && ./configure && make && make install it compiles correctly, but if I attempt to compile > module Main where > > import GHC.Prim > > main :: IO () > main = return () then I get this output: > $ ghc --make Main.hs -fglasgow-exts -v > Glasgow Haskell Compiler, Version 6.7.20070524, for Haskell 98, compiled by GHC version 6.7.20070524 > Using package config file: /usr/local/lib/ghc-6.7.20070524/package.conf > wired-in package base mapped to base-2.1 > wired-in package rts mapped to rts-1.0 > wired-in package haskell98 mapped to haskell98-1.0 > wired-in package template-haskell mapped to template-haskell-0.1 > Hsc static flags: -static > *** Chasing dependencies: > Chasing modules from: Main.hs > Stable obj: [] > Stable BCO: [] > Ready for upsweep > [NONREC > ModSummary { > ms_hs_date = Sat May 26 01:11:06 EST 2007 > ms_mod = main:Main, > ms_imps = [] > ms_srcimps = [] > }] > compile: input file Main.hs > Created temporary directory: /tmp/ghc19188_0 > *** Checking old interface for main:Main: > [1 of 1] Compiling Main ( Main.hs, Main.o ) > *** Parser: > *** Renamer/typechecker: > > Main.hs:3:0: > Failed to load interface for `GHC.Prim': > locations searched: > GHC/Prim.hs > GHC/Prim.lhs > *** Deleting temp files: > Deleting: /tmp/ghc19188_0/ghc19188_0.s > Warning: deleting non-existent /tmp/ghc19188_0/ghc19188_0.s > Upsweep partially successful. > *** Deleting temp files: > Deleting: > link(batch): upsweep (partially) failed OR > Main.main not exported; not linking. > *** Deleting temp files: > Deleting: > *** Deleting temp dirs: > Deleting: /tmp/ghc19188_0 Is there anything I should be doing to make this work? Thanks for any advice, Ben

4 5

How to create a GHC binary bundle?
by Maxime Henrion 30 May '07

30 May '07

Hello all, I've been trying to find documentation on how to create GHC binary bundles myself without success so far. I've been browsing the GHC website and found documents on how to handle various situations such as porting GHC to an unsupported platform, or how to build GHC from a binary bundle, but couldn't find anything related to the creation of those binary bundles. I've also encountered many broken links on the GHC website which didn't make things easier :-). To be more precise, I want to know how to create the ghc-$version-$arch-boot.tar.bz2 file to redistribute to users so that they can build GHC easily, and that on a platform that already has a working (but older) GHC installation. So far, I've been able to find out that I want to use the binary-dist make target, and that this requires me to put BIN_DIST=1 in mk/build.mk. Other than that, I'm pretty much lost. If I just missed some document, I'd be happy to get redirected to it; if not, some explanations on the matter would be greatly appreciated. Thanks, Maxime

3 3

FW: GHC as a library
by Simon Peyton-Jones 30 May '07

30 May '07

Good questions. Fwding to GHC users, to get myself out of the inner loop Simon -----Original Message----- From: Kenny Zhuo Ming Lu [mailto:luzm@comp.nus.edu.sg] Sent: 30 May 2007 12:44 To: Simon Peyton-Jones Subject: GHC as a library Dear Simon, I would like to bother you with some questions regarding GHC-as-a-library. I am currently planning to use/call GHC to infer/typecheck a given haskell module my project. I've been following the examples (in particular, the interactive evaluator) in http://haskell.org/haskellwiki/GHC/As_a_library In the following program I managed to parse and type check the given Haskell module, (Test.hs) using the call GHC.checkModule function. \begin{code} main = do session <- GHC.newSession GHC.JustTypecheck (Just "Test.hs") dflags1 <- GHC.getSessionDynFlags session (dflags2, packageIds) <- Packages.initPackages dflags1 GHC.setSessionDynFlags session dflags2{GHC.hscTarget=GHC.HscNothing} let name = "Test.hs" target <- GHC.guessTarget name Nothing GHC.addTarget session target GHC.load session GHC.LoadAllTargets let preludeModule = GHC.mkModule (PackageConfig.stringToPackageId "base") (GHC.mkModuleName "Prelude") GHC.setContext session [] [preludeModule] m_checkedModule <- GHC.checkModule session (GHC.mkModuleName "Test") ... \end{code} I am hoping to retrieve the inferred types of the declared Ids in Test.hs At this stage, what I obtain is a value of type Maybe CheckedModule. Then I looked into the definition of CheckedModule, \begin{code} data CheckedModule = CheckedModule { parsedSource :: ParsedSource, renamedSource :: Maybe RenamedSource, typecheckedSource :: Maybe TypecheckedSource, checkedModuleInfo :: Maybe ModuleInfo } \end{code} I attempted to look inside two of them, \begin{code} typecheckedSource :: Maybe TypecheckedSource, checkedModuleInfo :: Maybe ModuleInfo \end{code} In typecheckedSource, I can only access the function definitions with type annotations, but not the data type declaration. In checkedModuleInfo, I can only access the "Names" of the exported entities, and but not their (inferred) types are not present. So my question is, "Where I can access the inferred types?" Could you please advice? Thanks you very much. Best Regards, Kenny

2 1

isSpace is too slow
by Neil Mitchell 27 May '07

27 May '07

Hi, I'm running a particular benchmark which calls isSpace a lot (basically wc -w). There are three ways to do the underlying space comparison - using the Haskell Data.Char.isSpace, using the C isspace, or using the C iswspace: isspace: 0.375 iswspace: 0.400 Char.isSpace: 0.672 Any chance someone could speed this up? Perhaps just replacing isSpace with a direct call to iswspace? On the particular benchmark I'm doing, C is 4 times faster than GHC - if isSpace was improved this would only be twice as slow. Thanks Neil

8 8

Use of MutableByteArray in GHC/Conc.lhs ?
by Mark Wassell 27 May '07

27 May '07

Hi, Here is a question about a non-standard build from a first-timer ... I am slowly making progress, in a drunken walk kind of way, building GHC 6.7.20070518 (the one from the LambdaVM tree). Whilst most of my problems can be side stepped by tweaking the configure options and my libraries, I am puzzled by the error below. Why is MutableByteArray being used? Isn't it deprecated? Its appearance does sit inside #ifdef mingw32_HOST_OS so maybe it hasn't been noticed. Mark ./configure --enable-java --build=i386-unknown-mingw32 --with-gcc=c:/software/mingw/bin/gcc --with-ld=c:/software/mingw/bin/ld.exe <snip> ../../compiler/ghc-inplace -H16m -O -fglasgow-exts -cpp -Iinclude -"#include" HsBase.h -funbox-strict-fields -package-name base-2.0 -O -Rghc-timing -fgenerics -fgenerics -c GHC/Conc.lhs -o GHC/Conc.o -ohi GHC/Conc.hi GHC/Conc.lhs:607:43: Not in scope: type constructor or class `MutableByteArray#' GHC/Conc.lhs:609:33: Not in scope: `byteArrayContents#' GHC/Conc.lhs:611:44: Not in scope: type constructor or class `MutableByteArray#'

2 1

Avoiding CAF's
by Neil Mitchell 24 May '07

24 May '07

Hi, I'm trying to avoid CAF's being created, and I was wondering how is the best way to do it with GHC. For example: f = .... Can I attach {-# INLINE #-} to f, and expect the CAF to be removed that way? Is there any NOCAF annotation. I can always f _, then change the callers to f () - if I'm doing that what is the most efficient fake argument, and should I annotate f in any way? If the dummy argument isn't used, is GHC going to float the let outside and re-CAF it? The next example is: foreign import ccall safe "stdio.h getchar" getchar2 :: CInt Can I stop this being CAF'd in any way? I'm working at a very low level here, so any hacky things with big disclaimers are still appreciated. Thanks Neil

4 11

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

23 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