- ghc-tickets - Haskell.org

[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

Re: [GHC] #4900: DEPENDS pragma
by GHC 06 Nov '13

06 Nov '13

#4900: DEPENDS pragma -------------------------------------+------------------------------------ Reporter: cdsmith | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: TH_Depends | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): I don't want to block this fix, since there's a real problem. On the other hand, the fix is not a simple one because both proposed implementations change some key assumption about the flow of data, in what is already a complicated part of the compiler. I think I'm ok with the idea of adding the usg_file information to the ModSummary during the downsweep ''after'' a previous upsweep. I think this is the first patch, correct? But what we need is some careful documentation about how it works, preferably with a worked example ("the second downsweep adds the following information to the ModSummary, but it doesn't cause recompilation because..."). I'm concerned about things like re-summarising modules unnecessarily. The other thing we need is some good tests (the recomp tests are under `driver`), testing for both too much and too little recompilation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4900#comment:65> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3575: mkStdGen and split conspire to make some programs predictable
by GHC 06 Nov '13

06 Nov '13

#3575: mkStdGen and split conspire to make some programs predictable -------------------------------------+------------------------------------ Reporter: rwbarton | Owner: rrnewton Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/random | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nfrisby): Are there any plans to adopt the work out of Chalmers from the tf-random package on Hackage into System.Random? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3575#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3620: The seeds generated by split are not independent
by GHC 06 Nov '13

06 Nov '13

#3620: The seeds generated by split are not independent -------------------------------------+------------------------------------ Reporter: NickSmallbone | Owner: rrnewton Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/random | Version: 6.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nfrisby): Are there any plans to adopt the work out of Chalmers from the tf-random package on Hackage into System.Random? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3620#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[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

Re: [GHC] #1480: Template Haskell should allow reification of modules
by GHC 06 Nov '13

06 Nov '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: closed request | Milestone: 7.8.1 Priority: highest | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: 8398 | ----------------------------+---------------------------------------------- Comment (by simonmar): ah yes, good point. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4900: DEPENDS pragma
by GHC 06 Nov '13

06 Nov '13

#4900: DEPENDS pragma -------------------------------------+------------------------------------ Reporter: cdsmith | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: TH_Depends | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by parcs): Replying to [comment:63 simonmar]: > At first glance it's not obviously right, since we don't normally modify `ModSummary` during the upsweep - the `ModSummary` is something that is supposed to be collected by the downsweep. A module's list of usage files can only be determined _after_ compiling the module because the list includes files added by TH's `qAddDependencies`. So one way or another, usage-file information has to be propagated from a previous upsweep to a future downsweep (and to the stability check that follows). I proposed two independent solutions: 1. During the downsweep, look inside the HPT to extract the usage-file information from an existing HMI and stuff it into the !ModSummary. 2. During the upsweep, extract the usage-file information from the new HMI and update the module graph with this information. A future downsweep will use this updated module graph. But these solutions don't exactly satisfy the existing invariants of the downsweep and upsweep. For (1), we shouldn't read the HPT during the downsweep. For (2), we shouldn't update a !ModSummary during the upsweep. But I can't think of another solution. I personally like (1), especially since there are two independent upsweeps now. The patch that Adam attached is an updated version of (2). I think it would help review if a future patch was split into several logical patches. It's not a lot of code but it's somewhat tricky code. This is just my understanding of the state of this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4900#comment:64> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1480: Template Haskell should allow reification of modules
by GHC 06 Nov '13

06 Nov '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: closed request | Milestone: 7.8.1 Priority: highest | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: 8398 | ----------------------------+---------------------------------------------- Comment (by simonpj): I don't think splitting `mi_deps` will work, because it lists only the ''home-package'' imports, so we would not thereby find the directly imported modules that happen to be in other packages. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4900: DEPENDS pragma
by GHC 06 Nov '13

06 Nov '13

#4900: DEPENDS pragma -------------------------------------+------------------------------------ Reporter: cdsmith | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: TH_Depends | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): I still need to review this patch carefully. At first glance it's not obviously right, since we don't normally modify `ModSummary` during the upsweep - the `ModSummary` is something that is supposed to be collected by the downsweep. But I don't have all the details in my head right now, I'll try to come back to this when I have more time. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4900#comment:63> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1480: Template Haskell should allow reification of modules
by GHC 06 Nov '13

06 Nov '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: closed request | Milestone: 7.8.1 Priority: highest | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: 8398 | ----------------------------+---------------------------------------------- Comment (by simonmar): An alternative is to split `dep_mods` into two; the direct imports and the rest. That would avoid growing the `.hi` file. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0