October 2013 - ghc-tickets

[GHC] #8286: fdToHandle docs are wrong about non-blocking mode
by GHC 07 Nov '13

07 Nov '13

#8286: fdToHandle docs are wrong about non-blocking mode ------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/unix | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- The docs for System.Posix.IO.fdToHandle state: {{{ fdToHandle :: Fd -> IO HandleSource Converts an Fd into a Handle that can be used with the standard Haskell IO library (see System.IO). GHC only: this function has the side effect of putting the Fd into non-blocking mode (O_NONBLOCK) due to the way the standard IO library implements multithreaded I/O. }}} The final paragraph is wrong. The code no longer does this. System.Posix.IO.fdToHandle ends up calling GHC.IO.Handle.FD.fdToHandle which has this comment: {{{ fdToHandle :: Posix.FD -> IO Handle fdToHandle fdint = do iomode <- Posix.fdGetMode fdint (fd,fd_type) <- FD.mkFD fdint iomode Nothing False{-is_socket-} -- NB. the is_socket flag is False, meaning that: -- on Windows we're guessing this is not a socket (XXX) False{-is_nonblock-} -- file descriptors that we get from external sources are -- not put into non-blocking mode, because that would affect -- other users of the file descriptor }}} So clearly, it is now deliberately not putting it into non-blocking mode. This can trip people up who expect that it does put it into non-blocking mode, when in fact they now have to do that manually. Fix is trivial: delete that paragraph from the docs for that function. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8286> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8061: Support for Complex Double in Foreign Function Interface
by GHC 06 Nov '13

06 Nov '13

#8061: Support for Complex Double in Foreign Function Interface ------------------------------------+------------------------------------- Reporter: dsamperi | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Currently the FFI only permits BASIC return types like Double, Int, Bool, etc., but NOT Complex Double (only slightly non-basic!). This makes it impossible to import a Fortran function (not subroutine) that returns a complex value. Adding support for Complex Double would make it easier to interface to external libs like BLAS and LAPACK; without this support wrapper C libs must be used, and these are not standardized (the Haskell package hs-linear-algebra currently has some problems related to this). Thus adding Foreign support for Complex Double (not just through Ptr) would open up access to a large collection of external Fortran libs for the Haskell community. Currently I get the message "Unacceptable return type in FFI" when I try to return IO (ComplexType). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8061> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8312: Compiling git-annex
by GHC 06 Nov '13

06 Nov '13

#8312: Compiling git-annex ------------------------------+-------------------------- Reporter: ablackmore | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Keywords: | Operating System: Linux Architecture: arm | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------+-------------------------- Environment: Raspbian Wheezy (Raspberry Pi Debian), Kernel 3.6, cabal- install version 0.14.0 using version 1.14.0 of the Cabal library I was building git-annex from a git checkout, and it is failing. cabal suggested I report this bug. Please let me know here if you need any more information. {{{ cabal install --only-dependencies Resolving dependencies... [1 of 1] Compiling Main ( /tmp/distributive-0.3.1-27416/distributive-0.3.1/Setup.lhs, /tmp/distributive-0.3.1-27416/distributive-0.3.1/dist/setup/Main.o ) Linking /tmp/distributive-0.3.1-27416/distributive-0.3.1/dist/setup/setup ... Configuring distributive-0.3.1... Building distributive-0.3.1... Preprocessing library distributive-0.3.1... [1 of 1] Compiling Data.Distributive ( src/Data/Distributive.hs, dist/build/Data/Distributive.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for arm-unknown-linux): Cant do annotations without GHCi {src/Data/Distributive.hs:29:16-35} "ignore Use section" Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Configuring file-embed-0.0.4.9... Building file-embed-0.0.4.9... Preprocessing library file-embed-0.0.4.9... [1 of 1] Compiling Data.FileEmbed ( Data/FileEmbed.hs, dist/build/Data/FileEmbed.o ) Data/FileEmbed.hs:76:12: Template Haskell bracket illegal in a stage-1 compiler [t| [(FilePath, B.ByteString)] |] Data/FileEmbed.hs:96:15: Template Haskell bracket illegal in a stage-1 compiler [| stringToBs |] Data/FileEmbed.hs:152:12: Template Haskell bracket illegal in a stage-1 compiler [| unsafePerformIO |] Data/FileEmbed.hs:153:13: Template Haskell bracket illegal in a stage-1 compiler [| unsafePackAddressLen |] Data/FileEmbed.hs:154:18: Template Haskell bracket illegal in a stage-1 compiler [| getInner |] Configuring generic-deriving-1.6.1... Building generic-deriving-1.6.1... Preprocessing library generic-deriving-1.6.1... [ 1 of 14] Compiling Generics.Deriving.Base ( src/Generics/Deriving/Base.hs, dist/build/Generics/Deriving/Base.o ) [ 2 of 14] Compiling Generics.Deriving.ConNames ( src/Generics/Deriving/ConNames.hs, dist/build/Generics/Deriving/ConNames.o ) [ 3 of 14] Compiling Generics.Deriving.Instances ( src/Generics/Deriving/Instances.hs, dist/build/Generics/Deriving/Instances.o ) [ 4 of 14] Compiling Generics.Deriving.Copoint ( src/Generics/Deriving/Copoint.hs, dist/build/Generics/Deriving/Copoint.o ) [ 5 of 14] Compiling Generics.Deriving.Eq ( src/Generics/Deriving/Eq.hs, dist/build/Generics/Deriving/Eq.o ) [ 6 of 14] Compiling Generics.Deriving.Enum ( src/Generics/Deriving/Enum.hs, dist/build/Generics/Deriving/Enum.o ) [ 7 of 14] Compiling Generics.Deriving.Functor ( src/Generics/Deriving/Functor.hs, dist/build/Generics/Deriving/Functor.o ) [ 8 of 14] Compiling Generics.Deriving.Show ( src/Generics/Deriving/Show.hs, dist/build/Generics/Deriving/Show.o ) [ 9 of 14] Compiling Generics.Deriving.Uniplate ( src/Generics/Deriving/Uniplate.hs, dist/build/Generics/Deriving/Uniplate.o ) [10 of 14] Compiling Generics.Deriving.Foldable ( src/Generics/Deriving/Foldable.hs, dist/build/Generics/Deriving/Foldable.o ) [11 of 14] Compiling Generics.Deriving.Monoid ( src/Generics/Deriving/Monoid.hs, dist/build/Generics/Deriving/Monoid.o ) [12 of 14] Compiling Generics.Deriving.Traversable ( src/Generics/Deriving/Traversable.hs, dist/build/Generics/Deriving/Traversable.o ) [13 of 14] Compiling Generics.Deriving.TH ( src/Generics/Deriving/TH.hs, dist/build/Generics/Deriving/TH.o ) src/Generics/Deriving/TH.hs:56:21: Template Haskell bracket illegal in a stage-1 compiler 'undefined src/Generics/Deriving/TH.hs:114:26: Template Haskell bracket illegal in a stage-1 compiler ''Rep src/Generics/Deriving/TH.hs:119:30: Template Haskell bracket illegal in a stage-1 compiler ''Generic src/Generics/Deriving/TH.hs:120:46: Template Haskell bracket illegal in a stage-1 compiler 'from src/Generics/Deriving/TH.hs:120:62: Template Haskell bracket illegal in a stage-1 compiler 'to src/Generics/Deriving/TH.hs:201:34: Template Haskell bracket illegal in a stage-1 compiler ''Datatype src/Generics/Deriving/TH.hs:202:11: Template Haskell bracket illegal in a stage-1 compiler 'datatypeName src/Generics/Deriving/TH.hs:203:11: Template Haskell bracket illegal in a stage-1 compiler 'moduleName src/Generics/Deriving/TH.hs:208:27: Template Haskell bracket illegal in a stage-1 compiler 'Prefix src/Generics/Deriving/TH.hs:209:27: Template Haskell bracket illegal in a stage-1 compiler 'Infix src/Generics/Deriving/TH.hs:209:41: Template Haskell bracket illegal in a stage-1 compiler [| a |] src/Generics/Deriving/TH.hs:209:56: Template Haskell bracket illegal in a stage-1 compiler [| n |] src/Generics/Deriving/TH.hs:212:32: Template Haskell bracket illegal in a stage-1 compiler 'LeftAssociative src/Generics/Deriving/TH.hs:213:32: Template Haskell bracket illegal in a stage-1 compiler 'RightAssociative src/Generics/Deriving/TH.hs:214:32: Template Haskell bracket illegal in a stage-1 compiler 'NotAssociative src/Generics/Deriving/TH.hs:219:14: Template Haskell bracket illegal in a stage-1 compiler 'conIsRecord src/Generics/Deriving/TH.hs:219:58: Template Haskell bracket illegal in a stage-1 compiler 'True src/Generics/Deriving/TH.hs:226:38: Template Haskell bracket illegal in a stage-1 compiler ''Constructor src/Generics/Deriving/TH.hs:227:15: Template Haskell bracket illegal in a stage-1 compiler 'conName src/Generics/Deriving/TH.hs:228:15: Template Haskell bracket illegal in a stage-1 compiler 'conFixity src/Generics/Deriving/TH.hs:228:51: Template Haskell bracket illegal in a stage-1 compiler [| fi |] src/Generics/Deriving/TH.hs:237:34: Template Haskell bracket illegal in a stage-1 compiler ''Constructor src/Generics/Deriving/TH.hs:238:11: Template Haskell bracket illegal in a stage-1 compiler 'conName src/Generics/Deriving/TH.hs:243:32: Template Haskell bracket illegal in a stage-1 compiler ''Selector src/Generics/Deriving/TH.hs:244:13: Template Haskell bracket illegal in a stage-1 compiler 'selName src/Generics/Deriving/TH.hs:255:25: Template Haskell bracket illegal in a stage-1 compiler ''D1 src/Generics/Deriving/TH.hs:256:40: Template Haskell bracket illegal in a stage-1 compiler ''V1 src/Generics/Deriving/TH.hs:259:25: Template Haskell bracket illegal in a stage-1 compiler ''D1 src/Generics/Deriving/TH.hs:266:20: Template Haskell bracket illegal in a stage-1 compiler '':+: src/Generics/Deriving/TH.hs:271:10: Template Haskell bracket illegal in a stage-1 compiler ''C1 src/Generics/Deriving/TH.hs:272:12: Template Haskell bracket illegal in a stage-1 compiler ''S1 src/Generics/Deriving/TH.hs:272:29: Template Haskell bracket illegal in a stage-1 compiler ''NoSelector src/Generics/Deriving/TH.hs:272:54: Template Haskell bracket illegal in a stage-1 compiler ''U1 src/Generics/Deriving/TH.hs:274:10: Template Haskell bracket illegal in a stage-1 compiler ''C1 src/Generics/Deriving/TH.hs:277:21: Template Haskell bracket illegal in a stage-1 compiler '':*: src/Generics/Deriving/TH.hs:279:10: Template Haskell bracket illegal in a stage-1 compiler ''C1 src/Generics/Deriving/TH.hs:279:59: Template Haskell bracket illegal in a stage-1 compiler ''U1 src/Generics/Deriving/TH.hs:281:10: Template Haskell bracket illegal in a stage-1 compiler ''C1 src/Generics/Deriving/TH.hs:284:21: Template Haskell bracket illegal in a stage-1 compiler '':*: src/Generics/Deriving/TH.hs:293:21: Template Haskell bracket illegal in a stage-1 compiler ''S1 src/Generics/Deriving/TH.hs:293:38: Template Haskell bracket illegal in a stage-1 compiler ''NoSelector src/Generics/Deriving/TH.hs:294:24: Template Haskell bracket illegal in a stage-1 compiler ''Rec0 src/Generics/Deriving/TH.hs:298:40: Template Haskell bracket illegal in a stage-1 compiler ''S1 src/Generics/Deriving/TH.hs:299:50: Template Haskell bracket illegal in a stage-1 compiler ''Rec0 src/Generics/Deriving/TH.hs:341:27: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:341:62: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:342:12: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:342:29: Template Haskell bracket illegal in a stage-1 compiler 'U1 src/Generics/Deriving/TH.hs:347:27: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:347:56: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:349:25: Template Haskell bracket illegal in a stage-1 compiler ':*: src/Generics/Deriving/TH.hs:353:27: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:353:56: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:353:73: Template Haskell bracket illegal in a stage-1 compiler 'U1 src/Generics/Deriving/TH.hs:357:27: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:357:56: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:359:25: Template Haskell bracket illegal in a stage-1 compiler ':*: src/Generics/Deriving/TH.hs:365:32: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:365:49: Template Haskell bracket illegal in a stage-1 compiler 'K1 src/Generics/Deriving/TH.hs:370:20: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:370:40: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:370:50: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:370:60: Template Haskell bracket illegal in a stage-1 compiler 'U1 src/Generics/Deriving/TH.hs:375:20: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:375:40: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:378:25: Template Haskell bracket illegal in a stage-1 compiler ':*: src/Generics/Deriving/TH.hs:381:20: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:381:40: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:381:50: Template Haskell bracket illegal in a stage-1 compiler 'U1 src/Generics/Deriving/TH.hs:385:20: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:385:40: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:388:25: Template Haskell bracket illegal in a stage-1 compiler ':*: src/Generics/Deriving/TH.hs:394:30: Template Haskell bracket illegal in a stage-1 compiler 'M1 src/Generics/Deriving/TH.hs:394:40: Template Haskell bracket illegal in a stage-1 compiler 'K1 src/Generics/Deriving/TH.hs:402:18: Template Haskell bracket illegal in a stage-1 compiler 'L1 src/Generics/Deriving/TH.hs:403:18: Template Haskell bracket illegal in a stage-1 compiler 'R1 src/Generics/Deriving/TH.hs:407:18: Template Haskell bracket illegal in a stage-1 compiler 'L1 src/Generics/Deriving/TH.hs:408:18: Template Haskell bracket illegal in a stage-1 compiler 'R1 Configuring monad-logger-0.3.1.1... Building monad-logger-0.3.1.1... Preprocessing library monad-logger-0.3.1.1... [1 of 1] Compiling Control.Monad.Logger ( Control/Monad/Logger.hs, dist/build/Control/Monad/Logger.o ) Control/Monad/Logger.hs:97:23: Template Haskell bracket illegal in a stage-1 compiler [| LevelDebug |] Control/Monad/Logger.hs:98:22: Template Haskell bracket illegal in a stage-1 compiler [| LevelInfo |] Control/Monad/Logger.hs:99:22: Template Haskell bracket illegal in a stage-1 compiler [| LevelWarn |] Control/Monad/Logger.hs:100:23: Template Haskell bracket illegal in a stage-1 compiler [| LevelError |] Control/Monad/Logger.hs:101:27: Template Haskell bracket illegal in a stage-1 compiler [| LevelOther $ pack ($(lift $ unpack x)) |] Control/Monad/Logger.hs:101:47: Template Haskell splice illegal in a stage-1 compiler lift $ unpack x Control/Monad/Logger.hs:135:5: Template Haskell bracket illegal in a stage-1 compiler [| monadLoggerLog ($(qLocation >>= liftLoc)) (pack "") ($(lift level)) . (id :: Text -> Text) |] Control/Monad/Logger.hs:135:22: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Control/Monad/Logger.hs:135:57: Template Haskell splice illegal in a stage-1 compiler lift level Control/Monad/Logger.hs:163:41: Template Haskell bracket illegal in a stage-1 compiler [| Loc ($(lift a)) ($(lift b)) ($(lift c)) ($(lift d1), $(lift d2)) ($(lift e1), $(lift e2)) |] Control/Monad/Logger.hs:164:5: Template Haskell splice illegal in a stage-1 compiler lift a Control/Monad/Logger.hs:165:5: Template Haskell splice illegal in a stage-1 compiler lift b Control/Monad/Logger.hs:166:5: Template Haskell splice illegal in a stage-1 compiler lift c Control/Monad/Logger.hs:167:6: Template Haskell splice illegal in a stage-1 compiler lift d1 Control/Monad/Logger.hs:167:18: Template Haskell splice illegal in a stage-1 compiler lift d2 Control/Monad/Logger.hs:168:6: Template Haskell splice illegal in a stage-1 compiler lift e1 Control/Monad/Logger.hs:168:18: Template Haskell splice illegal in a stage-1 compiler lift e2 Control/Monad/Logger.hs:175:13: Template Haskell bracket illegal in a stage-1 compiler [| \ a b -> monadLoggerLog ($(qLocation >>= liftLoc)) a LevelDebug (b :: Text) |] Control/Monad/Logger.hs:175:38: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Control/Monad/Logger.hs:179:12: Template Haskell bracket illegal in a stage-1 compiler [| \ a b -> monadLoggerLog ($(qLocation >>= liftLoc)) a LevelInfo (b :: Text) |] Control/Monad/Logger.hs:179:37: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Control/Monad/Logger.hs:182:12: Template Haskell bracket illegal in a stage-1 compiler [| \ a b -> monadLoggerLog ($(qLocation >>= liftLoc)) a LevelWarn (b :: Text) |] Control/Monad/Logger.hs:182:37: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Control/Monad/Logger.hs:185:13: Template Haskell bracket illegal in a stage-1 compiler [| \ a b -> monadLoggerLog ($(qLocation >>= liftLoc)) a LevelError (b :: Text) |] Control/Monad/Logger.hs:185:38: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Control/Monad/Logger.hs:191:13: Template Haskell bracket illegal in a stage-1 compiler [| \ src level msg -> monadLoggerLog ($(qLocation >>= liftLoc)) src (LevelOther level) (msg :: Text) |] Control/Monad/Logger.hs:191:48: Template Haskell splice illegal in a stage-1 compiler qLocation >>= liftLoc Configuring profunctors-3.3.0.1... Building profunctors-3.3.0.1... Preprocessing library profunctors-3.3.0.1... [1 of 2] Compiling Data.Profunctor.Unsafe ( src/Data/Profunctor/Unsafe.hs, dist/build/Data/Profunctor/Unsafe.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for arm-unknown-linux): Cant do annotations without GHCi {src/Data/Profunctor/Unsafe.hs:43:16-47} "Hlint: ignore Collapse lambdas" Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Configuring reflection-1.3.2... Building reflection-1.3.2... Preprocessing library reflection-1.3.2... [1 of 1] Compiling Data.Reflection ( fast/Data/Reflection.hs, dist/build/Data/Reflection.o ) fast/Data/Reflection.hs:160:18: Template Haskell bracket illegal in a stage-1 compiler ''Z fast/Data/Reflection.hs:161:18: Template Haskell bracket illegal in a stage-1 compiler ''PD fast/Data/Reflection.hs:162:18: Template Haskell bracket illegal in a stage-1 compiler ''D fast/Data/Reflection.hs:163:18: Template Haskell bracket illegal in a stage-1 compiler ''SD fast/Data/Reflection.hs:208:22: Template Haskell bracket illegal in a stage-1 compiler ''Z fast/Data/Reflection.hs:209:22: Template Haskell bracket illegal in a stage-1 compiler ''PD fast/Data/Reflection.hs:210:22: Template Haskell bracket illegal in a stage-1 compiler ''D fast/Data/Reflection.hs:211:22: Template Haskell bracket illegal in a stage-1 compiler ''SD fast/Data/Reflection.hs:226:28: Template Haskell bracket illegal in a stage-1 compiler 'plus fast/Data/Reflection.hs:227:28: Template Haskell bracket illegal in a stage-1 compiler 'times fast/Data/Reflection.hs:228:28: Template Haskell bracket illegal in a stage-1 compiler 'minus fast/Data/Reflection.hs:229:23: Template Haskell bracket illegal in a stage-1 compiler 'negate fast/Data/Reflection.hs:230:23: Template Haskell bracket illegal in a stage-1 compiler 'signum fast/Data/Reflection.hs:231:20: Template Haskell bracket illegal in a stage-1 compiler 'abs fast/Data/Reflection.hs:235:28: Template Haskell bracket illegal in a stage-1 compiler 'fract fast/Data/Reflection.hs:236:22: Template Haskell bracket illegal in a stage-1 compiler 'recip Configuring regex-tdfa-1.1.8... Building regex-tdfa-1.1.8... Preprocessing library regex-tdfa-1.1.8... on the commandline: Warning: -XRecursiveDo is deprecated: use -XDoRec or pragma {-# LANGUAGE DoRec #-} instead [ 1 of 23] Compiling Text.Regex.TDFA.NewDFA.Uncons ( Text/Regex/TDFA/NewDFA/Uncons.hs, dist/build/Text/Regex/TDFA/NewDFA/Uncons.o ) [ 2 of 23] Compiling Text.Regex.TDFA.IntArrTrieSet ( Text/Regex/TDFA/IntArrTrieSet.hs, dist/build/Text/Regex/TDFA/IntArrTrieSet.o ) [ 3 of 23] Compiling Paths_regex_tdfa ( dist/build/autogen/Paths_regex_tdfa.hs, dist/build/Paths_regex_tdfa.o ) [ 4 of 23] Compiling Data.IntSet.EnumSet2 ( Data/IntSet/EnumSet2.hs, dist/build/Data/IntSet/EnumSet2.o ) [ 5 of 23] Compiling Data.IntMap.EnumMap2 ( Data/IntMap/EnumMap2.hs, dist/build/Data/IntMap/EnumMap2.o ) [ 6 of 23] Compiling Data.IntMap.CharMap2 ( Data/IntMap/CharMap2.hs, dist/build/Data/IntMap/CharMap2.o ) [ 7 of 23] Compiling Text.Regex.TDFA.Common ( Text/Regex/TDFA/Common.hs, dist/build/Text/Regex/TDFA/Common.o ) [ 8 of 23] Compiling Text.Regex.TDFA.Pattern ( Text/Regex/TDFA/Pattern.hs, dist/build/Text/Regex/TDFA/Pattern.o ) [ 9 of 23] Compiling Text.Regex.TDFA.ReadRegex ( Text/Regex/TDFA/ReadRegex.hs, dist/build/Text/Regex/TDFA/ReadRegex.o ) [10 of 23] Compiling Text.Regex.TDFA.CorePattern ( Text/Regex/TDFA/CorePattern.hs, dist/build/Text/Regex/TDFA/CorePattern.o ) [11 of 23] Compiling Text.Regex.TDFA.NewDFA.MakeTest ( Text/Regex/TDFA/NewDFA/MakeTest.hs, dist/build/Text/Regex/TDFA/NewDFA/MakeTest.o ) [12 of 23] Compiling Text.Regex.TDFA.NewDFA.Tester ( Text/Regex/TDFA/NewDFA/Tester.hs, dist/build/Text/Regex/TDFA/NewDFA/Tester.o ) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8312> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8134: ghc enters a loop while building 7.6.3 for powerpc64 platform.
by GHC 04 Nov '13

04 Nov '13

#8134: ghc enters a loop while building 7.6.3 for powerpc64 platform. -----------------------------+------------------------------------- Reporter: k0da | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.3 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: powerpc64 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+------------------------------------- It enters a loop around 3414s] "/home/abuild/rpmbuild/BUILD/ghc-boot/bin/ghc" -M -dep-makefile compiler/stage1/build/.depend-v.haskell.tmp -include-pkg-deps -H32m -O -package-db libraries/bootstrapping.conf -package-name ghc-7.6.3 -hide- all-packages -i -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage1/build -icompiler/stage1 ... building 7.6.1 didn't had such problem strace shows: futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8134> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #8483: Use addDependentFile in Language.Haskell.TH.Syntax.quoteFile
by GHC 04 Nov '13

04 Nov '13

#8483: Use addDependentFile in Language.Haskell.TH.Syntax.quoteFile -------------------------------------+------------------------------------- Reporter: aavogt | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries (other) | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Users should expect ghc to recompile when those files change. Also the documentation should reflect that no spaces are stripped from the filename. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8483> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8256: adding locality levels to prefetch# and friends
by GHC 04 Nov '13

04 Nov '13

#8256: adding locality levels to prefetch# and friends ------------------------------------+------------------------------------- Reporter: carter | Owner: carter Type: task | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8252 ,#8107 | ------------------------------------+------------------------------------- currently in HEAD / 7.7, the prefetch primop only does the equivalent of __builtin_prefetch(ptr,0,3) (0 here denoting a read prefetch, 3 denoting "high locality, keep this in cache for a while") On modern hardware, we can do better! For many natural use case of prefetch in haskell, we have a streaming workload, so we want a prefetch to also hint that "once we've worked on a piece of memory, no need to keep it around for any period of time, don't pollute our memory with it" the attached patch takes each prefetchBlah# operation (where blah=ByteArray,MutableByteArray, or Addr) and replaces it with prefetchBlah0# through prefetchBlah3#, and passes the integer information through into the code generators. To make the engineering reasonable, I enriched MO_Prefetch_Data with an Int parameter (which must be a value between ranging 0-3). Theres probably a better way to model the locality paramter, but that maps directly to how its used in llvm code gen. This patch does not include a test case yet. (interestingly, currently the test suite doesn't have any tests for the prefetch primops as yet!). So that needs to be added. Also, theres no good reason for the prefetch ops to be LLVM only. worst case we could just treat them as noop's and drop them. But at least for x86, should be easy to add the support (though if anyone wants to add support for the ppc and sparc stuff, or help me do that, that'd be awesome too!) . I"ll look into doing that in a few days. theres probably some other things i'm overlooking. anyways, i'll attach a preliminary patch for feedback now -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8256> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 50

[GHC] #8322: Report all missing module, not just the first or last
by GHC 02 Nov '13

02 Nov '13

#8322: Report all missing module, not just the first or last ------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- This is a usability issue bothering me for a while, so I’ll write it down (and potentially attempt to solve it myself). Given `Imports.hs` with {{{ import ABC import XYZ }}} with `ghc -c Imports.hs` I get {{{ Imports.hs:1:1: Failed to load interface for ‛ABC’ Use -v to see a list of the files searched for. }}} When I would want {{{ Imports.hs:1:1: Failed to load interface for ‛ABC’ Use -v to see a list of the files searched for. Imports.hs:2:1: Failed to load interface for ‛XYZ’ Use -v to see a list of the files searched for. }}} Interestingly, with `-c` ghc reports (just) the first, with `--make` (just) the last import... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8322> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8492: Exception: expectJust cpeBody:collect_args
by GHC 01 Nov '13

01 Nov '13

#8492: Exception: expectJust cpeBody:collect_args ----------------------------------+---------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+---------------------------------- 1. run CollectArgsFailing.hs 2. run CollectArgsPassing.hs My expectation is for both programs to be equivalent. However, the first program fails with `*** Exception: expectJust cpeBody:collect_args`. The second works as expected. {{{ corey-mbp:tmp corey$ runhaskell CollectArgsIssueFailing.hs *** Exception: expectJust cpeBody:collect_args corey-mbp:tmp corey$ runhaskell CollectArgsIssuePassing.hs True }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8492> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8356: Strangeness with FunDeps
by GHC 01 Nov '13

01 Nov '13

#8356: Strangeness with FunDeps ----------------------------+---------------------------------------------- Reporter: ksf | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects valid program Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- {{{ {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GADTSyntax #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE FunctionalDependencies #-} import GHC.TypeLits data (:::) :: Symbol -> * -> * where Field :: sy ::: t class Replaced (sy :: Symbol) a b (xs :: [*]) (ys :: [*]) | sy a b xs -> ys, sy a b ys -> xs instance Replaced sy a b ((sy ::: a) ': xs) ((sy ::: b) ': ys) }}} results in {{{ Illegal instance declaration for [...] Multiple uses of this instance may be inconsistent with the functional dependencies of the class }}} The guess is that the FunDep Checker chokes on [*], as that error message doesn't make sense in this context. What I'm trying to do is to express "xs is ys and ys is xs with a and b interchanged at sy", all in a single predicate because my current type family implementation needs two and explodes the inferred types. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8356> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8170: Remove _scc_
by GHC 01 Nov '13

01 Nov '13

#8170: Remove _scc_ ------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- _scc_ is an ancient way of writing {-# SCC #-} pragmas. The old pragmas were discouraged in 2001 ([http://www.haskell.org/ghc/docs/5.00/set/release-5-00.html GHC 5.0]) and officialy deprecated in 2007 ([http://www.haskell.org/ghc/docs/6.8.3/html/users_guide/release-6-8-1.html GHC 6.8]). I downloaded the archive of the latest versions of packages in Hackage; there are over 1000 occurrences of {-# SCC #-} and 0 occurrences of _scc_. Patch attached. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8170> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11