Re: [GHC] #821: implicit parameters and type synonyms

2006-08-04 Thread GHC 
#821: implicit parameters and type synonyms
-+--
  Reporter:  [EMAIL PROTECTED]  |  Owner: 
  Type:  support request | Status:  closed 
  Priority:  normal  |  Milestone: 
 Component:  Compiler|Version:  6.5
  Severity:  normal  | Resolution:  fixed  
  Keywords:  | Os:  Unknown
Difficulty:  Unknown |   Architecture:  Unknown
-+--
Changes (by simonpj):

  * resolution:  => fixed
  * status:  new => closed

Comment:

 Thanks for a useful report.  It alerted me to a shortcoming in our "boxy
 type inference paper" (on my home page).  GHC now supports impredicative
 polymorphism, but that had inadvertently made things worse here, as you
 pointed out.

 Fortunately, it was easily fixed, by using "pre-subsumption" in the main
 subsumption check as well as in "smart-app".  We'd missed that before.

 Test tc205 checks this case now.

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #845: irrefutable pattern matching on unboxed tuple causes panic

2006-08-04 Thread GHC 
#845: irrefutable pattern matching on unboxed tuple causes panic
--+-
Reporter:  Jason McCarty <[EMAIL PROTECTED]>  |Owner: 
Type:  bug|   Status:  new
Priority:  normal |Milestone: 
   Component:  Compiler   |  Version:  6.4.2  
Severity:  normal | Keywords: 
  Os:  Linux  |   Difficulty:  Unknown
Architecture:  x86|  
--+-
Compiling the following program with -fglasgow-exts
   main = case (# (), () #) of ~(# _, _ #) -> return ()

 causes GHC to fail with the message
   ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
   dsLExpr: tuple pattern:
   return @ () GHC.Base.()

 The equivalent (I think) expression
   main = let (# _, _ #) = (# (), () #) in return ()
 compiles without complaint.

 This is GHC version 6.4.2 on i386 Debian with a 2.6.17.6 Linux kernel. I
 didn't test with any other unboxed types.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #840: GHC on "loosing" its handles takes 100% CPU

2006-08-04 Thread Sigbjorn Finne 

But as long as it's Haskell code consuming all those CPU cycles,
it can't be all bad? :)

If any of you are running into this while invoking "ghci.exe",
you may want to play with using "ghc.exe --interactive" instead
to see if that improves matters. Not using "ghci.exe" avoids
a layer of sub-process'ery and console event handling nonsense;
a culprit, perhaps?

--sigbjorn

- Original Message - 
From: "Lennart Augustsson" <[EMAIL PROTECTED]>

To: "Bulat Ziganshin" <[EMAIL PROTECTED]>
Cc: "GHC" <[EMAIL PROTECTED]>; 
Sent: Friday, August 04, 2006 05:46
Subject: Re: [GHC] #840: GHC on "loosing" its handles takes 100% CPU



It happens all the time to me that GHC doesn't die properly on windows.
Every so often I have to kill a few straggling ghc processes.  They  
all spin consuming 100% CPU when this happens.


-- Lennart

On Aug 2, 2006, at 10:09 , Bulat Ziganshin wrote:


Hello GHC,

Wednesday, August 2, 2006, 4:33:09 PM, you wrote:


#840: GHC on "loosing" its handles takes 100% CPU



 import System.Process
 main = runInteractiveCommand "ghc"



 When run terminates immediately, as expected, but leaves an instance
 of ghc running. The ghc process takes up 100% of the CPU time, and
 seemingly does nothing.


well, i have similar problem: there are only 256 megs on my machine
and sometimes when ghc compilation uses more than 200 megs and starts
trashing memory, i tries to stop it by hitting Ctrl-C. in this
situation it's rather typical that i got back my console (and rerun
ghc) but old GHC process don't killed and continue to compile program.
i can investigate it further but don't know what to do. at least it
seems that memory trashing is required to uncover this problem. i also
should note that i run "ghc --make" from the .cmd file so there is a
whole stack of processes runned. may be i just kill higher-level ghc
(or even cmd) and lower-level ghc still continue to do it's job? i'm
not sure..

--
Best regards,
 Bulatmailto:[EMAIL PROTECTED]

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

RE: [GHC] #840: GHC on "loosing" its handles takes 100% CPU

2006-08-04 Thread Simon Peyton-Jones 
I'm not doubting that it's genuine -- but can anyone make a reproducible
test case?

Simon

| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-bugs-
| [EMAIL PROTECTED] On Behalf Of Lennart Augustsson
| Sent: 04 August 2006 13:47
| To: Bulat Ziganshin
| Cc: GHC; glasgow-haskell-bugs@haskell.org
| Subject: Re: [GHC] #840: GHC on "loosing" its handles takes 100% CPU
| 
| It happens all the time to me that GHC doesn't die properly on
windows.
| Every so often I have to kill a few straggling ghc processes.  They
| all spin consuming 100% CPU when this happens.
| 
|   -- Lennart
| 
| On Aug 2, 2006, at 10:09 , Bulat Ziganshin wrote:
| 
| > Hello GHC,
| >
| > Wednesday, August 2, 2006, 4:33:09 PM, you wrote:
| >
| >> #840: GHC on "loosing" its handles takes 100% CPU
| >
| >>  import System.Process
| >>  main = runInteractiveCommand "ghc"
| >
| >>  When run terminates immediately, as expected, but leaves an
instance
| >>  of ghc running. The ghc process takes up 100% of the CPU time, and
| >>  seemingly does nothing.
| >
| > well, i have similar problem: there are only 256 megs on my machine
| > and sometimes when ghc compilation uses more than 200 megs and
starts
| > trashing memory, i tries to stop it by hitting Ctrl-C. in this
| > situation it's rather typical that i got back my console (and rerun
| > ghc) but old GHC process don't killed and continue to compile
program.
| > i can investigate it further but don't know what to do. at least it
| > seems that memory trashing is required to uncover this problem. i
also
| > should note that i run "ghc --make" from the .cmd file so there is a
| > whole stack of processes runned. may be i just kill higher-level ghc
| > (or even cmd) and lower-level ghc still continue to do it's job? i'm
| > not sure..
| >
| > --
| > Best regards,
| >  Bulatmailto:[EMAIL PROTECTED]
| >
| > ___
| > Glasgow-haskell-bugs mailing list
| > Glasgow-haskell-bugs@haskell.org
| > http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
| 
| ___
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #844: panic on conflicting patterns in TH splice

2006-08-04 Thread GHC 
#844: panic on conflicting patterns in TH splice
---+
  Reporter:  guest |  Owner: 
  Type:  bug   | Status:  new
  Priority:  normal|  Milestone: 
 Component:  Template Haskell  |Version:  6.4.2  
  Severity:  minor | Resolution: 
  Keywords:| Os:  Unknown
Difficulty:  Unknown   |   Architecture:  Unknown
---+
Comment (by guest):

 (continued)

 {{{
 foo = sequence
   [
 funD (mkName "f")
   [
 clause
   [varP $ mkName "c",varP $ mkName "c"]
   (normalB $ [| undefined |])
   []
   ]
   ]
 }}}

 , the compiler panics:

 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
 SrcLoc.srcSpanStartLine

 . It would be nice if ghc gave an error message just like the non-TH case.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #844: panic on conflicting patterns in TH splice

2006-08-04 Thread GHC 
#844: panic on conflicting patterns in TH splice
---+
  Reporter:  guest |  Owner: 
  Type:  bug   | Status:  new
  Priority:  normal|  Milestone: 
 Component:  Template Haskell  |Version:  6.4.2  
  Severity:  minor | Resolution: 
  Keywords:| Os:  Unknown
Difficulty:  Unknown   |   Architecture:  Unknown
---+
Comment (by guest):

 {{{
 foo = sequence
   [
 funD (mkName "f")
   [
 clause
   [varP $ mkName "c",varP $ mkName "c"]
   (normalB $ [| undefined |])
   []
   ]
   ]
 }}}, the compiler panics:

 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
 SrcLoc.srcSpanStartLine

 . It would be nice if ghc gave an error message just like the non-TH case.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #840: GHC on "loosing" its handles takes 100% CPU

2006-08-04 Thread Lennart Augustsson 

It happens all the time to me that GHC doesn't die properly on windows.
Every so often I have to kill a few straggling ghc processes.  They  
all spin consuming 100% CPU when this happens.


-- Lennart

On Aug 2, 2006, at 10:09 , Bulat Ziganshin wrote:


Hello GHC,

Wednesday, August 2, 2006, 4:33:09 PM, you wrote:


#840: GHC on "loosing" its handles takes 100% CPU



 import System.Process
 main = runInteractiveCommand "ghc"



 When run terminates immediately, as expected, but leaves an instance
 of ghc running. The ghc process takes up 100% of the CPU time, and
 seemingly does nothing.


well, i have similar problem: there are only 256 megs on my machine
and sometimes when ghc compilation uses more than 200 megs and starts
trashing memory, i tries to stop it by hitting Ctrl-C. in this
situation it's rather typical that i got back my console (and rerun
ghc) but old GHC process don't killed and continue to compile program.
i can investigate it further but don't know what to do. at least it
seems that memory trashing is required to uncover this problem. i also
should note that i run "ghc --make" from the .cmd file so there is a
whole stack of processes runned. may be i just kill higher-level ghc
(or even cmd) and lower-level ghc still continue to do it's job? i'm
not sure..

--
Best regards,
 Bulatmailto:[EMAIL PROTECTED]

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #844: panic on conflicting patterns in TH splice

2006-08-04 Thread GHC 
#844: panic on conflicting patterns in TH splice
-+--
Reporter:  guest |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone: 
   Component:  Template Haskell  |  Version:  6.4.2  
Severity:  minor | Keywords: 
  Os:  Unknown   |   Difficulty:  Unknown
Architecture:  Unknown   |  
-+--
The definition
 {{{
 g c c = undefined
 }}}
 gives a nice error message:

 Conflicting definitions for `c'
 In the definition of `g'
 .

 However, when trying to splice in the analogous function
 {{{
 foo = sequence
   [
 funD (mkName "f")
   [
 clause
   [varP $ mkName "c",varP $ mkName "c"]
   (normalB $ [| undefined |])
   []
   ]
   ]
 }}}, the compiler panics:

 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
 SrcLoc.srcSpanStartLine

 . It would be nice if ghc gave an error message just like the non-TH case.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs