RE: loop when running hsc

2000-11-02 Thread Simon Marlow

 With ghc-4.08.1, running on Linux with -0 -O2-for-C, I get:
 
 loop
 
 With ghc-4.08, running on Solaris, with -O -O2-for-C, I get:
 
 hsc: no threads to run:  infinite loop or deadlock?
 
 With ghc-4.08, running on Solaris, with -Onot, the compilation works.
 For the sources you will need the whole of UniForM again, 
 instructions on
 request.  What is going on?

loop indicates a black hole - the RTS detected the main thread was
self-referential and raised the NonTermination exception, which is printed
as "loop".  The test isn't foolproof, so sometimes you get the deadlock
message instead (but this needs some further investigation, it seems).

It's worrying that compiling without optimisation causes the program to
terminate correctly.  This indicates a possible strictness analyser bug.

Ok, we'll need to investigate but this is going to be a tricky one to track
down.  Is there any way you can try to narrow down the problem?

Cheers,
Simon

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



Re: loop when running hsc

2000-11-02 Thread George Russell

Simon Marlow wrote:
 Ok, we'll need to investigate but this is going to be a tricky one to track
 down.  Is there any way you can try to narrow down the problem?
sigh  Oh alright then.  It's taken me some time but attached is a version
narrowed down to just two files.  When you've unpacked it, go into the directory
and do 
   gmake GHC=... BUG
where "..." is your ghc command (for Linux, 4.08.1).  At the end of the second 
compilation
I get a message:
   hsc: no threads to run:  infinite loop or deadlock?
 ghcbug.tar.gz


Re: Why is variable out of scope?

2000-11-02 Thread George Russell

Simon Peyton-Jones wrote:
 
 It's a bug all right, and a bizarre one at that.
 It's fixed in the before-ghci-branch.
 I'm not quite certain when it got fixed, mind you!
 
 Hmm.  Maybe we're going to need 4.08.2.
The trouble with all this wondrous new GHC code is that one suspects that it has
fixed many of the old bugs by introducing lots of NEW ones.  Have you tried 
compiling UniForM (now up to 48000 lines of Haskell) with GHC lately?

I stopped trying to compile GHC from CVS ages ago when I was getting unexplained
core dumps which apparently could only be fixed by reinstalling gcc/binutils . . .

I would appreciate it if the two bugs I've reported in the last two days were
fixed, but I wonder where on earth this is going.  Is the idea to keep on producing
4.08.* patches until you're finally confident enough with the head branch
of the CVS repository to turn it into a proper release?

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



RE: Why is variable out of scope?

2000-11-02 Thread Simon Peyton-Jones

|  Have you tried 
|  compiling UniForM (now up to 48000 lines of Haskell) with 
| GHC lately?
| 
| No, and perhaps it should be part of our nightly test suite 
| (which already contains several hundred thousand lines of code, BTW).

George,

Good idea!

Send us details about how to get access to your CVS archive, 
plus instructions on how to build it, and we'll set  it up.

Simon

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



Re: Why is variable out of scope?

2000-11-02 Thread George Russell

Simon Peyton-Jones wrote:
 Send us details about how to get access to your CVS archive,
 plus instructions on how to build it, and we'll set  it up.

Well you can read 
   http://www.informatik.uni-bremen.de/~ger/cvs/CVS.html
but (touch wood) the following should work
(bash is assumed)

(1) export CVSROOT=:pserver:[EMAIL PROTECTED]:/repository
(2) cvs login
and type "cvsread" when it asks for a password.
(3) cvs checkout uni
(4) cd uni
(5) you need to manually edit (sorry, I'm just about to work on
the configuration business, honest . . .) the file mk/machinedep.mk
to set the variables HCHOME (where is GHC) and SOCKETLIB (depends on
Linux/Solaris); see comments in file.
(6) ./CONFIG
(If it produces warnings about not being able to find Wish etcetera,
that means you won't be able to run the programs until it can, but you
should be able to compile them.)
(7) gmake depend
(8) gmake clean

If you're freshing the sources:
(1) cd uni
(2) cvs update -Pd
(3) ./CONFIG
(4) gmake depend
(5) gmake
should work.

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



Re: Why is variable out of scope?

2000-11-02 Thread George Russell

Simon Marlow wrote:
[snip]
  I stopped trying to compile GHC from CVS ages ago when I was
  getting unexplained
  core dumps which apparently could only be fixed by
  reinstalling gcc/binutils . . .
 
 And that's our fault?
[snip]
I've no idea whose fault it is.   I think there are various 
complications about whether or not one should use the 
system ld/ar utilities with gcc which _may_ be to blame,
but i think I gave up on investigating this. 

In any case ghc4.08 is a pretty good release which has
everything I need and does indeed seem to be comparatively free
of bugs, so there's little temptation to upgrade.  It's also good 
that other people can compile UniForM without going through the
hassle of getting a CVS release of GHC compiled.

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



RE: Why is variable out of scope?

2000-11-02 Thread Simon Peyton-Jones

We're planning to continue make minimal fixes to 4.08, and
at some point release 4.08.2.  It's hard to get to a stable point,
and 4.08 is pretty solid, so the best plan seems to be to 
continue to fix it -- even though that involves some extra work on
our part to find bugs that have (probably) already been fixed 
somewhere higher up.

In short: 4.08.2 should be solider than 4.08.1, whereas the next full
release will be more like 4.08.0.  (but it'll have more features too)

Simon

| -Original Message-
| From: George Russell [mailto:[EMAIL PROTECTED]]
| Sent: 02 November 2000 16:34
| To: Simon Marlow
| Cc: Simon Peyton-Jones; GHC bugs (E-mail)
| Subject: Re: Why is variable out of scope?
| 
| 
| Simon Marlow wrote:
| [snip]
|   I stopped trying to compile GHC from CVS ages ago when I was
|   getting unexplained
|   core dumps which apparently could only be fixed by
|   reinstalling gcc/binutils . . .
|  
|  And that's our fault?
| [snip]
| I've no idea whose fault it is.   I think there are various 
| complications about whether or not one should use the 
| system ld/ar utilities with gcc which _may_ be to blame,
| but i think I gave up on investigating this. 
| 
| In any case ghc4.08 is a pretty good release which has
| everything I need and does indeed seem to be comparatively free
| of bugs, so there's little temptation to upgrade.  It's also good 
| that other people can compile UniForM without going through the
| hassle of getting a CVS release of GHC compiled.
| 

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



message

2000-11-02 Thread www

[This message is sent through a WWW-Email gateway.]
[The authenticity of the sender can not be validated.]
[Message sent from the following machine webproxy.dana.com - 162.74.52.180 ]
[after accessing this URL 
http://www.dcs.gla.ac.uk/scripts/global/send_message?[EMAIL PROTECTED]+message]
--

After I close all programs and shut down the computer, I get the following error 
during the shut down process.
 
 The instruction at 0x77f6ce0c referenced memory at 0x0010. The memory could not 
be written.

--


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