The Glasgow Haskell Bugs Mailing List

GHC | 1 Oct 2008 01:20

Re: [GHC] #2411: RaiseAsync and STM segfault with stop_at_atomically in some circumstances.

#2411: RaiseAsync and STM segfault with stop_at_atomically in some circumstances.
------------------------------+---------------------------------------------
 Reporter:  sclv              |          Owner:  igloo           
     Type:  merge             |         Status:  closed          
 Priority:  high              |      Milestone:  6.10.1          
Component:  Runtime System    |        Version:  6.8.3           
 Severity:  normal            |     Resolution:  fixed           
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Changes (by igloo):

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

Comment:

 Merged

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2411#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

(Continue reading)

GHC | 1 Oct 2008 01:22

Re: [GHC] #2594: Wrong size for Int in arguments to functions wrapped to FunPtr by FFI wrappers (on 64-bit machine)

#2594: Wrong size for Int in arguments to functions wrapped to FunPtr by FFI
wrappers (on 64-bit machine)
----------------------+-----------------------------------------------------
 Reporter:  shahn     |          Owner:  igloo           
     Type:  merge     |         Status:  closed          
 Priority:  normal    |      Milestone:  6.10.1          
Component:  Compiler  |        Version:  6.8.3           
 Severity:  normal    |     Resolution:  fixed           
 Keywords:            |     Difficulty:  Unknown         
 Testcase:            |   Architecture:  Unknown/Multiple
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Changes (by igloo):

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

Comment:

 Merged

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2594#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

(Continue reading)

GHC | 1 Oct 2008 03:12

Re: [GHC] #714: Inconsistency between handling functional dependencies in class and signature constraints

#714: Inconsistency between handling functional dependencies in class and
signature constraints
-------------------------------------+--------------------------------------
 Reporter:  claus.reinke <at> talk21.com  |          Owner:  simonpj         
     Type:  bug                      |         Status:  new             
 Priority:  low                      |      Milestone:  6.10 branch     
Component:  Compiler (Type checker)  |        Version:  6.5             
 Severity:  normal                   |     Resolution:                  
 Keywords:                           |     Difficulty:  Unknown         
 Testcase:                           |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple         |  
-------------------------------------+--------------------------------------
Comment (by chak):

 Replying to [comment:12 claus]:
 > Replying to [comment:10 chak]:
 > >What is the problem with the following answer?
 {{{
 *Main> :t tf
 tf :: a
 }}}
 > > The constraint `TF a ~ b` can always be satisfied by `b := TF a` and
 does not put any restriction on the application of `tf`.
 >
 > There should be the restriction that there '''exists''' at least one
 type family instance (type function application is strict, not lazy,
 right?-) at the point of use. There isn't one at all here.

 Type families are neither strict nor lazy (or rather, I guess, you mean
 non-strict).  In fact, given that the type language is supposed to be

(Continue reading)

GHC | 1 Oct 2008 07:34

Re: [GHC] #2151: GADTs in function Patterns

#2151: GADTs in function Patterns
------------------------------+---------------------------------------------
 Reporter:  hpacheco          |          Owner:  chak            
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:  6.10 branch     
Component:  Compiler          |        Version:  6.9             
 Severity:  blocker           |     Resolution:  fixed           
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:  T2151             |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Changes (by chak):

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

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2151#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

GHC | 1 Oct 2008 08:28

Re: [GHC] #2235: Bogus occurs check with type families

#2235: Bogus occurs check with type families
------------------------------+---------------------------------------------
 Reporter:  simonpj           |          Owner:                  
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:  6.10 branch     
Component:  Compiler          |        Version:  6.8.2           
 Severity:  normal            |     Resolution:  invalid         
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Changes (by chak):

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

Comment:

 We agreed that this
 {{{
 tailList :: (b ~ Flip (Flip b)) => List a b -> List a (Flip b)
 }}}
 is not the right signature.

 The new solver doesn't produce the infinite-type error message, but the
 usual one where it complains about not being able to instantiate a rigid
 type.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2235#comment:4>

(Continue reading)

GHC | 1 Oct 2008 09:50

Re: [GHC] #2633: Broken windres in Windows installer

#2633: Broken windres in Windows installer
----------------------+-----------------------------------------------------
 Reporter:  simonpj   |          Owner:          
     Type:  bug       |         Status:  reopened
 Priority:  normal    |      Milestone:  6.10.1  
Component:  Compiler  |        Version:  6.9     
 Severity:  major     |     Resolution:          
 Keywords:            |     Difficulty:  Unknown 
 Testcase:            |   Architecture:  x86     
       Os:  Windows   |  
----------------------+-----------------------------------------------------
Changes (by NeilMitchell):

  * status:  closed => reopened
  * severity:  normal => major
  * resolution:  duplicate =>
  * summary:  Template Haskell and windres => Broken windres in Windows
              installer
  * architecture:  Unknown/Multiple => x86
  * os:  Unknown/Multiple => Windows

Comment:

 A further email from the original reporter reveals that this version was
 not a compiled source version, but is the standard GHC 6.10 beta
 installer. Whoever compiled the GHC windows binary (Ian?) needs to fix
 their windres (upgrade or downgrade).

 This bug is very severe, and should probably block any Windows release of
 6.10.

(Continue reading)

GHC | 1 Oct 2008 09:50

Re: [GHC] #2235: Bogus occurs check with type families

#2235: Bogus occurs check with type families
------------------------------+---------------------------------------------
 Reporter:  simonpj           |          Owner:                  
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:  6.10 branch     
Component:  Compiler          |        Version:  6.8.2           
 Severity:  normal            |     Resolution:  invalid         
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Comment (by simonpj):

 Just to fill in the details here.  The type of `Cons` is
 {{{
 Cons :: forall a b. forall c. (b ~ Flip c) => a -> List a c -> List a b
 }}}
 The task is this:
 {{{
 b ~ Flip (Flip b), b ~ Flip c  |-  List a (Flip b) ~ List a c
 }}}
 And indeed that isn't provable.  If we'd written the type of `Cons` the
 other way about, thus:
 {{{
 Cons :: forall a b. a -> List a (Flip b) -> List a b
 }}}
 then we could prove it; but doubtless something else would go wrong.  To
 do it right we'd have to give this type to `Cons`
 {{{
 Cons :: forall a b c. (b ~ Flip c, c ~ Flip b) => a -> List a c -> List a

(Continue reading)

GHC | 1 Oct 2008 10:12

Re: [GHC] #1860: GMP dyn link dependencies in binary distributions

#1860: GMP dyn link dependencies in binary distributions
------------------------------+---------------------------------------------
 Reporter:  chak              |          Owner:                  
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:  6.10 branch     
Component:  Build System      |        Version:  6.8.1           
 Severity:  normal            |     Resolution:  fixed           
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Comment (by guest):

 Is this fixed in the current (6.8.3) binaries?

 plareplane <at> twenty:~/Desktop/ghc-6.8.3$ ./configure --prefix=$HOME/ghc
 checking build system type... x86_64-unknown-linux-gnu
 checking host system type... x86_64-unknown-linux-gnu
 checking target system type... x86_64-unknown-linux-gnu
 Which we'll further canonicalise into: x86_64-unknown-linux
 checking for path to top of build tree... utils/pwd/pwd: error while
 loading shared libraries: libgmp.so.3: cannot open shared object file: No
 such file or directory
 configure: error: cannot determine current directory
 plareplane <at> twenty:~/Desktop/ghc-6.8.3$ ldd utils/pwd/pwd
         linux-vdso.so.1 =>  (0x00007fffce3fe000)
         libutil.so.1 => /lib/libutil.so.1 (0x00007fc9c5ea3000)
         libdl.so.2 => /lib/libdl.so.2 (0x00007fc9c5c9f000)
         libm.so.6 => /lib/libm.so.6 (0x00007fc9c5a1e000)
         libgmp.so.3 => not found

(Continue reading)

GHC | 1 Oct 2008 10:15

Re: [GHC] #1860: GMP dyn link dependencies in binary distributions

#1860: GMP dyn link dependencies in binary distributions
------------------------------+---------------------------------------------
 Reporter:  chak              |          Owner:                  
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:  6.10 branch     
Component:  Build System      |        Version:  6.8.1           
 Severity:  normal            |     Resolution:  fixed           
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:                    |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Comment (by guest):

 (Oops, double post for formatting.)

 Is this fixed in the current (6.8.3) binaries?

 {{{
 plareplane <at> twenty:~/Desktop/ghc-6.8.3$ ./configure --prefix=$HOME/ghc
 checking build system type... x86_64-unknown-linux-gnu
 checking host system type... x86_64-unknown-linux-gnu
 checking target system type... x86_64-unknown-linux-gnu
 Which we'll further canonicalise into: x86_64-unknown-linux
 checking for path to top of build tree... utils/pwd/pwd: error while
 loading shared libraries: libgmp.so.3: cannot open shared object file: No
 such file or directory
 configure: error: cannot determine current directory
 plareplane <at> twenty:~/Desktop/ghc-6.8.3$ ldd utils/pwd/pwd
         linux-vdso.so.1 =>  (0x00007fffce3fe000)
         libutil.so.1 => /lib/libutil.so.1 (0x00007fc9c5ea3000)

(Continue reading)

GHC | 1 Oct 2008 12:23

[GHC] #2636: Error message for missing import substantially worse in 6.9/6.11

#2636: Error message for missing import substantially worse in 6.9/6.11
---------------------------------+------------------------------------------
    Reporter:  NeilMitchell      |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Component:  Compiler        
     Version:  6.9               |    Severity:  normal          
    Keywords:                    |    Testcase:                  
Architecture:  Unknown/Multiple  |          Os:  Unknown/Multiple
---------------------------------+------------------------------------------
 Creating a file Test.hs:

 {{{
 import Foo
 main = print "hello"
 }}}

 where Foo does not exist, used to give a really nice error (with 6.8.3)
 but with 6.9 and 6.11 gives a horrible error message:

 {{{
 $ runghc Test
 *** Exception: Could not find module `Foo':
   Use -v to see a list of the files searched for.
 $ ghc --version
 The Glorious Glasgow Haskell Compilation System, version 6.11.20080929
 }}}

 Compared to version 6.8.3:

 {{{

(Continue reading)

Group

gmane.comp.lang.haskell.glasgow.bugs.

Search Archive

Page

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 55

Articles in period: 543

October 2008

Language

Change language

Options

Current view: Threads only / Showing only 20 lines / Not hiding cited text.
Change to All messages, whole messages, or hide cited text.

Post a message
NNTP Newsgroup
Classic Gmane web interface
XML

XML

RSS Feed
List Information

About Gmane

Recent entries

#7923: Optimization for takeMVar/putMVar when MVar left empty (21 May 2013)
#7922: adding direct *.c -> object code (*.o/so/dylib) support to comp (20 May 2013)
#7921: DSO linking bug in unix package (20 May 2013)
#7920: type-checker panic (kindFunResult) (19 May 2013)
#7919: Heap corruption (segfault) from large 'let' expression (17 May 2013)
#7918: SrcSpan's associated with expanded quasi-quotes are inconsisten (17 May 2013)
#7917: update documentation of InstalledPackageInfo (17 May 2013)
#7916: PolyKinds without type signatures (16 May 2013)
#7915: Documentation uses deprecated record GADT syntax (16 May 2013)
#781: GHCi on x86_64, cannot link to static data in shared libs (16 May 2013)
#7914: base library's MD5 symbols clash with others (16 May 2013)
#7913: Argument order not preserved by nubBy (15 May 2013)
#7912: Missing symbols from termios.h when linking on Android (15 May 2013)
#7911: The following code makes ghc panic (15 May 2013)
#7910: ConstraintKinds and reifyInstances (15 May 2013)
#7909: GHC doesn't respect -optl and -optc in a couple of places (14 May 2013)
#7908: InstanceSigs suggestion not accepted (14 May 2013)
#910: --make should have a -j flag for parallel building (13 May 2013)
#7907: patch to make comment about stgclosure struct more accurate (13 May 2013)
#7906: INLINEABLE on class method triggers the error for INLINE (11 May 2013)
#7905: Type checker barfs on nonsensical expression (11 May 2013)

Archives

308	May 2013
738	April 2013
472	March 2013
516	February 2013
891	January 2013
359	December 2012
547	November 2012
676	October 2012
412	September 2012
554	August 2012
483	July 2012
2050	June 2012
364	May 2012
546	April 2012
505	March 2012
454	February 2012
654	January 2012
457	December 2011
650	November 2011
432	October 2011
535	September 2011
509	August 2011
609	July 2011
461	June 2011
539	May 2011
602	April 2011
649	March 2011
522	February 2011
378	January 2011
597	December 2010
722	November 2010
813	October 2010
577	September 2010
310	August 2010
488	July 2010
457	June 2010
483	May 2010
419	April 2010
240	March 2010
263	February 2010
415	January 2010
453	December 2009
566	November 2009
352	October 2009
358	September 2009
346	August 2009
423	July 2009
289	June 2009
353	May 2009
755	April 2009
455	March 2009
384	February 2009
428	January 2009
339	December 2008
449	November 2008
543	October 2008
380	September 2008
432	August 2008
538	July 2008
504	June 2008
306	May 2008
364	April 2008
279	March 2008
321	February 2008
395	January 2008
305	December 2007
990	November 2007
390	October 2007
431	September 2007
386	August 2007
505	July 2007
345	June 2007
419	May 2007
211	April 2007
344	March 2007
246	February 2007
363	January 2007
143	December 2006
285	November 2006
375	October 2006
200	September 2006
186	August 2006
112	July 2006
141	June 2006
128	May 2006
80	April 2006
157	March 2006
95	February 2006
193	January 2006
170	December 2005
72	November 2005
88	October 2005
99	September 2005
117	August 2005
147	July 2005
77	June 2005
129	May 2005
154	April 2005
151	March 2005
90	February 2005
81	January 2005
86	December 2004
47	November 2004
62	October 2004
83	September 2004
57	August 2004
47	July 2004
65	June 2004
91	May 2004
38	April 2004
59	March 2004
60	February 2004
43	January 2004
56	December 2003
53	November 2003
82	October 2003
80	September 2003
66	August 2003
88	July 2003
100	June 2003
83	May 2003
86	April 2003
90	March 2003
80	February 2003
77	January 2003
40	December 2002
63	November 2002
58	October 2002
118	September 2002
42	August 2002
42	July 2002

Design

Zawodny | Right Menu | Left Menu

Your Own Design

Paste the URL of your CSS below. Download CSS template