Re: [GHC] #930: ghc-6.6: panic! (the 'impossible' happened) mkWWcpr: not a product GHC-Brian-6.5.1:IdInfo.IdInfo{tc rfD}

2006-10-12 Thread GHC
#930: ghc-6.6: panic! (the 'impossible' happened) mkWWcpr: not a product GHC-
Brian-6.5.1:IdInfo.IdInfo{tc rfD}
-+--
  Reporter:  briansmith  |  Owner: 
  Type:  bug | Status:  new
  Priority:  normal  |  Milestone: 
 Component:  Compiler|Version:  6.5
  Severity:  normal  | Resolution: 
  Keywords:  | Os:  Unknown
Difficulty:  Unknown |   Architecture:  Unknown
-+--
Comment (by simonpj):

 Yes, I confirm that's correct.  The problem only shows up with --make.

 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/930
GHC http://www.haskell.org/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] #934: Allow load to work correctly when executed multiple times the same session for BatchCompile

2006-10-12 Thread GHC
#934: Allow load to work correctly when executed multiple times the same session
for BatchCompile
--+-
  Reporter:  briansmith   |  Owner: 
  Type:  feature request  | Status:  new
  Priority:  normal   |  Milestone: 
 Component:  Compiler |Version:  6.4.2  
  Severity:  normal   | Resolution: 
  Keywords:   | Os:  Unknown
Difficulty:  Unknown  |   Architecture:  Unknown
--+-
Comment (by simonmar):

 The idea seems reasonable to me, I don't envisage any problems with this
 generalisation other than the small cost of calling checkStability, which
 is probably insignificant.

 The patch doesn't exactly correspond to your code above; I like the above
 code better.Maybe replace those underscores with `_any` to make them
 stand out more.

 We haven't thought about stability for JustTypecheck mode, I suspect we're
 doing too much re-typechecking there.

 If you submit a production patch we'll apply.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/934
GHC http://www.haskell.org/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] #935: Minor documentation bug, odd defn of fibn.

2006-10-12 Thread GHC
#935: Minor documentation bug, odd defn of fibn.
--+-
Reporter:  tmcooper   |Owner: 
Type:  bug|   Status:  closed 
Priority:  normal |Milestone: 
   Component:  Documentation  |  Version:  6.6
Severity:  minor  |   Resolution:  fixed  
Keywords: |   Difficulty:  Easy (1 hr)
Architecture:  Multiple   |   Os:  Multiple   
--+-
Changes (by simonmar):

  * resolution:  = fixed
  * status:  new = closed

Old description:

 On this page: http://haskell.org/ghc/docs/6.6/html/users_guide/lang-
 parallel.html
 the function fibn is defined.  I assume fibn is meant to give the
 fibonacci sequence, but it doesn't.  The problem is the term 'n1 + n2 +
 1' in the function definition.  It should be just 'n1 + n2'.  This change
 needs to be made in two places on this page, and additionally, an
 occurence of 'n2 + n1 + 1' needs to be changed to 'n2 + n1'.

 In case it is helpful, here is the corrected html.

 !DOCTYPE HTML PUBLIC -//W3C//DTD HTML 4.01 Transitional//EN
 http://www.w3.org/TR/html4/loose.dtd;
 htmlheadmeta http-equiv=Content-Type content=text/html; charset
 =ISO-8859-1title7.15. Parallel Haskell/titlelink rel=stylesheet
 href=lang-parallel_files/fptools.css type=text/cssmeta
 name=generator content=DocBook XSL Stylesheets V1.68.1link
 rel=start
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/index.html;
 title=The Glorious Glasgow Haskell Compilation System User's Guide,
 Version 6.6link rel=up
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/ghc-language-
 features.html title=Chapter 7. GHC Language Featureslink
 rel=prev
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/monomorphism.html;
 title=7.14. Control over monomorphismlink rel=next
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/ffi.html;
 title=Chapter 8. 
 Foreign function interface (FFI)
  /head
 body alink=#ff bgcolor=white link=#ff text=black
 vlink=#840084div class=navheadertable summary=Navigation header
 width=100%tbodytrth colspan=3 align=center7.15. Parallel
 Haskell/th/trtrtd align=left width=20%a accesskey=p
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/monomorphism.html;Prev/a /tdth
 align=center width=60%Chapter 7. GHC Language Features/thtd
 align=right width=20% a accesskey=n
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/ffi.html;Next/a/td/tr/tbody/tablehr/divdiv
 class=sect1 lang=endiv class=titlepagedivdivh2
 class=title style=clear: both;a name=lang-
 parallel/a7.15. Parallel Haskell/h2/div/div/diva
 class=indexterm name=id3181622/apThere are two implementations
 of Parallel Haskell: SMP paralellism
 a class=indexterm name=id3181636/a
 which is built-in to GHC (see a
 href=http://haskell.org/ghc/docs/6.6/html/users_guide/sec-using-
 smp.html title=4.12. Using SMP parallelismSection 4.12,
 #8220;Using SMP parallelism#8221;/a) and
 supports running Parallel Haskell programs on a single multiprocessor
 machine, and
 Glasgow Parallel Haskella class=indexterm name=id3181653/a
 (GPH) which supports running Parallel Haskell
 programs on both clusters of machines or single multiprocessors.  GPH
 is
 developed and distributed
 separately from GHC (see a
 href=http://www.cee.hw.ac.uk/%7Edsg/gph/; target=_topThe
   GPH Page/a)./ppOrdinary single-threaded Haskell programs will
 not benefit from
 enabling SMP parallelism alone.  You must expose parallelism to the
 compiler in one of the following two ways./pdiv class=sect2
 lang=endiv class=titlepagedivdivh3 class=titlea
 name=id3181681/a7.15.1. Running Concurrent Haskell programs in
 parallel/h3/div/div/divpThe first possibility is to use
 concurrent threads to structure your
   program, and make sure
   that you spread computation amongst the threads.  The runtime will
   schedule the running Haskell threads among the available OS
   threads, running as many in parallel as you specified with the
   code class=option-N/code RTS option./p/divdiv
 class=sect2 lang=endiv class=titlepagedivdivh3
 class=titlea name=id3181704/a7.15.2. Annotating pure code for
 parallelism/h3/div/div/divpThe simplest mechanism for
 extracting parallelism from pure code is
   to use the code class=literalpar/code combinator, which is
 closely related to (and often used
   with) code class=literalseq/code.  Both of these are
 available from a
 href=http://haskell.org/ghc/docs/6.6/html/libraries/base/Control-
 Parallel.html target=_topcode
 class=literalControl.Parallel/code/a:/ppre
 class=programlistinginfixr 0 `par`
 infixr 1 `seq`

 par :: a -gt; b -gt; b
 seq :: a -gt; b -gt; b/prepThe expression code class=literal(x
 `par` y)/code
   span class=emphasisemsparks/em/span the evaluation of
 code 

Re: [GHC] #631: GHCi doesn't work unregisterised

2006-10-12 Thread GHC
#631: GHCi doesn't work unregisterised
+---
Reporter:  [EMAIL PROTECTED]  |Owner:  igloo   
Type:  bug  |   Status:  new 
Priority:  low  |Milestone:  
   Component:  GHCi |  Version:  6.4.1   
Severity:  minor|   Resolution:  
Keywords:   |   Difficulty:  Unknown 
Architecture:  Multiple |   Os:  Multiple
+---
Comment (by igloo):

 The failures turn out to mostly be FFI-related. Might be worth
 investigating [ticket:793] before looking further at this.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/631
GHC http://www.haskell.org/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] #935: Minor documentation bug, odd defn of fibn.

2006-10-12 Thread GHC
#935: Minor documentation bug, odd defn of fibn.
--+-
Reporter:  tmcooper   |Owner: 
Type:  bug|   Status:  reopened   
Priority:  normal |Milestone: 
   Component:  Documentation  |  Version:  6.6
Severity:  minor  |   Resolution: 
Keywords: |   Difficulty:  Easy (1 hr)
Architecture:  Multiple   |   Os:  Multiple   
--+-
Changes (by [EMAIL PROTECTED]):

  * resolution:  fixed =
  * status:  closed = reopened

Comment:

 Actually, the page was correct previously.  The standard benchmarking
 function 'nfib', called indeed notorious in the nofib suite, is
 {{{
 nfib n = if n = 1 then 1 else nfib (n-1) + nfib (n-2) + 1
 }}}
 It does not compute the Fibonacci numbers!  It computes the number of
 reductions  required in a program that would compute the fibonacci
 numbers.  Subtle difference.  But this is the standard historical
 benchmark.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/935
GHC http://www.haskell.org/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] #935: Minor documentation bug, odd defn of fibn.

2006-10-12 Thread GHC
#935: Minor documentation bug, odd defn of fibn.
--+-
Reporter:  tmcooper   |Owner: 
Type:  bug|   Status:  closed 
Priority:  normal |Milestone: 
   Component:  Documentation  |  Version:  6.6
Severity:  minor  |   Resolution:  fixed  
Keywords: |   Difficulty:  Easy (1 hr)
Architecture:  Multiple   |   Os:  Multiple   
--+-
Changes (by simonmar):

  * resolution:  = fixed
  * status:  reopened = closed

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/935
GHC http://www.haskell.org/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] #68: Warnings for unitialized fields

2006-10-12 Thread GHC
#68: Warnings for unitialized fields
+---
Reporter:  nobody   |Owner:  nobody 
Type:  feature request  |   Status:  assigned   
Priority:  normal   |Milestone:  _|_
   Component:  Compiler |  Version:  None   
Severity:  minor|   Resolution:  None   
Keywords:  warnings |   Difficulty:  Easy (1 hr)
Architecture:  Unknown  |   Os:  Unknown
+---
Changes (by igloo):

  * architecture:  = Unknown
  * difficulty:  = Easy (1 hr)
  * milestone:  = _|_
  * keywords:  = warnings
  * os:  = Unknown

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/68
GHC http://www.haskell.org/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] #95: GHCi editor binding with :e

2006-10-12 Thread GHC
#95: GHCi editor binding with :e
+---
Reporter:  martijnislief|Owner:  nobody 
Type:  feature request  |   Status:  assigned   
Priority:  normal   |Milestone:  6.6.1  
   Component:  GHCi |  Version:  None   
Severity:  minor|   Resolution:  None   
Keywords:   |   Difficulty:  Easy (1 hr)
Architecture:  Unknown  |   Os:  Unknown
+---
Changes (by igloo):

  * component:  None = GHCi
  * milestone:  = 6.6.1

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/95
GHC http://www.haskell.org/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] #149: missed CSE opportunity

2006-10-12 Thread GHC
#149: missed CSE opportunity
--+-
Reporter:  nobody |Owner:  nobody  
Type:  bug|   Status:  assigned
Priority:  low|Milestone:  _|_ 
   Component:  Compiler   |  Version:  5.04.2  
Severity:  normal |   Resolution:  None
Keywords:  optimisations  |   Difficulty:  Unknown 
Architecture:  Unknown|   Os:  Unknown 
--+-
Changes (by igloo):

  * architecture:  = Unknown
  * difficulty:  = Unknown
  * milestone:  = _|_
  * keywords:  = optimisations
  * os:  = Unknown

Old description:

 {{{
 Don't know if this is a bug, but it was at least
 _surprising_ to find that

 playerMostOccur [a] = a
 playerMostOccur (x:xs)| numOccur x (x:xs)
   
   numOccur
 (playerMostOccur xs) xs
   = x
 | otherwise =
 playerMostOccur xs

 was exponentially slower when compiled with ghc-5.04.2
 -O than:

 playerMostOccur [a] = a
 playerMostOccur (x:xs)| numOccur x (x:xs)
   
   numOccur pmo xs
   = x
 | otherwise = pmo
   where pmo =
 playerMostOccur xs

 Although the student responsible for the code couldn't
 spot the
 obvious optimisation, I was expecting that GHC's
 optimiser would. :)
 If it's not a bug, could you explain it to me?

 -Greg(gregm.at.cs.uwa.edu.au)
 }}}

New description:

 {{{
 Don't know if this is a bug, but it was at least
 _surprising_ to find that

 playerMostOccur [a] = a
 playerMostOccur (x:xs)| numOccur x (x:xs)
   
   numOccur
 (playerMostOccur xs) xs
   = x
 | otherwise =
 playerMostOccur xs

 was exponentially slower when compiled with ghc-5.04.2
 -O than:

 playerMostOccur [a] = a
 playerMostOccur (x:xs)| numOccur x (x:xs)
   
   numOccur pmo xs
   = x
 | otherwise = pmo
   where pmo =
 playerMostOccur xs

 Although the student responsible for the code couldn't
 spot the
 obvious optimisation, I was expecting that GHC's
 optimiser would. :)
 If it's not a bug, could you explain it to me?

 -Greg(gregm.at.cs.uwa.edu.au)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/149
GHC http://www.haskell.org/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] #149: missed CSE opportunity

2006-10-12 Thread GHC
#149: missed CSE opportunity
--+-
Reporter:  nobody |Owner:  nobody  
Type:  bug|   Status:  assigned
Priority:  low|Milestone:  6.8 
   Component:  Compiler   |  Version:  5.04.2  
Severity:  normal |   Resolution:  None
Keywords:  optimisations  |   Difficulty:  Unknown 
Architecture:  Unknown|   Os:  Unknown 
--+-
Changes (by igloo):

  * milestone:  _|_ = 6.8

Comment:

 This seems to work in 6.4.1, but not in the HEAD as of a few days ago, so
 it's probably worth at least looking to see what's going on. I've added a
 test (simplrun006) to the testsuite.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/149
GHC http://www.haskell.org/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] #936: strange ghci behavior and error with recursive modules

2006-10-12 Thread GHC
#936: strange ghci behavior and error with recursive modules
--+-
  Reporter:  Misha Aizatulin [EMAIL PROTECTED]  |  Owner: 
  Type:  bug  | Status:  new
  Priority:  normal   |  Milestone: 
 Component:  GHCi |Version:  6.4.2  
  Severity:  normal   |   Keywords: 
Difficulty:  Unknown  |   Architecture:  Unknown
Os:  Linux|  
--+-
Here is a ghci session with the attached program:

 {{{
  ghci B
___ ___ _
   / _ \ /\  /\/ __(_)
  / /_\// /_/ / /  | |  GHC Interactive, version 6.4.2, for Haskell 98.
 / /_\\/ __  / /___| |  http://www.haskell.org/ghc/
 \/\/ /_/\/|_|  Type :? for help.

 Loading package base-1.0 ... linking ... done.
 Compiling C[boot]  ( ./C.hs-boot, ./C.o-boot )
 Compiling A( ./A.hs, interpreted )
 Compiling B( B.hs, interpreted )
 Compiling C( ./C.hs, interpreted )
 Ok, modules loaded: C, B, A, C.
 *C :r
 Ok, modules loaded: A, C, B.
 *A :m + B
 *A B A

 During interactive linking, GHCi couldn't find the following symbol:
   B_zdfClass1B_closure
 This may be due to you not asking GHCi to load extra object files,
 archives or DLLs needed by your current session.  Restart GHCi, specifying
 the missing library using the -L/path/to/object/dir and -lmissinglibname
 flags, or simply by naming the relevant files on the GHCi command line.
 Alternatively, this link failure might indicate a bug in GHCi.
 If you suspect the latter, please send a bug report to:
   glasgow-haskell-bugs@haskell.org

 *A B B
 B
 *A B A
 A
 }}}

 3 strange things happen:
 1. I ask to load B, it loads C
 2. I ask to reload, it loads A :)
 3. missing symbol error which goes away after evaluating some other
 expression

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