- ghc-tickets - Haskell.org

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

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 17 Oct '13

17 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by simonpj): OK with me -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8452: hp2ps manage does not document -c
by GHC 17 Oct '13

17 Oct '13

#8452: hp2ps manage does not document -c ------------------------------------+-------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- As reported at http://bugs.debian.org/726592, the manpage for hp2ps does not document the `-c` option; I’ll push a fix immediately. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8452> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2