RE: ghc --make feature request

2001-10-26 Thread Jan-Willem Maessen

Simon Marlow [EMAIL PROTECTED] writes:
 GHC actually has rather sophisticated recompilation checking which
 goes beyond just checking whether the interface changed - it keeps
 version information for each entity exported by a module and only
 recompiles if any of the entities actually used by the module have
 changed (this is described in the user's guide under the section on
 recompilation checking).
 
 So the upshot is that what you're describing shouldn't happen, and it
 may be a bug.  Could you send us more info?

Note that in GHC, the version number of a function can often change
for hard-to-spot reasons.  You just need to change (for example) the
strictness properties of the function, which can be very easy to do
when making changes to your code.  The compiler cares about (much)
more than just the types of imported objects.  I tend to expect
recompiles whenever something depends on a function I've changed, even
if I don't think the changes were very significant.

-Jan-Willem Maessen

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Strictness Information (Was: ghc --make feature request)

2001-10-26 Thread Jim Farrand

On Friday 26 October 2001 14:41, Jan-Willem Maessen wrote:

 You just need to change (for example) the
 strictness properties of the function, which can be very easy to do
 when making changes to your code.

Is there a way to automatically discover the strictness of a function?  I 
think it would be really usefull to have some kind of extended :t command in 
ghci which would do something like:

main :T foo
foo :: A (Strict) - A (Strict) - Bool
main :T bar
bar :: a (Lazy) - [a] (Lazy) - [a]

Perhaps this is possible already, and I just don't know about it.

Regards,
Jim

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



RE: Strictness Information (Was: ghc --make feature request)

2001-10-26 Thread Simon Marlow

 On Friday 26 October 2001 14:41, Jan-Willem Maessen wrote:
 
  You just need to change (for example) the
  strictness properties of the function, which can be very easy to do
  when making changes to your code.
 
 Is there a way to automatically discover the strictness of a 
 function?  I 
 think it would be really usefull to have some kind of 
 extended :t command in 
 ghci which would do something like:
 
 main :T foo
 foo :: A (Strict) - A (Strict) - Bool
 main :T bar
 bar :: a (Lazy) - [a] (Lazy) - [a]
 
 Perhaps this is possible already, and I just don't know about it.

This may be possible for entities from compiled modules, but GHCi can't
do strictness analysis for interpreted modules (due to quite boring
reasons - the byte-code backend can't quite handle the output from some
of the optimisation passes).

That's an interesting suggestion anyway, we'll bear it in mind.

Cheers,
Simon

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Re: ghc --make feature request

2001-10-26 Thread Carl R. Witty

Simon Marlow [EMAIL PROTECTED] writes:

 GHC actually has rather sophisticated recompilation checking which
 goes beyond just checking whether the interface changed - it keeps
 version information for each entity exported by a module and only
 recompiles if any of the entities actually used by the module have
 changed (this is described in the user's guide under the section on
 recompilation checking).

I've seen unexpected compiles using ghc --make.  I've got a system
with modules A, B, and C; A depends on B and B depends on C.  I've
seen the following sequence of events:

I change C
ghc --make A compiles C, B, and A
I change A
ghc --make A skips C and compiles B and A

I don't know of any reason why it would have compiled B in the second
case.

If this is not a known bug, I can try to reproduce it and submit a
formal bug report.

Carl Witty

___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Readline version

2001-10-26 Thread Frank Seaton Taylor

Good day folks.

I've been having a bit of trouble compiling ghc5.02 from source on 
Solaris 2.6. The problem is that it can't find readline/readline.h which 
is not in a standard place since I had to compile readline myself. I've 
been messing around with various environment variables and configuration 
options, but have failed so far to communicate where this file is. I'm 
hoping someone can give me a suggestion. (I've reviewed the mailing list 
log and FAQ and have seen that readline is a problem on Solaris, but 
haven't seen anything that obviously is what I've been missing.)

I hacked mk/config.mk to say GhcLibsWithReadline=YES, since I have 
libreadline.a and libtermcap.a in my LD_LIBRARY_PATH. That produced the 
aforementioned missing readline/readline.h. I tried CFLAGS=blah so 
that readline/readline.h should be visible but that didn't work either.

One more thing, is there a particular version of readline I should be 
using? (I'm using 4.2)

Thanks,
---Frank Seaton Taylor

P.S. I'm a bit new at some of this stuff, so I may have misrepresented 
the situation. I'd be glad to clarify anything.


___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



Re: Reading files via http or ftp

2001-10-26 Thread Marcin 'Qrczak' Kowalczyk

25 Oct 2001 21:01:27 +0100, Colin Paul Adams [EMAIL PROTECTED] pisze:

 Has anyone used the Socket library to read files specified via an
 http and/or ftp URL?

Yes (http), although I implemented only a small subset of the http
client protocol.

http://qrczak.ids.net.pl/Haber-0.3.tar.gz

-- 
 __(  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^  SYGNATURA ZASTÊPCZA
QRCZAK


___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users