- ghc-tickets - Haskell.org

Re: [GHC] #393: functions without implementations
by GHC 27 Aug '14

27 Aug '14

#393: functions without implementations -------------------------------------+------------------------------------- Reporter: c_maeder | Owner: simonpj Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: None Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: None | Difficulty: Moderate (less Operating System: | than a day) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by maeder): * cc: maeder@… (removed) Comment: Wow, I've created this ticket 9 years ago and I got used to live without this feature, although it should be simple to implement. (I hope my old username c_maeder was deleted.) To answer your question. Yes, source file and line number should be included (indicated by "or whatever") Adding source file and line number to the Exception for `undefined` is obviously not so easy. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/393#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5630: External Core needs love
by GHC 27 Aug '14

27 Aug '14

#5630: External Core needs love -------------------------------------+------------------------------------- Reporter: quux | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by kmels): * cc: c.lopez@… (added) * status: closed => new * resolution: wontfix => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5630#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5630: External Core needs love
by GHC 27 Aug '14

27 Aug '14

#5630: External Core needs love -------------------------------------+------------------------------------- Reporter: quux | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.2.1 Resolution: wontfix | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by kmels): Could you refer to the changeset where -fext-core was removed please? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5630#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2207: Load the interface details for GHC.* even without -O
by GHC 26 Aug '14

26 Aug '14

#2207: Load the interface details for GHC.* even without -O -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.8.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rodlogic): For what is worth, this is in 7.8.3: {{{ ❯❯❯ ghc -ddump-simpl a.hs [1 of 1] Compiling Main ( a.hs, a.o ) ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 13, types: 7, coercions: 0} Main.main :: GHC.Types.IO () [GblId, Str=DmdType] Main.main = System.IO.putStrLn (GHC.Show.show @ GHC.Types.Bool GHC.Show.$fShowBool (GHC.Classes.== @ GHC.Types.Int GHC.Classes.$fEqInt (GHC.Types.I# 1) (GHC.Types.I# 2))) :Main.main :: GHC.Types.IO () [GblId, Str=DmdType] :Main.main = GHC.TopHandler.runMainIO @ () Main.main }}} For: {{{ main = putStrLn $ show foo foo = (1 :: Int) == (2 :: Int) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2207#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #393: functions without implementations
by GHC 26 Aug '14

26 Aug '14

#393: functions without implementations -------------------------------------+------------------------------------- Reporter: c_maeder | Owner: simonpj Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: None Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: None | Difficulty: Moderate (less Operating System: | than a day) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by rodlogic): * cc: admin@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/393#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #393: functions without implementations
by GHC 26 Aug '14

26 Aug '14

#393: functions without implementations -------------------------------------+------------------------------------- Reporter: c_maeder | Owner: simonpj Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: None Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: None | Difficulty: Moderate (less Operating System: | than a day) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rodlogic): Adding the source file and line number is also quite useful. So shouldn't the definition proposed by @simonpj include them? Or is there a specific reason not to? In fact, shouldn't the exception thrown by {{{undefined}}} include the file & lineno so that the added definition would then become simply {{{f = undefined}}}, as requested in the original ticket? I have already been at a loss by an error such as {{{*** Exception: Prelude.undefined}}} without any references to where. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/393#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6016: On Windows, runhaskell hits an error on UTF-8 files with a BOM
by GHC 26 Aug '14

26 Aug '14

#6016: On Windows, runhaskell hits an error on UTF-8 files with a BOM -------------------------------------+------------------------------------- Reporter: vsajip | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.0.4 (Parser) | Keywords: BOM Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: #1744 rejects valid program | Test Case: | Blocking: | Differential Revisions: Phab:D176 | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => patch * differential: => Phab:D176 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6016#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5144: Pattern synonyms
by GHC 26 Aug '14

26 Aug '14

#5144: Pattern synonyms -------------------------------------+------------------------------------- Reporter: simonpj | Owner: cactus Type: feature | Status: closed request | Milestone: 7.8.1 Priority: normal | Version: Component: Compiler | Keywords: pattern synonyms Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: 8581, | 8582, 8583, 8584 | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * keywords: => pattern synonyms -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:49> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files
by GHC 26 Aug '14

26 Aug '14

#1407: Add the ability to :set -l{foo} in .ghci files -------------------------------------+------------------------------------- Reporter: guest | Owner: archblob Type: feature | Status: infoneeded request | Milestone: 7.10.1 Priority: normal | Version: 6.6.1 Component: GHCi | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by archblob): I have attached a fix based on HEAD. The fix has no test case because I'm not sure what libraries are guaranteed to be present on every system so that the test won't fail. If you can think of any, let me know and I'll add a test case or someone else can do it. I'm sorry this took a week to rebase :-P. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1407#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8912: Documentation stale: implicit-parameter constraints seem to be allowed in instance declarations now.
by GHC 25 Aug '14

25 Aug '14

#8912: Documentation stale: implicit-parameter constraints seem to be allowed in instance declarations now. -------------------------------------+------------------------------------- Reporter: andreas.abel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.6.3 Keywords: implicit- | Operating System: Unknown/Multiple parameter instance-constraints | Type of failure: Documentation Architecture: Unknown/Multiple | bug Difficulty: Easy (less than 1 | Test Case: hour) | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/other-type- extensions.html#implicit-parameters says: You can't have an implicit parameter in the context of a class or instance declaration. For example, both these declarations are illegal: {{{ class (?x::Int) => C a where ... instance (?x::a) => Foo [a] where ... }}} However, ghc 7.6.3 seems to accept this now: {{{ {-# LANGUAGE ImplicitParams #-} class C a where toInt :: a -> Int instance (?imp :: Int) => C [a] where toInt _ = ?imp test :: Int test = let ?imp = 5 in toInt "Hello, world" }}} test evaluates to 5. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8912> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5