October 2013 - ghc-tickets

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

19 Oct '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: patch request | Milestone: 7.8.1 Priority: normal | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by errge): * cc: gergely@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

19 Oct '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: patch request | Milestone: 7.8.1 Priority: normal | Version: 7.7 Component: | Keywords: Template Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by errge): * status: new => patch * difficulty: Unknown => Moderate (less than a day) * version: 6.6.1 => 7.7 * milestone: _|_ => 7.8.1 Comment: The attached patch does very little, minimal module reification: only the import list is reified. Adding exports as requested in the bug report should be handled in a separate patch and review cycle, I think this patch is already big enough. Also, this infrastructure patch is quite trivial and straightforward, while the incremental export reification as requested in the bug report can be implemented maybe in multiple ways and maybe needs design discussion. After this gets merged, so we know the API, I'm happy to work on adding the export list as a next step. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5144: Pattern synonyms
by GHC 19 Oct '13

19 Oct '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: cactus Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 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 cactus): Added PatternSynonyms/Implementation page describing internals of the code -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:34> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8119: better type inference for lambdas
by GHC 18 Oct '13

18 Oct '13

#8119: better type inference for lambdas -------------------------------------------+------------------------------- Reporter: dmwit | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- With the following code in a file: {{{ {-# LANGUAGE TypeFamilies #-} class Test a where test :: a instance (a ~ Int, b ~ Int) => Test (a -> b) where test = id }}} We can tell ghci that {{{test}}} is a function (and nothing more) in two different ways: {{{ *Main> :t test `asTypeOf` (undefined :: a -> b) test `asTypeOf` (undefined :: a -> b) :: Int -> Int *Main> :t \x -> test x \x -> test x :: Test (t1 -> t) => t1 -> t }}} The type inferred for {{{\x -> test x}}} is very disappointing in comparison! A similar example can be cooked up with MPTCs and functional dependencies; see also http://lpaste.net/91534 for some (still quite abstract, of course) motivation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8119> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7367: Optimiser / Linker Problem on amd64
by GHC 18 Oct '13

18 Oct '13

#7367: Optimiser / Linker Problem on amd64 --------------------------------------------+------------------------------ Reporter: wurmli | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Build System | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Runtime performance bug | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by carter): has anyone doen any exploration on this yet? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7367#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7942: aarch64 support in ghc
by GHC 18 Oct '13

18 Oct '13

#7942: aarch64 support in ghc --------------------------------------------+--------------------------- Reporter: jcapik | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: arm Type of failure: GHC doesn't work at all | Difficulty: Unknown Test Case: | Blocked By: 7623 Blocking: | Related Tickets: --------------------------------------------+--------------------------- Changes (by carter): * difficulty: => Unknown * milestone: => 7.10.1 Comment: adding arm64 support should probably be a goal for 7.10 maybe as one warm up task in the larger ABI evaluation project i've been trying to figure out. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7942#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7774: T5313 fails
by GHC 18 Oct '13

18 Oct '13

#7774: T5313 fails -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: GHC API | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: T5313 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by nomeata): * status: new => closed * testcase: => T5313 * resolution: => fixed Comment: Everyone (including Travis) seems to agree that this works now; marking it as such in the testsuite. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7774#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7774: T5313 fails
by GHC 18 Oct '13

18 Oct '13

#7774: T5313 fails -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: GHC API | Version: 7.7 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 Joachim Breitner <mail@…>): In [changeset:"2d2fa1bc0863a14b62762ed04550d45ef49103c0/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="2d2fa1bc0863a14b62762ed04550d45ef49103c0" T5313 now succeeds (Fixes: #7774) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7774#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8449: Core lint error with data families and promotion across modules
by GHC 18 Oct '13

18 Oct '13

#8449: Core lint error with data families and promotion across modules ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 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: | ------------------------------------+------------------------------------- I have these files: {{{ {-# LANGUAGE GADTs, PolyKinds, DataKinds, TypeFamilies #-} module A where data family SList (a :: k) data instance SList (a :: [k]) where SNil :: SList '[] }}} {{{ module B where import A foo = SNil }}} If I compile them together, with `-dcore-lint` on, all is well. But, if I compile `A` and then `B` (both with `-dcore-lint`), I get this: {{{ *** Core Lint errors : in result of Desugar (after optimization) *** <no location info>: Warning: In the type ‛A.SList '[]’ Kind application error in type ‛[*]’ Function kind = * -> * Arg kinds = [(*, BOX)] <no location info>: Warning: In the type ‛A.SList '[]’ Kind application error in type ‛A.SList '[]’ Function kind = k_izi -> * Arg kinds = [([*], *), ('[], [*])] *** Offending Program *** B.foo :: A.SList '[] [LclIdX, Str=DmdType] B.foo = A.$WSNil @ * *** End of Offense *** <no location info>: Compilation had errors }}} This was tested on a very recent HEAD (Oct 11). The error does not happen if `SList` is a normal datatype, as opposed to a data family. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8449> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8454: kindFunResult
by GHC 18 Oct '13

18 Oct '13

#8454: kindFunResult ----------------------------------+--------------------------------- Reporter: adinapoli | 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: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- GHC asked, and I diligently reported the bug: {{{ [1 of 1] Compiling Main ( src/Chronos.hs, dist/build/chronos /chronos-tmp/Main.o ) src/Chronos.hs:17:3: Couldn't match expected type `IO ()' with actual type `r0 -> IO a0' In a stmt of a 'do' block: runReaderT $ (\ c -> do { interval <- lift (require c "chronos.pingInterval"); lift forever (monitor (interval * 1000000)) }) config In the expression: do { config <- load ["resources/application.cfg"]; runReaderT $ (\ c -> do { interval <- lift (require c "chronos.pingInterval"); .... }) config } In an equation for `main': main = do { config <- load ["resources/application.cfg"]; runReaderT $ (\ c -> do { ... }) config } src/Chronos.hs:19:5: Couldn't match kind `* -> *' with `*' Expected type: ReaderT Config IO () -> ReaderT r0 IO a0 Actual type: ReaderT Config IO () -> ReaderT r0 IO a0 Kind incompatibility when matching types: ReaderT Config IO () :: * -> * ReaderT Config IO () :: * The function `lift'ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Please find attached the offending program. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8454> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1