- Glasgow-haskell-users

RE: Adding (some) libraries to a GHC tree
by Jost Berthold 17 Sep '08

17 Sep '08

Mitchell, Neil wrote: > Hi > > The paragraph in the new page is better than the old one, but it makes > sense to have the information in only one place. When looking for the > information "getting the sources" didn't occur to me as a description of > how to get any extra libraries (although on reflection, I'm surprised I > didn't try it). > > Thanks > > Neil Hi everybody, all of you are right! :) The information I have added should definitely be close to where --extra is explained. However, the overlap is not that big: "Getting more packages" talks about getting a 'package of packages', all extras in one go. What I added is information about not getting everything, but exactly the few lib.s which you miss. (another question is, how many people would want that...) As a result: I suggest my paragraph should be put right below the explanation of darcs --extra, perhaps shortened accordingly. The only reason I made it a (tiny) new page is that I saw the extra section "contributed doc.", so I thought I should put my contribution here to be moved into more "official" pages by other wiki maintainers (i.e. Neil in this case) later. Jost >> -----Original Message----- >> From: Simon Peyton-Jones [mailto:simonpj@microsoft.com] >> Sent: 17 September 2008 1:40 pm >> To: Mitchell, Neil; Jost Berthold >> Cc: glasgow-haskell-users(a)haskell.org >> Subject: RE: Adding (some) libraries to a GHC tree >> >> good stuff -- but with a big overlap with the "Getting more >> packages" section in >> http://hackage.haskell.org/trac/ghc/wiki/Building/GettingTheSo >> urces. Do you agree? Would it be possible to merge your new >> paragraphs into the existing page? >> >> If the existing page is too big and hard to navigate we could >> break it up. >> >> >> S >> | -----Original Message----- >> | From: glasgow-haskell-users-bounces(a)haskell.org >> | [mailto:glasgow-haskell-users- bounces(a)haskell.org] On Behalf Of >> | Mitchell, Neil >> | Sent: 17 September 2008 10:50 >> | To: Jost Berthold >> | Cc: glasgow-haskell-users(a)haskell.org >> | Subject: RE: Adding (some) libraries to a GHC tree >> | >> | Hi Jost, >> | >> | Many thanks, that's perfect. >> | >> | I moved the page to >> | http://hackage.haskell.org/trac/ghc/wiki/Building/AddingLibs , and >> | referenced it from http://hackage.haskell.org/trac/ghc/wiki/Building >> | >> | Thanks >> | >> | Neil >> | >> | > -----Original Message----- >> | > From: Jost Berthold [mailto:berthold@Mathematik.Uni-Marburg.de] >> | > Sent: 17 September 2008 10:36 am >> | > To: Mitchell, Neil >> | > Cc: glasgow-haskell-users(a)haskell.org >> | > Subject: Adding (some) libraries to a GHC tree >> | > >> | > Hi Neil, >> | > >> | > You can manually add any package which is listed in >> | > http://hackage.haskell.org/trac/ghc/wiki/DarcsRepositories >> | > by getting it (with darcs), directly into the /libraries >> subdirectory. >> | > When you later use darcs-all, the added library will be included >> | > when pulling new changes etc. >> | > >> | > I have added a wiki page to explain this: >> | > http://hackage.haskell.org/trac/ghc/wiki/AddingLibsToBuild >> | > (feel free to remove it and add the material to a more convenient >> | > place) >> | > >> | > HTH >> | > Jost >> | > >> | > >> | > >> | >> | >> ====================================================================== >> | ======== Please access the attached hyperlink for an important >> | electronic communications disclaimer: >> | >> | http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html >> | >> ====================================================================== >> | ======== >> | >> | _______________________________________________ >> | Glasgow-haskell-users mailing list >> | Glasgow-haskell-users(a)haskell.org >> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users >> >> >> > > ============================================================================== > Please access the attached hyperlink for an important electronic > communications disclaimer: > > http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html > ============================================================================== > >

2 1

Adding (some) libraries to a GHC tree
by Jost Berthold 17 Sep '08

17 Sep '08

Hi Neil, You can manually add any package which is listed in http://hackage.haskell.org/trac/ghc/wiki/DarcsRepositories by getting it (with darcs), directly into the /libraries subdirectory. When you later use darcs-all, the added library will be included when pulling new changes etc. I have added a wiki page to explain this: http://hackage.haskell.org/trac/ghc/wiki/AddingLibsToBuild (feel free to remove it and add the material to a more convenient place) HTH Jost

4 4

making Happy-1.17
by Serge D. Mechveliani 17 Sep '08

17 Sep '08

Dear team of Happy, Please, where to find the `make' instruction for Happy-1.17 ? How to `make' it from source on Linux, i386 ? I have ghc-6.8.3 installed, and Cabal. As I see happy.cabal, maybe, Happy can be `made' similarly as I make (with Cabal and GHC) my programs under GHC (?). So, I command cd ~/happy/happy-1.17/ runhaskell Setup.lhs configure -v --ghc --prefix=/home/mechvel/happy/happy-1.17/inst It reports Configuring happy-1.17... Setup.lhs: At least the following dependencies are missing: mtl >=1.0 Please, help, ----------------- Serge Mechveliani mechvel(a)botik.ru

3 3

making 6.9.. with 6.8.3
by Serge D. Mechveliani 16 Sep '08

16 Sep '08

Dear GHC team, I again have problems with making GHC from source. Now, this is for making ghc-6.9.20080910-src.tar.bz with ghc-6.8.3. ./configure --prefix=... reports that Happy is needed. But earlier, I compiled ghc-6.8.3 with itself, and it did not required Happy. Generally, as I recall, I got used to making GHC from source without installing Happy. Please, what (and why) has changed about this? Maybe ghc-6.8.3 has Happy inside it and ghc-6.9.20080910-src has not? Here are the fragments of config.log for ghc-6.8.3 auto-make: --------------------------------------- ... It was created by The Glorious Glasgow Haskell Compilation System configure 6.8.3, which was generated by GNU Autoconf 2.59. Invocation command line was $ ./configure --prefix=/home/mechvel/ghc/6.8.3/inst ## --------- ## ## Platform. ## ## --------- ## hostname = scico uname -m = i686 uname -r = 2.6.22-1-686 uname -s = Linux uname -v = #1 SMP Mon Jul 23 13:23:02 UTC 2007 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /home/mechvel/ghc/6.8.3/inst1/bin ... ... configure:5565: result: /home/mechvel/ghc/6.8.3/inst1/bin/ghc-pkg configure:5707: checking for happy configure:5740: result: no configure:5744: checking for version of happy configure:5757: result: configure:5794: checking for haddock configure:5827: result: no configure:5837: checking for alex configure:5870: result: no configure:5874: checking for version of alex configure:5887: result: ... ... #define _FILE_OFFSET_BITS 64 configure: exit 0 --------------------------------------------------------------- Why ghc-6.9.20080910-src.tar.bz cannot produce such? What I am missing? Can you somehow preserve the `make' procedure between the versions? Second, several years ago I was able to `make' Happy. Now, I tried to make Happy-1.17, with ghc-6.8.3. But it occurs difficult to find out how to do this. This is not like with GHC. The source GHC has README in the root of the `make' directory, where it is visible an short instruction ./configure ... make make install And in Happy, I do not find such. I am unhappy with Happy. Please, advise, ----------------- Serge Mechveliani mechvel(a)botik.ru

3 2

getting (more) profiling data
by Vlad Skvortsov 15 Sep '08

15 Sep '08

Hi! I'm trying to get (more) profiling data out of a program compiled with GHC. Here is a link to a thread with the problem description in haskell-cafe: http://www.nabble.com/-Fwd:-profiling-in-haskell--td19383536.html Thank you! -- Vlad Skvortsov, vss(a)73rus.com, http://vss.73rus.com

1 0

GADT problems
by Mitchell, Neil 15 Sep '08

15 Sep '08

Hi The following code works in GHC 6.8.3, works in GHC 6.9.20071111, but doesn't work in GHC HEAD. {-# LANGUAGE GADTs, ScopedTypeVariables #-} module Test where data E x = E x data Foo where Foo :: Gadt a -> Foo data Gadt a where GadtValue :: Gadt (E a) f (Foo GadtValue) = True f _ = False Under GHC HEAD I get the error: GADT pattern match with non-rigid result type `t' Solution: add a type signature In the definition of `f': f (Foo GadtValue) = True Adding a type signature to f fixes this problem: f :: Foo -> Bool But I haven't found anywhere other than the top level f to add a type signature. When the match is in a list comprehension, it becomes much harder. While playing further I discovered this example: foos = undefined g = [() | Foo GadtValue <- foos] This code doesn't compile under GHC HEAD, but does under 6.8.3. However, adding the type signature: g :: [()] Makes the code compile. This is surprising, as [()] isn't a GADT type, so shouldn't need stating explicitly. Any help on what these errors mean, or how they can be fixed with local type annotations? Thanks Neil ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

4 16

Building GHC with time package
by Mitchell, Neil 15 Sep '08

15 Sep '08

Hi, I want to build GHC HEAD with the time package. I figured out how to do it by editing packages and removing the word extralibs, but that doesn't seem to be the correct way. I suspected I might be able to get time included by giving some incantation to ./darcs-all, but I couldn't figure out what - commands such as help and --help to darcs all were little use. What is the correct way to add a library into the GHC build? If someone tells me I'll add it to the wiki somewhere. I tried looking here: http://hackage.haskell.org/trac/ghc/wiki/Building Thanks Neil ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

1 0

Re: Is FPH implemented in GHC?
by Wolfgang Jeltsch 15 Sep '08

15 Sep '08

Am Sonntag, 14. September 2008 16:11 schrieben Sie: > | To implement all this stuff, I had to do quite a bit of code obfuscation. > | That is, I introduced a lot of trivial functions only to give them an > | explicit impredicative/rank 2 type signature. > > But impredicative is not the same as rank-2. GHC has done higher-rank > types for ages; but impredicative instantiation is a different story. Are > you sure that's the bit you need? Can you give an example? > > Simon Hello Simon, I know that rank 2 is something different. I need both, rank 2 and impredicativity. I already mentioned the (impredicative) type SSignal t (forall t'. SignalFun t' a). The full type of my switch operator is SSignal t (forall t'. SignalFun t' a) -> SignalFun t a. Some of the trivial functions, I mentioned above, have rank 2 types, some have impredicative types. The latter ones typically have types of the form f (forall t. signal t a) -> f (forall t. signal' t a') where f is some specific functor. And as far as I understood, FPH brings advantages for both rank n and impredicativity. Am I wrong at this point? Best wishes, Wolfgang

2 1

How to directly strip ghc generated binaries
by leledumbo 15 Sep '08

15 Sep '08

Sometimes it's annoying to call strip --strip-all <program name> everytime after compilation. Is there anything like gcc's -s so that debugging symbols aren't included? -- View this message in context: http://www.nabble.com/How-to-directly-strip-ghc-generated-binaries-tp194870… Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com.

3 4

Windows build failure
by Mitchell, Neil 15 Sep '08

15 Sep '08

Hi, I've just tried building GHC HEAD using GHC 6.8.3 on Windows following the instructions on the wiki (http://hackage.haskell.org/trac/ghc/wiki/Building/Windows) I initially got a failure about cc1 not being found when executing 6.8.3's gcc, which I worked around by adding c:/ghc/ghc-6.8.3/gcc-lib at the end of the path (i.e. last priority) After this error I get a problem with include files, see the attached log file. It looks like include files are going wrong between Mingw and 6.8.3. My current $PATH variable is: /cygdrive/c/mingw/bin:/usr/local/bin:/usr/bin:/bin:/usr/X11R6/bin:/cygdr ive/c/WI NNT/Microsoft.NET/Framework/v2.0.50727:/cygdrive/c/local/MikTex/texmf/mi ktex/bin :/cygdrive/c/Perl/site/bin:/cygdrive/c/Utils/mks/MKSNT:/cygdrive/c/WINNT /system3 2:/cygdrive/c/WINNT:/cygdrive/c/WINNT/System32/Wbem:/cygdrive/c/CSsystem :/cygdri ve/c/Utils:/cygdrive/c/Program Files/Sybase.12/OCS-12_0/bin:/cygdrive/c/ghc/ghc- 6.8.3:/cygdrive/c/ghc/ghc-6.8.3/bin:/cygdrive/c/bin:/cygdrive/c/Program Files/Ha skell/bin:/cygdrive/f/ImslNT.30/CNL/Bin:/cygdrive/c/Utils/mks/mksnt:/cyg drive/f/ Fame/76:/cygdrive/c/Utils/mks/MKSNT:/cygdrive/c/ghc/ghc-6.8.3/gcc-lib Thanks Neil ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

4 18