[GHC] #7172: GHCi :issafe command doesn't work

[GHC]

#7172: GHCi :issafe command doesn't work
-+--
 Reporter:  dterei   |  Owner:  dterei  
 Type:  bug  | Status:  new 
 Priority:  normal   |  Component:  GHCi
  Version:  7.6.1-rc1|   Keywords:  
   Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
  Failure:  Incorrect result at runtime  |   Testcase:  
Blockedby:   |   Blocking:  
  Related:   |  
-+--
 In HEAD and GHC 7.6 RC the ghci :issafe command simply doesn't report the
 correct result.

 I will fix very soon (e.g. 48 hours) but wanted to have this bug be
 tracked and made a high priority so 7.6 isn't released before I fix it.

-- 
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] #5845: Change description of old-locale to NOT say its deprecated

[GHC]

#5845: Change description of old-locale to NOT say its deprecated
+---
  Reporter:  dterei |  Owner:  
  Type:  task   | Status:  closed  
  Priority:  normal |  Milestone:  
 Component:  libraries (other)  |Version:  7.4.1   
Resolution:  fixed  |   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  Documentation bug  | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---
Changes (by dterei):

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


Comment:

 Don't worry, it's fixed.

 1) It's fixed in old-locale 1.0.0.5. If you read what I wrote, I said I
 pulled in a version bump form the ghc-7.4 branch. So the patch was
 submitted after 1.0.0.4 was released. GHC 7.6 will be out very shortly
 with old-locale 1.0.0.5.

 2) Trac (this old version anyway) can't track more than one git repo. So
 we obviously have it tracking the GHC repo, not the old-locale repo. Hence
 you have to look at github to see the commit: https://github.com/ghc
 /packages-old-locale/commit/9f4b00d4ef5b37adffa01742a09b6f9ad2df1a09,
 which is a much nicer experience anyway.

-- 
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] #7170: Foreign.Concurrent finalizer called twice in some cases

[GHC]

#7170: Foreign.Concurrent finalizer called twice in some cases
--+-
 Reporter:  joeyadams |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Runtime System  
  Version:  7.4.2 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  Runtime crash |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-

Comment(by joeyadams):

 I'm guessing that the problem is in this function from
 {{{GHC.ForeignPtr}}}:

 {{{
 foreignPtrFinalizer :: IORef (Finalizers, [IO ()]) -> IO ()
 foreignPtrFinalizer r = do (_, fs) <- readIORef r; sequence_ fs
 }}}

 This invokes the finalizers, but does not empty out the list.  When the
 application calls finalizeForeignPtr later, the same list of finalizers is
 run again.

 While we're at it, this really bothers me:

 {{{
 finalizeForeignPtr (ForeignPtr _ foreignPtr) = do
 (ftype, finalizers) <- readIORef refFinalizers
 sequence_ finalizers
 writeIORef refFinalizers (ftype, [])
 }}}

 This isn't thread safe or exception safe.  Finalizers can be repeated if
 another thread comes along and calls finalizeForeignPtr on the same
 pointer, or if a finalizer throws an exception.

 A reasonable solution might be to wrap incoming finalizers with this:

 {{{
 once :: IO () -> IO (IO ())
 once io = do
 mv <- newMVar io
 return $ tryTakeMVar mv >>= maybe (return ()) id
 }}}

 This way, we don't have to worry about finalizers being called twice.

-- 
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] #7171: erroneous overlapping instances reported with FunDeps

[GHC]

#7171: erroneous overlapping instances reported with FunDeps
---+
 Reporter:  jwlato |  Owner:
 
 Type:  bug| Status:  new   
 
 Priority:  normal |  Component:  Compiler (Type 
checker)
  Version:  7.6.1-rc1  |   Keywords:  type classes, fundeps 
 
   Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple  
 
  Failure:  GHC rejects valid program  |   Testcase:
 
Blockedby: |   Blocking:
 
  Related: |  
---+
 When a superclass constraint has functional dependencies, in certain cases
 GHC-7.6 erroneously reports that duplicate instances are found.

 file Foo.hs
 {{{
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE FlexibleInstances #-}

 module Foo where

 import Data.ByteString as B
 import Data.Word

 class Foo a b | a -> b

 class (Foo a b) => Bar a b | a -> b

 instance Foo [a] a
 instance Bar [a] a
 instance Foo ByteString Word8
 instance Bar ByteString Word8

 test :: Bar full item => full -> full
 test inp = inp

 -- this works
 -- _test_x :: ByteString -> ByteString
 -- _test_x = test


 }}}

 file Main.hs
 {{{
 module Main where

 import Foo
 import Data.ByteString

 -- this works
 -- test1 :: [Int] -> [Int]
 -- test1 = test

 -- this fails
 test2 :: ByteString -> ByteString
 test2 = test

 }}}

 ghc reports

 {{{
 Main.hs:12:9:
 Overlapping instances for Foo ByteString GHC.Word.Word8
   arising from a use of `test'
 Matching instances:
   instance Foo ByteString GHC.Word.Word8 -- Defined at Foo.hs:20:10
 There exists a (perhaps superclass) match:
 (The choice depends on the instantiation of `'
  To pick the first instance above, use -XIncoherentInstances
  when compiling the other instance declarations)
 In the expression: test
 In an equation for `test2': test2 = test
 }}}

 For this to manifest, I think that at least the following must be true:
   - a function with class constraints must be called from a separate
 module
   - the type class instance must be monomorphic in the fundep-to parameter

 This example works in ghc-7.4.2.

-- 
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] #5845: Change description of old-locale to NOT say its deprecated

[GHC]

#5845: Change description of old-locale to NOT say its deprecated
+---
  Reporter:  dterei |  Owner:  
  Type:  task   | Status:  new 
  Priority:  normal |  Milestone:  
 Component:  libraries (other)  |Version:  7.4.1   
Resolution: |   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  Documentation bug  | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---
Changes (by bgamari):

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


Comment:

 What happened to this? At the moment Trac claims the 9f4b00d commit
 doesn't exist and Hackage still claims that old-locale is deprecated as of
 1.0.0.4. It seems something went awry here.

-- 
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] #7169: Warning for incomplete record field label used as function

[GHC]

#7169: Warning for incomplete record field label used as function
-+--
Reporter:  goldfire  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:  Warnings  |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by goldfire):

 I don't think that last question directly relates to this issue... We want
 to be able to have fields such as {{{quux}}} that are used only with some
 (but not all) constructors of a type, but I think a warning when such
 field names are used as functions would be helpful.

 Perhaps I'm misunderstanding your post?

-- 
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] #4259: Relax restrictions on type family instance overlap

[GHC]

#4259: Relax restrictions on type family instance overlap
+---
Reporter:  lilac|   Owner:  
Type:  feature request  |  Status:  new 
Priority:  normal   |   Milestone:  7.6.1   
   Component:  Compiler (Type checker)  | Version:  6.12.1  
Keywords:   |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple | Failure:  None/Unknown
  Difficulty:   |Testcase:  
   Blockedby:   |Blocking:  
 Related:   |  
+---

Comment(by goldfire):

 I ([http://www.cis.upenn.edu/~eir Richard]) am working on adding
 overlapping type family instances and have documented my work on the
 NewAxioms page. That work is somewhat orthogonal to the discussion here,
 but it touches on some of these issues. Of perhaps more direct interest is
 NewAxioms/CoincidentOverlap, which directly continues the discussion
 started here. Any comments and/or feedback welcome.

-- 
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] #7170: Foreign.Concurrent finalizer called twice in some cases

[GHC]

#7170: Foreign.Concurrent finalizer called twice in some cases
--+-
 Reporter:  joeyadams |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Runtime System  
  Version:  7.4.2 |   Keywords:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  Runtime crash |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 When [http://hackage.haskell.org/packages/archive/base/latest/doc/html
 /Foreign-Concurrent.html#v:newForeignPtr Foreign.Concurrent.newForeignPtr]
 is used, here's a case where the finalizer is called twice:

 {{{
 {-# LANGUAGE ForeignFunctionInterface #-}
 import Control.Concurrent
 import Control.Exception(bracket)
 import Foreign.Ptr  (Ptr, intPtrToPtr)
 import Foreign.ForeignPtr   (ForeignPtr)
 import qualified Foreign.Concurrent as FC
 import qualified Foreign.ForeignPtr as FP

 testForeignPtr_Concurrent :: Ptr a -> IO (ForeignPtr a)
 testForeignPtr_Concurrent ptr = FC.newForeignPtr ptr (fin ptr)

 fin :: Ptr a -> IO ()
 fin ptr = putStrLn $ "finalizing " ++ show ptr

 main :: IO ()
 main = do
 mv <- newEmptyMVar
 bracket (testForeignPtr_Concurrent $ intPtrToPtr 1)
 FP.finalizeForeignPtr $ \_ ->
 -- hang, so the thread and foreign pointer get GCed
 takeMVar mv
 }}}

 This produces the following output:

 {{{
 finalizing 0x0001
 finalizing 0x0001
 foreignptr: thread blocked indefinitely in an MVar operation
 }}}

 This happens on GHC 7.4.2 and 7.6.0.20120810, with and without -threaded.

 This can easily lead to segfaults when you have an FFI library that does
 this:

 {{{
 create :: IO Object
 create = do
 ptr <- c_create
 CObject <$> newForeignPtr ptr (finalize ptr)

 finalize :: Ptr CObject -> IO ()
 finalize ptr = do
 ...

 destroy :: Object -> IO ()
 destroy (Object fptr) =
 finalizeForeignPtr fptr
 }}}

 And application code does this:

 {{{
 bracket create destroy $ \obj -> do
 ...
 }}}

-- 
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] #7135: Data.Bits can still have default implementations for testBit, bit, and popCount by using -XDefaultSignatures

[GHC]

#7135: Data.Bits can still have default implementations for testBit, bit, and
popCount by using -XDefaultSignatures
---+
  Reporter:  joeyadams |  Owner:  
  Type:  feature request   | Status:  new 
  Priority:  normal|  Milestone:  7.6.1   
 Component:  libraries/base|Version:  7.7 
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by jwlato):

 * cc: jwlato@… (added)
  * status:  closed => new
  * resolution:  wontfix =>


Comment:

 Apologies, I meant to re-open this issue before and forgot.  I'm re-
 opening due to the issue described in my 2012-08-14 comment.

-- 
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] #7149: Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults

[GHC]

#7149: Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults
---+
Reporter:  akio|   Owner:  pcapriotti   
Type:  bug |  Status:  merge
Priority:  normal  |   Milestone:  7.6.1
   Component:  Profiling   | Version:  7.5  
Keywords:  |  Os:  Linux
Architecture:  x86_64 (amd64)  | Failure:  Runtime crash
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+
Changes (by pcapriotti):

  * status:  patch => merge


Comment:

 Applied, thanks.

 {{{
 commit 4e0a957758af94bc39ff51814bad54faf96a94b9
 Author: Takano Akio 
 Date:   Wed Aug 15 11:16:40 2012 +0900

 Profiling: open .prof when -hr is specified

 The code for retainer profiling is used with e.g. +RTS -hc -hrfoo
 -RTS,
 as well as with +RTS -hr -RTS.
 }}}

-- 
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] #5205: Control.Monad.forever leaks space

[GHC]

#5205: Control.Monad.forever leaks space
--+-
  Reporter:  akio |  Owner:  pcapriotti  
  Type:  bug  | Status:  merge   
  Priority:  high |  Milestone:  7.6.1   
 Component:  libraries/base   |Version:  7.0.3   
Resolution:   |   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Runtime performance bug  | Difficulty:  Unknown 
  Testcase:  T5205|  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by pcapriotti):

  * status:  new => merge


Comment:

 Pushed:

 {{{
 commit f55f5574c12ff8dfe57994219eee0702ac8aba2e
 Author: Paolo Capriotti 
 Date:   Mon Aug 20 16:35:38 2012 +0100

 Improve definition of forever (#5205)

 The previous implementation was:

 forever a = a >> forever a

 which can create a space leak in some cases, even with optimizations.
 The current implementation:

 forever a = let a' = a >> a' in a'

 prevents repeated thunk allocations by creating a single thunk for the
 final result, even without optimizations.
 }}}

 I also removed the note and a `SPECIALISE` pragma in GHC.ST.

-- 
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] #7156: "Pattern match on GADT" error for non-GADT

[GHC]

#7156: "Pattern match on GADT" error for non-GADT
-+--
  Reporter:  ryani   |  Owner:  
  
  Type:  bug | Status:  closed  
  
  Priority:  normal  |  Milestone:  
  
 Component:  Compiler (Type checker) |Version:  7.0.4   
  
Resolution:  fixed   |   Keywords:  GADTs, 
TypeFamilies, ExistentialQuantification
Os:  Unknown/Multiple|   Architecture:  
Unknown/Multiple  
   Failure:  None/Unknown| Difficulty:  Unknown 
  
  Testcase:  indexed-types/should_compile/T7156  |  Blockedby:  
  
  Blocking:  |Related:  
  
-+--

Comment(by ryani):

 Thanks 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

Re: [GHC] #7169: Warning for incomplete record field label used as function

[GHC]

#7169: Warning for incomplete record field label used as function
-+--
Reporter:  goldfire  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:  Warnings  |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by igloo):

 We do warn when you define
 {{{
 head (x : _) = x
 }}}
 though. It would be nice if we also warned about
 {{{
 data Foo = Bar { frob :: Int }
  | Baz { frob :: Int, quux :: Bool }
 }}}
 but unfortunately
 {{{
 data Foo = Bar { frob :: Int }
  | Baz { frob :: Int, _ :: Bool }
 }}}
 is currently a parse error. Perhaps it shouldn't be?

-- 
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] #7169: Warning for incomplete record field label used as function

[GHC]

#7169: Warning for incomplete record field label used as function
-+--
Reporter:  goldfire  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:  Warnings  |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by goldfire):

 Because I think it's easier to make {{{quux}}} partial by mistake during
 refactoring. The particular example that motivated this post was
 refactoring {{{TyClDecl}}} in GHC to make family declarations a separate
 type. Much later, I noticed that the refactor made {{{tcdLName}}} into a
 partial function and I had to perform the search mentioned above.

-- 
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] #7169: Warning for incomplete record field label used as function

[GHC]

#7169: Warning for incomplete record field label used as function
-+--
Reporter:  goldfire  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  
   Component:  Compiler  | Version:  7.7 
Keywords:  Warnings  |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 But there are lots of partial functions (eg `head`).  Why warn for `quux`
 but not for `head`.

-- 
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] #7169: Warning for incomplete record field label used as function

[GHC]

#7169: Warning for incomplete record field label used as function
--+-
 Reporter:  goldfire  |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.7   |   Keywords:  Warnings
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 Consider the following definition:

 {{{
 data Foo = Bar { frob :: Int }
  | Baz { frob :: Int, quux :: Bool }
 }}}

 It would be great if GHC could produce a warning if I use {{{quux}}} as a
 function somewhere in my code, as calling {{{quux}}} on a {{{Foo}}}
 constructed with {{{Bar}}} will cause a runtime error. On the other hand,
 every use of {{{frob}}} is OK.

 Currently, to find such problems, I have to first figure out which field
 labels are incomplete and then search for those, ignoring their uses as a
 proper field label (in construction or pattern matching).

-- 
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] #7168: Loop

[GHC]

#7168: Loop
--+-
  Reporter:  bas  |  Owner: 
 
  Type:  bug  | Status:  closed 
 
  Priority:  normal   |  Milestone: 
 
 Component:  Compiler |Version:  7.4.1  
 
Resolution:  invalid  |   Keywords:  Lazy evaluation, 
Loop, Eagerness
Os:  Unknown/Multiple |   Architecture:  x86
 
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown
 
  Testcase:   |  Blockedby: 
 
  Blocking:   |Related: 
 
--+-
Changes (by pcapriotti):

  * difficulty:  => Unknown


Comment:

 To get the semantics you expect, use lazy pattern matching:

 {{{
 carefully ~(a,b) = (1, a + b)
 }}}

-- 
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] #7168: Loop

[GHC]

#7168: Loop
-+--
Reporter:  bas   |Owner:
 
Type:  bug   |   Status:  closed
 
Priority:  normal|Component:  Compiler  
 
 Version:  7.4.1 |   Resolution:  invalid   
 
Keywords:  Lazy evaluation, Loop, Eagerness  |   Os:  
Unknown/Multiple   
Architecture:  x86   |  Failure:  Incorrect 
result at runtime
Testcase:|Blockedby:
 
Blocking:|  Related:
 
-+--
Changes (by ross):

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


Comment:

 It's not that a and b are evaluated, but the pairs are, precisely as
 specified in the semantics of pattern matching.  The following does the
 same:
 {{{
 f = (1,8) .++. carefully f
 (a,b) .++. (c,d) = (1,0)
 carefully (a,b) = (1,2)
 }}}

-- 
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] #7168: Loop

[GHC]

#7168: Loop
-+--
 Reporter:  bas  |  Owner:  

 Type:  bug  | Status:  new 

 Priority:  normal   |  Component:  Compiler

  Version:  7.4.1|   Keywords:  Lazy evaluation, 
Loop, Eagerness
   Os:  Unknown/Multiple |   Architecture:  x86 

  Failure:  Incorrect result at runtime  |   Testcase:  

Blockedby:   |   Blocking:  

  Related:   |  
-+--
 When patternmatching on (a,b), the variables a and b are sometimes
 evaluated eagerly, though they should not be. To see where this occurs,
 please try to evaluate f :

 {{{
 f = (1,error "this will not be evaluated!") .++. carefully f
 (a,b) .++. (c,d) = (a+c,0)
 carefully (a,b) = (1, a + b)
 }}}

 Note that the expected result here is (2,0). My workaround: the program
 works correctly if the last line is replaced by:

 {{{
 carefully x = (1, fst x + snd x)
 }}}

-- 
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] #7156: "Pattern match on GADT" error for non-GADT

[GHC]

#7156: "Pattern match on GADT" error for non-GADT
-+--
  Reporter:  ryani   |  Owner:  
  
  Type:  bug | Status:  closed  
  
  Priority:  normal  |  Milestone:  
  
 Component:  Compiler (Type checker) |Version:  7.0.4   
  
Resolution:  fixed   |   Keywords:  GADTs, 
TypeFamilies, ExistentialQuantification
Os:  Unknown/Multiple|   Architecture:  
Unknown/Multiple  
   Failure:  None/Unknown| Difficulty:  Unknown 
  
  Testcase:  indexed-types/should_compile/T7156  |  Blockedby:  
  
  Blocking:  |Related:  
  
-+--
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => indexed-types/should_compile/T7156
  * resolution:  => fixed


Comment:

 OK, done.

-- 
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] #7159: CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called

[GHC]

#7159: CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called
--+-
  Reporter:  guest|  Owner: 
  Type:  bug  | Status:  closed 
  Priority:  normal   |  Milestone: 
 Component:  GHC API  |Version:  7.4.1  
Resolution:  invalid  |   Keywords: 
Os:  Linux|   Architecture:  x86
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown
  Testcase:   |  Blockedby: 
  Blocking:   |Related: 
--+-
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 Maybe you can help write the documentation you needed?  Where would it
 have helped?  My guess is here:
 http://www.haskell.org/haskellwiki/GHC/As_a_library.  If you wanted to
 write the section you'd like to have read, we can check it.

 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

Re: [GHC] #7137: Unnecessary -XRank2Types requirement involving type alias containing "forall" from another module

[GHC]

#7137: Unnecessary -XRank2Types requirement involving type alias containing
"forall" from another module
+---
  Reporter:  joeyadams  |  Owner:  simonpj 
  Type:  bug| Status:  closed  
  Priority:  highest|  Milestone:  7.6.1   
 Component:  Compiler   |Version:  7.7 
Resolution:  wontfix|   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---

Comment(by simonpj@…):

 commit 00a2104b75b664026a44b26c73cc971f9733fbaa
 {{{
 Author: Simon Peyton Jones 
 Date:   Mon Aug 20 14:26:08 2012 +0100

 Improve documentation for rank-1 types (Trac #7137)

  docs/users_guide/glasgow_exts.xml |8 ++--
  1 files changed, 6 insertions(+), 2 deletions(-)
 }}}

-- 
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] #7156: "Pattern match on GADT" error for non-GADT

[GHC]

#7156: "Pattern match on GADT" error for non-GADT
---+
Reporter:  ryani   |   Owner:   
   
Type:  bug |  Status:  
new 
Priority:  normal  |   Milestone:   
   
   Component:  Compiler (Type checker) | Version:  
7.0.4   
Keywords:  GADTs, TypeFamilies, ExistentialQuantification  |  Os:  
Unknown/Multiple
Architecture:  Unknown/Multiple| Failure:  
None/Unknown
  Difficulty:  Unknown |Testcase:   
   
   Blockedby:  |Blocking:   
   
 Related:  |  
---+

Comment(by simonpj@…):

 commit 3eb6e211dec006f3609dd880cbef83ee2ad719de
 {{{
 Author: Simon Peyton Jones 
 Date:   Mon Aug 20 14:28:00 2012 +0100

 When pattern matching against a constructor with equalities,
 require either -XGADTs *or* -XTypeFamilies (rather than only the
 former)

 Fixes Trac #7156

  compiler/typecheck/TcPat.lhs |   10 ++
  1 files changed, 6 insertions(+), 4 deletions(-)
 }}}

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
+---
  Reporter:  maeder |  Owner:   
  Type:  bug| Status:  closed   
  Priority:  highest|  Milestone:  7.6.1
 Component:  Compiler   |Version:  7.6.1-rc1
Resolution:  worksforme |   Keywords:   
Os:  Solaris|   Architecture:  x86  
   Failure:  GHC rejects valid program  | Difficulty:  Unknown  
  Testcase: |  Blockedby:   
  Blocking: |Related:   
+---
Changes (by simonpj):

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


-- 
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] #7137: Unnecessary -XRank2Types requirement involving type alias containing "forall" from another module

[GHC]

#7137: Unnecessary -XRank2Types requirement involving type alias containing
"forall" from another module
+---
  Reporter:  joeyadams  |  Owner:  simonpj 
  Type:  bug| Status:  closed  
  Priority:  highest|  Milestone:  7.6.1   
 Component:  Compiler   |Version:  7.7 
Resolution:  wontfix|   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---
Changes (by simonpj):

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


Comment:

 Joey is right that `Int -> forall a. a` is technically a rank-1 type.

 But #5957 complained about a rank-1 type of this sort, in fact more like
 `Int -> Ord a => a -> a`, that was accepted without any flags.  And that
 does seem wrong.

 So I did the technically-incorrect thing of requiring `Rank2Types` or
 `RankNTypes` if you want a forall after an arrow.  It just doesn't seem
 worth the flaggery to allow only rank-1 types, but with foralls after
 arrows.

 I propose not to fix this unless it's very painful for some reason.  Re-
 open if so.  I will improve the documentation though.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 (after "gmake clean")

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 Brilliant, was it fixed by other patches? My compilation sequence is:

 {{{
 -bash-3.00$ gmake
 ghc-pkg: cannot find package HaXml
 ghc-pkg: cannot find package HaXml
 ghc-pkg: cannot find package tar
 ghc-pkg: cannot find package glade
 ghc-pkg: cannot find package haskeline
 ghc-pkg: cannot find package hexpat
 ghc-pkg: cannot find package HTTP
 ghc-pkg: cannot find package uni-uDrawGraph
 ghc-pkg: cannot find package programatica
 ghc-pkg: cannot find package warp
 ghc-pkg: cannot find package wai-extra
 ghc-pkg: cannot find package parsec1
 ghc -optl-s -XTemplateHaskell -threaded -rtsopts --make -o hets hets.hs
 -fcontext-stack=26-DNOHTTP -DUNIX  -Wall -fwarn-tabs -fwarn-
 unrecognised-pragmas -fno-warn-orphans -fno-warn-unused-do-bind
 [  1 of 502] Compiling Common.LogicT( Common/LogicT.hs,
 Common/LogicT.o )
 [  2 of 502] Compiling Common.SFKT  ( Common/SFKT.hs, Common/SFKT.o )
 [  3 of 502] Compiling Common.Unlit ( Common/Unlit.hs, Common/Unlit.o
 )
 [  4 of 502] Compiling CASL.CompositionTable.Keywords (
 CASL/CompositionTable/Keywords.hs, CASL/CompositionTable/Keywords.o )
 [  5 of 502] Compiling CASL.CompositionTable.CompositionTable (
 CASL/CompositionTable/CompositionTable.hs,
 CASL/CompositionTable/CompositionTable.o )
 [  6 of 502] Compiling CASL.CompositionTable.ToXml (
 CASL/CompositionTable/ToXml.hs, CASL/CompositionTable/ToXml.o )
 [  7 of 502] Compiling Maude.Util   ( Maude/Util.hs, Maude/Util.o )
 [  8 of 502] Compiling Framework.WriteLogicUtils (
 Framework/WriteLogicUtils.hs, Framework/WriteLogicUtils.o )
 [  9 of 502] Compiling THF.As   ( THF/As.hs, THF/As.o )
 [ 10 of 502] Compiling Common.Lattice   ( Common/Lattice.hs,
 Common/Lattice.o )
 [ 11 of 502] Compiling Common.Partial   ( Common/Partial.hs,
 Common/Partial.o )
 [ 12 of 502] Compiling HolLight.Term( HolLight/Term.hs,
 HolLight/Term.o )
 [ 13 of 502] Compiling HolLight.Sublogic ( HolLight/Sublogic.hs,
 HolLight/Sublogic.o )
 [ 14 of 502] Compiling CSL.Keywords ( CSL/Keywords.hs, CSL/Keywords.o
 )
 [ 15 of 502] Compiling CSL.TreePO   ( CSL/TreePO.hs, CSL/TreePO.o )
 [ 16 of 502] Compiling FreeCAD.As   ( FreeCAD/As.hs, FreeCAD/As.o )
 [ 17 of 502] Compiling FreeCAD.VecTools ( FreeCAD/VecTools.hs,
 FreeCAD/VecTools.o )
 [ 18 of 502] Compiling FreeCAD.Brep ( FreeCAD/Brep.hs, FreeCAD/Brep.o
 )
 [ 19 of 502] Compiling FreeCAD.XMLPrinter ( FreeCAD/XMLPrinter.hs,
 FreeCAD/XMLPrinter.o )
 [ 20 of 502] Compiling Isabelle.IsaStrings ( Isabelle/IsaStrings.hs,
 Isabelle/IsaStrings.o )
 [ 21 of 502] Compiling Isabelle.IsaSign ( Isabelle/IsaSign.hs,
 Isabelle/IsaSign.o )
 [ 22 of 502] Compiling Isabelle.IsaConsts ( Isabelle/IsaConsts.hs,
 Isabelle/IsaConsts.o )
 [ 23 of 502] Compiling Isabelle.ATC_Isabelle ( Isabelle/ATC_Isabelle.hs,
 Isabelle/ATC_Isabelle.o )
 [ 24 of 502] Compiling Common.SZSOntology ( Common/SZSOntology.hs,
 Common/SZSOntology.o )
 [ 25 of 502] Compiling Common.Timing( Common/Timing.hs,
 Common/Timing.o )
 [ 26 of 502] Compiling GUI.ConsoleUtils ( GUI/ConsoleUtils.hs,
 GUI/ConsoleUtils.o )
 [ 27 of 502] Compiling GUI.Utils( GUI/Utils.hs, GUI/Utils.o )
 [ 28 of 502] Compiling OWL2.XMLKeywords ( OWL2/XMLKeywords.hs,
 OWL2/XMLKeywords.o )
 [ 29 of 502] Compiling Common.Lib.State ( Common/Lib/State.hs,
 Common/Lib/State.o )
 [ 30 of 502] Compiling OWL2.ColonKeywords ( OWL2/ColonKeywords.hs,
 OWL2/ColonKeywords.o )
 [ 31 of 502] Compiling Common.ProofTree ( Common/ProofTree.hs,
 Common/ProofTree.o )
 [ 32 of 502] Compiling ATC.ProofTree( ATC/ProofTree.hs,
 ATC/ProofTree.o )
 [ 33 of 502] Compiling Common.IO( Common/IO.hs, Common/IO.o )
 [ 34 of 502] Compiling Driver.Version   ( Driver/Version.hs,
 Driver/Version.o )
 [ 35 of 502] Compiling Common.Taxonomy  ( Common/Taxonomy.hs,
 Common/Taxonomy.o )
 [ 36 of 502] Compiling Common.InjMap( Common/InjMap.hs,
 Common/InjMap.o )
 [ 37 of 502] Compiling Common.OrderedMap ( Common/OrderedMap.hs,
 Common/OrderedMap.o )
 [ 38 of 502] Compiling ATC.OrderedMap   ( ATC/OrderedMap.hs,
 ATC/OrderedMap.o )
 [ 39 of 502] Compiling Common.Lib.Graph ( Common/Lib/Graph.hs,
 Common/Lib/Graph.o )
 [ 40 of 502] Compiling Taxonomy.MMiSSOntolo

Re: [GHC] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by simonpj):

 OK that helped.  I had a similar error in `Static/AnalysisLibrary` which I
 fixed with an error thunk thus:
 {{{
   let mt = error "urk"
 --  mt <- if checkUri file then return noTime
 --else lift $ getModificationTime file
 }}}
 But then everything compiled.  No overlapping instance error.  Now what?

 Simon
 {{{
 ...
 [492 of 502] Compiling Static.AnalysisLibrary ( Static/AnalysisLibrary.hs,
 Static/AnalysisLibrary.o )
 [493 of 502] Compiling Driver.AnaLib( Driver/AnaLib.hs,
 Driver/AnaLib.o )
 [494 of 502] Compiling CMDL.DgCommands  ( CMDL/DgCommands.hs,
 CMDL/DgCommands.o )
 [495 of 502] Compiling CMDL.ProveCommands ( CMDL/ProveCommands.hs,
 CMDL/ProveCommands.o )
 [496 of 502] Compiling CMDL.ConsCommands ( CMDL/ConsCommands.hs,
 CMDL/ConsCommands.o )
 [497 of 502] Compiling CMDL.Commands( CMDL/Commands.hs,
 CMDL/Commands.o )
 [498 of 502] Compiling CMDL.ParseProofScript ( CMDL/ParseProofScript.hs,
 CMDL/ParseProofScript.o )
 [499 of 502] Compiling CMDL.ProcessScript ( CMDL/ProcessScript.hs,
 CMDL/ProcessScript.o )
 [500 of 502] Compiling CMDL.Interface   ( CMDL/Interface.hs,
 CMDL/Interface.o )
 [501 of 502] Compiling PGIP.XMLparsing  ( PGIP/XMLparsing.hs,
 PGIP/XMLparsing.o )
 [502 of 502] Compiling Main ( hets.hs, hets.o )
 Linking hets ...
 simonpj@cam-05-unx:~/tmp/Hets$
 }}}

-- 
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] #7167: Make it a warning (not error) to hide an import that isn't exported

[GHC]

#7167: Make it a warning (not error) to hide an import that isn't exported
-+--
Reporter:  simonpj   |   Owner:  pcapriotti  
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * owner:  => pcapriotti


-- 
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] #7167: Make it a warning (not error) to hide an import that isn't exported

[GHC]

#7167: Make it a warning (not error) to hide an import that isn't exported
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  highest   |   Milestone:  7.6.1   
   Component:  Compiler  | Version:  7.4.2   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
 We often see build failures like
 {{{
 Module `Prelude' does not export `catch'
 }}}
 elicited by an `import` statement
 {{{
   import Prelude hiding( catch )
 }}}
 John Lato and others suggest making this a warning, not an error.  Simon
 and I agree and we propose to do this for GHC 7.6, thus:

  * Warn, rather than error, when a `hiding` clause mentions something that
 the module does not export.
  * Suppress with warning with `-fno-warn-dodgy-imports`, an existing
 warning-suppression flag.
  * Document the change, in the `-fwarn-docugy-imports` flag, and the
 release notes.

 We propose to make this change without a language extension.  Doing so is
 technically wrong, since H2010 says it's an error to mention something in
 `hiding` that isn't exported, but it seems too heavyweight to make a
 language extension just for this; and in any case it would have to be on
 by default to be any use in practice.

 Paolo, can you do all this?
  * The relevant function is `RnNames.filterImports`.
  * I suggest you make `lookup_ie` return `TcRn [(LIE Name,AvailInfo)]`
 rather than the `MaybeErr ...` that it currently returns.
  * The `want_hiding` flag is `True` if this is a hiding clause; in that
 case `bad_ie` should warn (unless the warning is suppressed) rather than
 error.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 It seems that you got further than I ever came. Can you try to comment out
 this bit

 {{{
 -bash-3.00$ diff OMDoc/Import.hs~ OMDoc/Import.hs
 181,182c181
 <   mt <- getModificationTime fp
 <   return $ setFilePath fp mt $ emptyLibName s
 ---
 >   return $ emptyLibName s
 }}}

-- 
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] #7160: C finalizers are reversed during GC

[GHC]

#7160: C finalizers are reversed during GC
-+--
Reporter:  int-e |   Owner:  simonmar   
Type:  bug   |  Status:  new
Priority:  high  |   Milestone:  7.6.1  
   Component:  Runtime System| Version:  7.6.1-rc1  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Incorrect result at runtime
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by simonmar):

  * priority:  normal => high
  * milestone:  => 7.6.1


Comment:

 yes, it is a bug.  A fix is on the way.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by simonpj):

 OK I have managed to get a lot further.  Now I'm stuck on this
 {{{
 OMDoc/Import.hs:182:27:
 Couldn't match expected type `System.Time.ClockTime'
 with actual type
 `time-1.4.0.1:Data.Time.Clock.UTC.UTCTime'
 In the second argument of `setFilePath', namely `mt'
 In the expression: setFilePath fp mt
 In the second argument of `($)', namely
   `setFilePath fp mt $ emptyLibName s'
 }}}
 Any ideas for how to fix this?  I'd be happy to tell any furhter info that
 might help.  My ghc-pkg list is below
 {{{
 simonpj@cam-05-unx:~/tmp/Hets$ /home/simonpj/5builds/HEAD/inplace/bin/ghc-
 pkg list
 /5playpen/simonpj/HEAD/inplace/lib/package.conf.d:
 Cabal-1.17.0
 array-0.4.0.1
 base-4.6.0.0
 bin-package-db-0.0.0.0
 binary-0.5.1.1
 bytestring-0.10.0.0
 containers-0.5.0.0
 deepseq-1.3.0.1
 directory-1.1.1.0
 dph-base-0.6.0.1
 (dph-lifted-base-0.6.0.1)
 (dph-lifted-boxed-0.6.0.1)
 (dph-lifted-copy-0.6.0.1)
 (dph-lifted-vseg-0.6.0.1)
 (dph-prim-interface-0.6.0.1)
 (dph-prim-par-0.6.0.1)
 (dph-prim-seq-0.6.0.1)
 filepath-1.3.0.1
 (ghc-7.7)
 ghc-prim-0.3.0.0
 haskeline-0.7.0.2
 (haskell2010-1.1.1.0)
 (haskell98-2.0.0.2)
 hoopl-3.9.0.0
 hpc-0.6.0.0
 integer-gmp-0.5.0.0
 old-locale-1.0.0.5
 old-time-1.1.0.1
 pretty-1.1.1.0
 primitive-0.4.0.1
 process-1.1.0.2
 random-1.0.1.1
 rts-1.0
 template-haskell-2.8.0.0
 terminfo-0.3.2.4
 time-1.4.0.1
 transformers-0.3.0.0
 unix-2.6.0.0
 vector-0.9.1
 xhtml-3000.2.1

 /home/simonpj/.ghc/x86_64-linux-7.7/package.conf.d:
 HaXml-1.23.3
 aterm-0.1.0.1
 fgl-5.4.2.4
 mtl-2.1.2
 network-2.3.0.14
 parsec-3.1.3
 polyparse-1.8
 programatica-1.0.0.4
 text-0.11.2.3
 utf8-string-0.3.7
 xml-1.3.12
 }}}

-- 
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] #7147: programatica fails to compile

[GHC]

#7147: programatica fails to compile
-+--
  Reporter:  maeder  |  Owner:   
  Type:  bug | Status:  closed   
  Priority:  normal  |  Milestone:  7.6.1
 Component:  Compiler|Version:  7.6.1-rc1
Resolution:  fixed   |   Keywords:   
Os:  Solaris |   Architecture:  x86  
   Failure:  GHC rejects valid program   | Difficulty:  Unknown  
  Testcase:  typecheck/should_compile/T7147  |  Blockedby:   
  Blocking:  |Related:   
-+--
Changes (by pcapriotti):

  * status:  merge => closed
  * resolution:  => fixed
  * milestone:  => 7.6.1


Comment:

 Merged as ab4c7d3b0ad758f965b67239201dc3da52888e5f.

-- 
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] #6038: Allow view patterns inside record patterns

[GHC]

#6038: Allow view patterns inside record patterns
--+-
  Reporter:  akio |  Owner:  
  Type:  feature request  | Status:  closed  
  Priority:  normal   |  Milestone:  7.6.1   
 Component:  Compiler |Version:  7.4.1   
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown | Difficulty:  Unknown 
  Testcase:  rename/should_compile/T6038  |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by pcapriotti):

  * status:  merge => closed
  * resolution:  => fixed
  * milestone:  _|_ => 7.6.1


Comment:

 Merged as 038bec8abc35114e15c2d870f860025b0d7e3baa.

-- 
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] #7117: Data family constructors defined in GHCi are not in scope

[GHC]

#7117: Data family constructors defined in GHCi are not in scope
--+-
  Reporter:  parcs|  Owner:  pcapriotti  
  Type:  bug  | Status:  closed  
  Priority:  highest  |  Milestone:  7.6.1   
 Component:  GHCi |Version:  7.4.2   
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by pcapriotti):

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


Comment:

 Test was pushed as 38163b919c9b429a003468afe2ac93f9bc9bd3f0. Merged as
 8c668678afe42bdc29f01eb49c791c13be3f94dc.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 If you uncomment the flags -DRDFLOGIC -DCASLEXTENSIONS in (line 115 of)
 var.mk, fewer files need to be compiled to get to the error.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 The text package should be installable meanwhile by "cabal install", The
 network package had too strict constraints for dependencies. I downloaded
 it and relaxed them.

 {{{
 -bash-3.00$ diff network.cabal~ network.cabal
 42c42
 < base >= 3 && < 4.6,
 ---
 > base >= 3 && < 4.7,

 -bash-3.00$ diff -w Network/BSD.hsc~ Network/BSD.hsc
 115c115
 < import Prelude hiding (catch)
 ---
 > import Prelude
 }}}

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by simonpj):

 You mentioned patching some.  But which? And how?

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by maeder):

 Yes, you need to install the packages listed (by ghc-pkg) above (including
 network)

-- 
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] #6156: Optimiser bug on linux-powerpc

[GHC]

#6156: Optimiser bug on linux-powerpc
--+-
  Reporter:  erikd|  Owner:  igloo  
  Type:  bug  | Status:  new
  Priority:  normal   |  Milestone:  7.6.1  
 Component:  Compiler |Version:  7.4.1  
Resolution:   |   Keywords: 
Os:  Linux|   Architecture:  powerpc
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown
  Testcase:   |  Blockedby: 
  Blocking:   |Related: 
--+-

Comment(by erikd):

 New example:

 {{{
 import GHC.Word
 import Numeric

 main :: IO ()
 main = putStrLn (showHex (incr (0xa1a2a3a4a5a6a7a8 :: Word64)) "")

 incr :: Word64 -> Word64
 incr x = x + 1
 }}}

 results in the following optimised C-- code:

 {{{
 c1PM:
 I32[Sp - 8] = stg_bh_upd_frame_info;
 I32[Sp - 4] = Hp - 4;
 I64[Sp - 16] = 1 :: W64;
 I64[Sp - 24] = 11647051513882650536 :: W64;
 Sp = Sp - 24;
 jump GHC.Word.$w$c+_info; // []
 }}}

 which gets converted to the following assembler:

 {{{
 _c1PM:
 lis 31, stg_bh_upd_frame_info@ha
 addi31, 31, stg_bh_upd_frame_info@l
 stw 31, -8(22)
 addi31, 25, -4
 stw 31, -4(22)
 lis 31, 0
 ori 31, 31, 1
 lis 30, 0
 ori 31, 31, 0
 stw 31, -12(22)
 stw 30, -16(22)
 lis 31, 0
 ori 31, 31, 42920
 lis 30, 0
 ori 31, 31, 0
 stw 31, -20(22)
 stw 30, -24(22)
 addi22, 22, -24
 b   GHC.Word.$w$c+_info
 }}}

 The assembler looks correct suggesting that the only thing that could be
 going wrong is the function `GHC.Word.$w$c+_info`.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--

Comment(by simonpj):

 OK I set HC and HCPKG, typed 'make' and ended up with
 {{{
 make
 ghc-pkg: cannot find package HaXml
 ghc-pkg: cannot find package HaXml
 ghc-pkg: cannot find package tar
 ghc-pkg: cannot find package glade
 ghc-pkg: cannot find package hexpat
 ghc-pkg: cannot find package HTTP
 ghc-pkg: cannot find package uni-uDrawGraph
 ghc-pkg: cannot find package warp
 ghc-pkg: cannot find package wai-extra
 ghc-pkg: cannot find package parsec1
 /home/simonpj/5builds/HEAD/inplace/bin/ghc-stage2 -optl-s
 -XTemplateHaskell -threaded -rtsopts --make -o hets hets.hs -fcontext-
 stack=26-DNOHTTP -DUNIX-DRDFLOGIC -DCASLEXTENSIONS  -Wall
 -fwarn-tabs -fwarn-unrecognised-pragmas -fno-warn-orphans -fno-warn-
 unused-do-bind

 OMDoc/Import.hs:87:8:
 Could not find module `Network.URI'
 Use -v to see a list of the files searched for.
 make: *** [hets] Error 1
 }}}
 So are you saying that I first need to manually install (some of) the
 packages you listed?  And modify some of them (you mentioned patching)?

 I'm willing to follow instructions.

-- 
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] #5205: Control.Monad.forever leaks space

[GHC]

#5205: Control.Monad.forever leaks space
--+-
  Reporter:  akio |  Owner:  pcapriotti  
  Type:  bug  | Status:  new 
  Priority:  high |  Milestone:  7.6.1   
 Component:  libraries/base   |Version:  7.0.3   
Resolution:   |   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Runtime performance bug  | Difficulty:  Unknown 
  Testcase:  T5205|  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by simonmar):

  * priority:  normal => high
  * milestone:  7.2.1 => 7.6.1


Comment:

 Moving to an active milestone.

-- 
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] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  highest   |   Milestone:  7.6.1
   Component:  Compiler  | Version:  7.6.1-rc1
Keywords:|  Os:  Solaris  
Architecture:  x86   | Failure:  GHC rejects valid program
  Difficulty:  Unknown   |Testcase:   
   Blockedby:|Blocking:   
 Related:|  
-+--
Changes (by simonpj):

  * priority:  normal => highest
  * milestone:  => 7.6.1


-- 
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] #7166: Time running backwards in retainer profile

[GHC]

#7166: Time running backwards in retainer profile
--+-
 Reporter:  augustss  |  Owner:  
 Type:  bug   | Status:  new 
 Priority:  normal|  Component:  Compiler
  Version:  7.2.2 |   Keywords:  
   Os:  Windows   |   Architecture:  x86 
  Failure:  None/Unknown  |   Testcase:  
Blockedby:|   Blocking:  
  Related:|  
--+-
 When using retainer profiling the time stamps in the .hp file sometimes
 decrease.  This makes the hp2ps program upset, and it refuses to generate
 a .ps file.

-- 
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] #7117: Data family constructors defined in GHCi are not in scope

[GHC]

#7117: Data family constructors defined in GHCi are not in scope
--+-
  Reporter:  parcs|  Owner:  pcapriotti  
  Type:  bug  | Status:  new 
  Priority:  highest  |  Milestone:  7.6.1   
 Component:  GHCi |Version:  7.4.2   
Resolution:   |   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by simonpj):

  * priority:  high => highest


Comment:

 Paolo to make a test case, and merge to 7.6.

-- 
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] #3202: Make XNoMonomorphismRestriction the default in GHCi

[GHC]

#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  pcapriotti  
Type:  feature request   |  Status:  new 
Priority:  high  |   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  3217  |Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * owner:  => pcapriotti


Comment:

 Let's do this, and update 2.8.3 of user manual
 http://www.haskell.org/ghc/dist/current/docs/html/users_guide/ghci-
 set.html#id9289890 to specify what the default settings are.

-- 
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] #7068: Extensive Memory usage (regression)

[GHC]

#7068: Extensive Memory usage (regression)
-+--
Reporter:  waldheinz |   Owner:  simonpj 
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.4.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Compile-time performance bug
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * milestone:  7.6.1 => 7.8.1


Comment:

 I don't think I'm going to get time to look at this before 7.6.  Just use
 `-fno-spec-constr` for now. Sorry.  But let's keep it as a high priority
 bug.

-- 
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] #6057: hGetBufNonBlocking blocks the underlying handle on Windows

[GHC]

#6057: hGetBufNonBlocking blocks the underlying handle on Windows
--+-
  Reporter:  cetinsert|  Owner:  
  Type:  bug  | Status:  closed  
  Priority:  normal   |  Milestone:  
 Component:  libraries/base   |Version:  7.0.4   
Resolution:  invalid  |   Keywords:  
Os:  Windows  |   Architecture:  Unknown/Multiple
   Failure:  Incorrect result at runtime  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-

Comment(by simonmar):

 @cetinsert I see you closed the ticket as invalid with no explanation, so
 I just want to check the reason.  Did you find out what the bug was?

-- 
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] #7160: C finalizers are reversed during GC

[GHC]

#7160: C finalizers are reversed during GC
-+--
Reporter:  int-e |   Owner:  simonmar   
Type:  bug   |  Status:  new
Priority:  normal|   Milestone: 
   Component:  Runtime System| Version:  7.6.1-rc1  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Incorrect result at runtime
  Difficulty:  Unknown   |Testcase: 
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by simonpj):

  * owner:  => simonmar
  * difficulty:  => Unknown


-- 
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] #7129: LINE pragma disables automatic tickish annotations

[GHC]

#7129: LINE pragma disables automatic tickish annotations
-+--
Reporter:  scpmw |   Owner:  
Type:  bug   |  Status:  patch   
Priority:  normal|   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.5 
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Other   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by pcapriotti):

  * status:  new => patch
  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the patch.

-- 
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] #7149: Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults

[GHC]

#7149: Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults
---+
Reporter:  akio|   Owner:  pcapriotti   
Type:  bug |  Status:  patch
Priority:  normal  |   Milestone:  7.6.1
   Component:  Profiling   | Version:  7.5  
Keywords:  |  Os:  Linux
Architecture:  x86_64 (amd64)  | Failure:  Runtime crash
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+
Changes (by pcapriotti):

  * owner:  => pcapriotti
  * difficulty:  => Unknown
  * milestone:  => 7.6.1


-- 
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] #7165: "match_co bailing out" messages and compiler crash

[GHC]

#7165: "match_co bailing out" messages and compiler crash
---+
Reporter:  alang   |   Owner:
Type:  bug |  Status:  new   
Priority:  normal  |   Milestone:  7.8.1 
   Component:  Compiler| Version:  7.7   
Keywords:  |  Os:  Linux 
Architecture:  x86_64 (amd64)  | Failure:  Compile-time crash
  Difficulty:  Unknown |Testcase:
   Blockedby:  |Blocking:
 Related:  |  
---+
Changes (by pcapriotti):

  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Thanks for the report.

-- 
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] #7165: "match_co bailing out" messages and compiler crash

[GHC]

#7165: "match_co bailing out" messages and compiler crash
+---
 Reporter:  alang   |  Owner:
 Type:  bug | Status:  new   
 Priority:  normal  |  Component:  Compiler  
  Version:  7.7 |   Keywords:
   Os:  Linux   |   Architecture:  x86_64 (amd64)
  Failure:  Compile-time crash  |   Testcase:
Blockedby:  |   Blocking:
  Related:  |  
+---
 {{{
 $ cat > Blah.hs
 {-# LANGUAGE GADTs #-}

 module Blah where

 blah :: (dd ~ (Double, Double)) => dd -> dd
 blah (ax, bx)
 | ax < bx = blah (bx, ax)
 | otherwise = (0,0)

 $ cat > Meh.hs
 module Meh where

 import Blah

 meh = blah (0,0)

 }}}

 If we compile with -O2, in 2 separate calls to ghc, we get:

 {{{
 $ ghc -O2 Blah.hs
 [1 of 1] Compiling Blah ( Blah.hs, Blah.o )
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>
 match_co baling out
 <(ghc-prim:GHC.Types.Double{(w) tc 3u},
   ghc-prim:GHC.Types.Double{(w) tc 3u})>

 $ ghc -O2 Meh.hs
 [2 of 2] Compiling Meh  ( Meh.hs, Meh.o )
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.4.2 for x86_64-unknown-linux):
 tcIfaceType
 Refl
 (ghc-prim:GHC.Types.Double{(w) tc 3u},
  ghc-prim:GHC.Types.Double{(w) tc 3u})

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

 }}}

-- 
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] #7119: Build failure on OS X Mountain Lion

[GHC]

#7119: Build failure on OS X Mountain Lion
--+-
  Reporter:  thoughtpolice|  Owner:
  Type:  bug  | Status:  closed
  Priority:  normal   |  Milestone:
 Component:  Compiler |Version:
Resolution:  fixed|   Keywords:  mac   
Os:  MacOS X  |   Architecture:  x86_64 (amd64)
   Failure:  Building GHC failed  | Difficulty:  Unknown   
  Testcase:   |  Blockedby:
  Blocking:   |Related:  7040  
--+-
Changes (by simonmar):

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


-- 
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