Haskell.org
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview

ghc-tickets

Thread Start a new thread
Download
Threads by month
  • ----- 2025 -----
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2024 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2023 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2022 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2021 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2020 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2019 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2018 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2017 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2016 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2015 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2014 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2013 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
ghc-tickets@haskell.org

September 2014

  • 1 participants
  • 1019 discussions
[GHC] #9634: "data X = 1": "Illegal literal in type (use DataKinds to enable): 1"
by GHC 26 Sep '14

26 Sep '14
#9634: "data X = 1": "Illegal literal in type (use DataKinds to enable): 1" -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.9 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- This error message is not good. "1" is not in a type position, and DataKinds will not help anything. Well, except the error message, which with DataKinds enabled is instead {{{ parse error in constructor in data/newtype declaration: 1 }}} If it's not hard, we should give that error message also when DataKinds is disabled. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9634> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 2
0 0
[GHC] #9576: -fdefer-type-errors doesn't defer errors from `deriving`
by GHC 26 Sep '14

26 Sep '14
#9576: -fdefer-type-errors doesn't defer errors from `deriving` -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When I say {{{#!hs {-# OPTIONS_GHC -fdefer-type-errors #-} data Foo = MkFoo data Bar = MkBar Foo deriving Show }}} I get a type error that there is no instance for `Show Foo`. This error should be deferred. Using standalone-deriving works just fine, though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9576> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 2
0 0
[GHC] #9612: Use functional dependencies to give more specific error messages
by GHC 26 Sep '14

26 Sep '14
#9612: Use functional dependencies to give more specific error messages -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- An example from http://www.reddit.com/r/haskell/comments/2gryy8/stdlib_monad_error_messages…: {{{#!hs f ::(Eq a) => a -> (Int, a) -> Writer [(Int, a)] (Int, a) f y (n,x) | y == x = return (n+1, x) | otherwise = do tell (n,x) return (1,y) }}} {{{ Could not deduce (MonadWriter (Int, a) (WriterT [(Int, a)] Data.Functor.Identity.Identity)) arising from a use of ‘tell’ from the context (Eq a) bound by the type signature for f :: Eq a => a -> (Int, a) -> Writer [(Int, a)] (Int, a) at 180.hs:42:5-57 In a stmt of a 'do' block: tell (n, x) In the expression: do { tell (n, x); return (1, y) } In an equation for ‘f’: f y (n, x) | y == x = return (n + 1, x) | otherwise = do { tell (n, x); return (1, y) } }}} GHC could realize that the class `MonadWriter m w` has a functional dependency `w -> m` and notice that there is an instance `MonadWriter w (WriterT w m1)` whose `m`-part unifies with that of the needed constraint. Therefore the error cannot be a missing instance, and GHC could give a more friendly error message like {{{ Couldn't match expected type `[(Int, a)]' with actual type `(Int, a)' when unifying the instance `MonadWriter w (WriterT w m1)' with the constraint `MonadWriter (Int, a) (WriterT [(Int, a)] Identity)' arising from a use of 'tell' In a stmt of a 'do' block: tell (n, x) In the expression: ... }}} (Or, if necessary, `Could not deduce [(Int, a)] ~ (Int, a) from the context (Eq a) ...`) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9612> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 5
0 0
[GHC] #9635: "Module imports form a cycle" on OS X
by GHC 26 Sep '14

26 Sep '14
#9635: "Module imports form a cycle" on OS X -------------------------------------+------------------------------------- Reporter: dalaing | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Building Difficulty: Easy (less than 1 | GHC failed hour) | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- I ran into this while building GHC HEAD on OS X: {{{ Module imports form a cycle: module ‘Control.Applicative’ (libraries/base/Control/Applicative.hs) imports ‘Control.Arrow’ (libraries/base/Control/Arrow.hs) which imports ‘Control.Monad.Fix’ (libraries/base/Control/Monad/Fix.hs) which imports ‘System.IO’ (libraries/base/System/IO.hs) which imports ‘GHC.IO.FD’ (libraries/base/GHC/IO/FD.hs) which imports ‘GHC.Conc.IO’ (libraries/base/GHC/Conc/IO.hs) which imports ‘GHC.Event.Thread’ (libraries/base/GHC/Event/Thread.hs) which imports ‘GHC.Event.Manager’ (libraries/base/GHC/Event/Manager.hs) which imports ‘GHC.Event.KQueue’ (libraries/base/dist- install/build/GHC/Event/KQueue.hs) which imports ‘Control.Monad’ (libraries/base/Control/Monad.hs) which imports ‘Data.Traversable’ (libraries/base/Data/Traversable.hs) which imports ‘Control.Applicative’ (libraries/base/Control/Applicative.hs) make[1]: *** [libraries/base/dist-install/build/.depend-v-dyn.haskell] Error 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9635> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 5
0 0
[GHC] #8593: vector is being built even with `--no-dph`
by GHC 26 Sep '14

26 Sep '14
#8593: vector is being built even with `--no-dph` ------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Build System | 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 usually use `./sync-all --no-dph get` to speed up things a bit. But packages `vector`, `primitive` and `random` are still being pulled (by virtue of being submodules), and then built. It would be nice if the build system would build them only if `libraries/dph` is available, or have another way of making them optional. (Potentially obsolete once #8545 is done.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8593> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 1
0 0
Re: [GHC] #7544: GHC downloads are unsigned
by GHC 25 Sep '14

25 Sep '14
#7544: GHC downloads are unsigned --------------------------------------------+--------------------------- Reporter: afcowie | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.10.1 Component: Build System | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Other Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | --------------------------------------------+--------------------------- Comment (by hvr): Replying to [comment:5 nomeata]: > GPG signatures would still be nice. For example uscan, the tool Debian uses to download upstream tarballs, can automatically verify them by including the corresponding key in the Debian packaging meta-data. fwiw, the announcement contained GPG-signed hashes: http://www.haskell.org/pipermail/glasgow-haskell- users/2014-July/025105.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7544#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 0
0 0
Re: [GHC] #7544: GHC downloads are unsigned
by GHC 25 Sep '14

25 Sep '14
#7544: GHC downloads are unsigned --------------------------------------------+--------------------------- Reporter: afcowie | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.10.1 Component: Build System | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Other Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | --------------------------------------------+--------------------------- Comment (by nomeata): GPG signatures would still be nice. For example uscan, the tool Debian uses to download upstream tarballs, can automatically verify them by including the corresponding key in the Debian packaging meta-data. (Not reopening, though, it’s just a thing that’s nice to have, but there are more important things I guess). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7544#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 0
0 0
Re: [GHC] #7544: GHC downloads are unsigned
by GHC 25 Sep '14

25 Sep '14
#7544: GHC downloads are unsigned --------------------------------------------+--------------------------- Reporter: afcowie | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.10.1 Component: Build System | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Other Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | --------------------------------------------+--------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: Thank you for your feature request. sha256 hashes are available since version 7.8.1, and linked to from the download page. For the latest release, check [http://www.haskell.org/ghc/dist/7.8.3/SHA256SUMS here]. I hope that solves things for you. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7544#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 0
0 0
Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)
by GHC 25 Sep '14

25 Sep '14
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -------------------------------------+------------------------------------- Reporter: Isaac | Owner: Dupree | Status: new Type: feature | Milestone: ⊥ request | Version: 6.10.2 Priority: normal | Keywords: backpack Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by asr): * cc: andres.sicard.ramirez@… (removed) * cc: asr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1409#comment:65> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 0
0 0
Re: [GHC] #888: Implement the static argument transformation
by GHC 24 Sep '14

24 Sep '14
#888: Implement the static argument transformation -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): The current SAT pass has received no love for many years. Its heuristics have not been explored systematically. I opened this ticket to record a set of heuristics that might work better. But I don't think anyone has followed it up. Probably this could be combined with #9374 though. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/888#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
1 0
0 0
  • ← Newer
  • 1
  • ...
  • 78
  • 79
  • 80
  • 81
  • 82
  • 83
  • 84
  • ...
  • 102
  • Older →

HyperKitty Powered by HyperKitty version 1.3.9.