- Glasgow-haskell-users

ANN: SearchPath 0.5 and Request for https module URLs
by S. Alexander Jacobson 16 May '05

16 May '05

At Simon Marlow's suggestion, I have implemented Internet import chasing. You wrap your compiler/interpreter call with "searchpath", pass the correct parameters and it will find all your module imports, if they are not local, it will look them up in Internet module directories you specify, retrieve the relevant modules, put them on your path and then run your compiler/interpeter with the appropriate commandline options. e.g. searchpath ghc MyModule.hs OtherModule -isomeDir --internet localModules.map -iotherdir --internet https://hackage.org/modules.map -iotherDir2 -cache cache will result in the download of all the modules it can find each directory and execute: ghc MyModule.hs OtherModule -isomeDir --icache/internet1 -iotherdir -icache/internet2 -iotherDir2 Mapfiles have the form: #comment HAppS http://happs.org #comment *.*.HaXml.* http://www.cs.york.ac.uk/fp/darcs/HaXml/src #another comment Simon, I am now handling import chasing, Haskell extensions, literate haskell, latex haskell, and HTTPS URLs (via curl). It works with the ghc command line, except that it doesn't handle multiple directories passed on the same -i. (Can someone tell me what the official path separator is for ghc -i?). It doesn't yet work with other compilers/interpreters, but should be easy to adapt. It does not handle package files right now. Request: This will work better as people expose their modules via http(s). If your modules are visible this way, please email me a baseURL. Location: http://happs.org/SearchPath.hs -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

1 0

`Dumatel' software announcement
by Serge D. Mechveliani 16 May '05

16 May '05

A N N O U N C E M E N T D u m a t e l a prover program based on equational reasoning, Version 1.02 is available, together with its source program and manual book, at the following addresses: http://www.botik.ru/~mechvel/papers.html click at `dumatel' (Russian site), ftp.botik.ru/pub/local/Mechveliani/dumatel/ (same site), http://www.haskell.org/dumatel/distrib/ (USA site) Dumatel-1.02 is --------------- a prover based on many-sorted term rewriting (TRW) and equational reasoning. It is a program package written in a purely functional, `lazy' language Haskell. It is presented as a library of functions and data structures. To use Dumatel-1.02, user needs to be familiar with Haskell programming. What it has. Abilities ---------------------- * TRW interpreter `reduce', subdued to an explicitly given partial term ordering parameter. * `Unfailing' Knuth-Bendix completion methods ukb, ukbb, where the latter method extends the former with a certain specialized completion for the Boolean connectives. * The inductive prover `prove', including also the refutation procedure for the predicate calculus, using ukbb. The prover reasons about equational specifications, transforming them dynamically. * So far, it is able to solve in a real time only simple problems, and not all of them. Examples of successful proof: (1) Prove list |-inductive- forall Xs ((reverse reverse Xs) = Xs), where "reverse" is defined recursively via the list concatenation "+", and "+" defined recursively via ":" (`cons'). (2) naturalNumbers |-inductive- forall [n, m] (n+m = m+n), where "+" is defined via the "successor" operator by the equations [n+0 = 0, n+(s m) = s (n+m)]. Example of failure: (3) naturalNumbers |-inductive- forall [n, m] (n*m = m*n), where the multiplication "*" is defined in (2) via "+": [n*0 = 0, n*(s m) = n + n*m]. See the book.ps for further information. Ports: Dumatel-1.02 was tested under ghc-6.2.2, Linux. ------ Manual (`book'): see dm/book.ps contained in the distribution. --------------- Remarks are welcome: mechvel(a)botik.ru -------------------- Serge Mechveliani, Program Systems Institute, 152020, Pereslavl-Zalessky, Russia. e-mail mechvel(a)botik.ru http://www.botik.ru/~mechvel

1 0

runghc, ".hs" suffix
by Frederik Eaton 14 May '05

14 May '05

(moving to a separate thread) Also, how hard would it be to make it so that runghc doesn't require script file names to end with ".hs"? Some people like to keep their executable names language-neutral. Frederik On Wed, May 11, 2005 at 10:55:03AM +0100, Simon Marlow wrote: > On 11 May 2005 07:37, Frederik Eaton wrote: > > > It looks like runghc is exiting with status 0 if there is a problem. > > Shouldn't this be non-zero? > > > > $ runghc -V > > The Glorious Glasgow Haskell Compilation System, version 6.4 > > $ runghc /dev/null; echo $? > > Could not find module `/dev/null': > > use -v to see a list of the files searched for > > (one of the roots of the dependency analysis) > > > > <interactive>:1:76: > > Failed to load interface for `Main': > > Could not find module `Main': > > it is not a module in the current program, or in any known > > package. 0 > > It turns out I fixed this bug after 6.4, but later the fix was > accidentally reverted. So thanks for reporting this again, it'll work > properly in 6.4.1. > > Cheers, > Simon >

1 0

RE: ghc-6.4 fPIC compilation problem on amd64
by ariep＠xs4all.nl 13 May '05

13 May '05

> That's a new one on me. Does your 6.2.2 build otherwise work, i.e. can > you build & run programs with it? ghc won't even compile a 'main = putStrLn "hello world"' program: | # ghc --make Main.hs | Chasing modules from: Main.hs | Compiling Main ( Main.hs, Main.o ) | Linking ... | /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.3/../../../../x86_64-pc-linux-gnu/bin/ld: Main.o: relocation R_X86_64_32 against `__stginit_Main_' can not be used when making a shared object; recompile with -fPIC | Main.o: could not read symbols: Bad value | collect2: ld returned 1 exit status :( Greetings, Arie

1 0

Fwd: Re[2]: Unicode source files
by Bulat Ziganshin 13 May '05

13 May '05

Sorry, Simon, are you received this message? This is a forwarded message From: Bulat Ziganshin <bulatz(a)HotPOP.com> To: "Simon Marlow" <simonmar(a)microsoft.com> Date: Thursday, May 05, 2005, 10:13:37 PM Subject: Unicode source files ===8<==============Original message text=============== Hello Simon, Thursday, May 05, 2005, 1:56:12 PM, you wrote: >> it is true what to support unicode source files only StringBuffer >> implementation must be changed? SM> It depends whether you want to support several different encodings, or SM> just UTF-8. If we only want to support UTF-8, then we can keep the SM> StringBuffer in UTF-8 and also FastStrings. (or you could re-encode the SM> other encodings into UTF-8). srcParseErr contains call to "stepOnBy (-len)", and doing this will be hard with UTF-8. although we can save pointer(s) to positions of previous chars or even just reparse from scratch entire buffer - printing source errors is not so frequent task. of course, it will be great to just save this position for us :) making FastString UTF-8-enabled would be great. it needs changes in lengthFS, indexFS and may be cmpFS (can the UTF-8 chars be compared with just memcmp?). also i don't know about hPutFS. win32 console works in either oem or ansi 8-bit encoding SM> The question is what Alex should see for a unicode character: Alex SM> currently assumes that characters are in the range 0-255 (you need a SM> fixed range in order to generate the lexer tables). One possibility is SM> to map all Unicode upper-case characters to a single character code for SM> Alex, and similarly for the other classes of character. i don't know anything about Alex intrinsics, and can only say that any solution is better to do INSIDE Alex, so other programs using it will also get Unicode support ... if this problem is just about changing charType in Ctype.lhs - we can use some sort of hack. for example, use current scheme until there is some char greater than (chr 255). in this moment we create array for classification of chars 256-65535. all chars greater than (chr 65535) is better to recognize with calls to appropriate functions, i think btw, Ruby supports writing numbers in form 1_200_000. how about adding this feature to GHC? ;) Lexer.x: @decimal = $digit [$digit \_]* @octal = [$octit \_]+ @hexadecimal = [$hexit \_]+ StringBuffer.lhs: parseInteger :: StringBuffer -> Int -> Integer -> (Char->Int) -> Integer parseInteger buf len radix to_int = go 0 0 where go i x | i == len = x | otherwise = case (lookAhead buf i) of '_' -> go (i+1) x c -> go (i+1) (x * radix + toInteger (to_int c)) -- Best regards, Bulat mailto:bulatz@HotPOP.com ===8<===========End of original message text=========== -- Best regards, Bulat mailto:bulatz@HotPOP.com

1 0

Why would my bugreports not have been responded to?
by Samuel Bronson 12 May '05

12 May '05

I sent a couple of bug reports to the glasgow-haskell-bugs list, and I'm wondering why nobody seems to have responded yet. Should I have used the sourceforge bug tracker? Are they maybe just hard? Am I just being unreasonably impatient? -- Thanks, Sam

1 0

[ ghc-Feature Requests-1084122 ] RPM doesn't support --prefix
by SourceForge.net 11 May '05

11 May '05

Feature Requests item #1084122, was opened at 2004-12-13 10:54 Message generated for change (Comment added) made by juhp You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1084122&group_… Category: None Group: None Status: Open Priority: 5 Submitted By: John Skaller (skaller) Assigned to: Nobody/Anonymous (nobody) Summary: RPM doesn't support --prefix Initial Comment: After installing ghc for linux using rpm with --prefix=/usr/local, the ghc scriipt incorrectly thinks the libraries etc are in /usr: #!/bin/sh GHCBIN="/usr/lib/ghc-6.2.2/ghc-6.2.2"; TOPDIROPT="-B/usr/lib/ghc-6.2.2"; # Mini-driver for GHC exec $GHCBIN $TOPDIROPT ${1+"$@"} After editing, at least the compiler actually starts up :) ---------------------------------------------------------------------- Comment By: Jens-Ulrik Petersen (juhp) Date: 2005-05-12 11:08 Message: Logged In: YES user_id=139853 This is now fixed in Fedora Haskell as of ghc-6.4-7. I will send in a spec file patch "as soon as the dust settles". Feel free to assign this to me. :) ---------------------------------------------------------------------- Comment By: Jens-Ulrik Petersen (juhp) Date: 2005-05-09 08:57 Message: Logged In: YES user_id=139853 Not really sure what the right solution is - one hack that comes to mind is adding a %post install script in the spec file that would replace the default prefix with the specified one. ---------------------------------------------------------------------- Comment By: Nobody/Anonymous (nobody) Date: 2005-04-12 22:06 Message: Logged In: NO Still a problem with 6.2.4 - Additionally, you now need to edit the package.conf file. Karl M. Syring syring(a)email.com ---------------------------------------------------------------------- Comment By: Simon Marlow (simonmar) Date: 2004-12-14 01:26 Message: Logged In: YES user_id=48280 Re-opened. Any RPM gurus out there who could knock this one on the head? Note it's not just the ghc script, there's a couple of other scripts that need munging (ghci, ghc-pkg, hsc2hs maybe). ---------------------------------------------------------------------- Comment By: John Skaller (skaller) Date: 2004-12-13 23:54 Message: Logged In: YES user_id=5394 I can see it isn't supported :) However after the change to those two lines, the compiler works, links libraries, and the resultant binary executes correctly (as far as I can tell never having written any Haskell before .. :) So why not support it? I had no choice .. my root partition, containing /usr is 97% full.. :) ---------------------------------------------------------------------- Comment By: Simon Marlow (simonmar) Date: 2004-12-13 21:54 Message: Logged In: YES user_id=48280 You're trying to install the binary RPM using a different prefix? That's not supported, I'm afraid. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1084122&group_…

1 0

Fedora Haskell ghc-6.4 package is now relocatable
by Jens Petersen 11 May '05

11 May '05

An updated ghc packages for Fedora Core are now available from Fedora Haskell: <http://haskell.org/fedora/>. The ghc-doc subpackage now include all the docs - not just those of the libraries. The package is now relocatable, since this has been requested by a number of people. For x86-64 users there are also a few backported fixes. Enjoy, Jens ----------------------------------------------------------------------------- * Wed May 11 2005 Jens Petersen <petersen(a)haskell.org> - 6.4-7 - make package relocatable (ghc#1084122) - add post install scripts to massage prefix in driver scripts appropriately * Fri May 6 2005 Jens Petersen <petersen(a)haskell.org> - 6.4-6 - add ghc-6.4-dsforeign-x86_64-1097471.patch and ghc-6.4-rts-adjustor-x86_64-1097471.patch from trunk to improve ffi on x86_64 (Simon Marlow, ghc#1097471) - use XMLDocWays instead of SGMLDocWays to build documentation fully * Mon May 2 2005 Jens Petersen <petersen(a)haskell.org> - 6.4-5 - add rts-GCCompact.h-x86_64.patch to fix GC issue on x86_64 (Simon Marlow) * Thu Mar 17 2005 Jens Petersen <petersen(a)haskell.org> - 6.4-4 - add ghc-6.4-powerpc.patch (Ryan Lortie) - disable building interpreter rather than install and delete on x86_64

1 0

RE: ghc-6.4 fPIC compilation problem on amd64
by Simon Marlow 11 May '05

11 May '05

On 10 May 2005 16:29, ariep(a)xs4all.nl wrote: > When trying to compile ghc-6.4 from source on my amd64 using a 6.2.2 > binary (obtained via gentoo portage), I get the following error > message: > > ##### > make all > [...] > /usr/bin/ghc -o ghc-pkg.bin -H16m -O -cpp -Wall > -fno-warn-name-shadowing > -fno-warn-unused-matches -i../../lib/compat -Rghc-timing > -L../../lib/compat -lghccompat Main.o Version.o > /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.3/../../../../x86_64-pc-linux-gnu/b in/ld: > Main.o: relocation R_X86_64_32 against `__stginit_Main_' can not be > used when making a shared object; recompile with -fPIC > Main.o: could not read symbols: Bad value > collect2: ld returned 1 exit status > <<ghc: 6713240 bytes, 3 GCs, 68040/68040 avg/max bytes residency (1 > samples), 6M in use, 0.00 INIT (0.00 elapsed), 0.03 MUT (0.03 > elapsed), > 0.00 GC (0.02 elapsed) :ghc>> > make[4]: *** [ghc-pkg.bin] Error 1 > ##### That's a new one on me. Does your 6.2.2 build otherwise work, i.e. can you build & run programs with it? > I added -fPIC to CFLAGS, LDFLAGS and the ghc options (the latter by > './configure --with-ghc="/usr/bin/ghc -fPIC"'), without effect: ghc > does not know an -fPIC, the other two attempts gave the same error > message as above. GHC doesn't support -fPIC on amd64 right now. Maybe it will in the future. Cheers, Simon

1 0

ghc-6.4 fPIC compilation problem on amd64
by ariep＠xs4all.nl 10 May '05

10 May '05

Hi, When trying to compile ghc-6.4 from source on my amd64 using a 6.2.2 binary (obtained via gentoo portage), I get the following error message: ##### make all [...] /usr/bin/ghc -o ghc-pkg.bin -H16m -O -cpp -Wall -fno-warn-name-shadowing -fno-warn-unused-matches -i../../lib/compat -Rghc-timing -L../../lib/compat -lghccompat Main.o Version.o /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.3/../../../../x86_64-pc-linux-gnu/bin/ld: Main.o: relocation R_X86_64_32 against `__stginit_Main_' can not be used when making a shared object; recompile with -fPIC Main.o: could not read symbols: Bad value collect2: ld returned 1 exit status <<ghc: 6713240 bytes, 3 GCs, 68040/68040 avg/max bytes residency (1 samples), 6M in use, 0.00 INIT (0.00 elapsed), 0.03 MUT (0.03 elapsed), 0.00 GC (0.02 elapsed) :ghc>> make[4]: *** [ghc-pkg.bin] Error 1 ##### I added -fPIC to CFLAGS, LDFLAGS and the ghc options (the latter by './configure --with-ghc="/usr/bin/ghc -fPIC"'), without effect: ghc does not know an -fPIC, the other two attempts gave the same error message as above. What am I doing wrong? Thank you for your time, Arie Peterson

1 0