August 2013 - ghc-tickets

Re: [GHC] #7473: getModificationTime gives only second-level resolution
by GHC 24 Aug '13

24 Aug '13

#7473: getModificationTime gives only second-level resolution ----------------------------------------+---------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/directory | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------+---------------------------------- Changes (by shelarcy): * cc: shelarcy@… (added) Comment: See also: https://github.com/haskell/win32/pull/10 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7473#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7958: 'Cannot continue after interface file error' during compilation
by GHC 23 Aug '13

23 Aug '13

#7958: 'Cannot continue after interface file error' during compilation ----------------------------------------------+---------------------------- Reporter: jstolarek | Owner: Type: bug | jstolarek Priority: normal | Status: new Component: Compiler | Milestone: Resolution: | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Fuuzetsu): After commenting out some duplicate instances in test-framework (a dependency), test-framework-hunit builds successfully with HEAD so it does seem like the problem is gone. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7958#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]
by GHC 23 Aug '13

23 Aug '13

#8113: Cannot override ghci builtin commands with :def[!] -------------------------------+------------------------------------------- Reporter: duncan | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: GHCi | Version: 7.6.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: Other | Blocked By: Test Case: | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Comment (by duncan): This analysis and fix look pretty plausible to me. Thanks hvr! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8113#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]
by GHC 23 Aug '13

23 Aug '13

#8113: Cannot override ghci builtin commands with :def[!] -------------------------------+------------------------------------------- Reporter: duncan | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: GHCi | Version: 7.6.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: Other | Blocked By: Test Case: | Related Tickets: Blocking: | -------------------------------+------------------------------------------- Changes (by hvr): * status: new => patch * difficulty: Unknown => Easy (less than 1 hour) * milestone: => 7.8.1 * type: feature request => bug * failure: None/Unknown => Other -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8113#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]
by GHC 23 Aug '13

23 Aug '13

#8113: Cannot override ghci builtin commands with :def[!] -------------------------------------+------------------------------------ Reporter: duncan | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 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 hvr): fyi, here's a working patch for GHC 7.6.3 (but it should be the same for GHC HEAD) https://github.com/hvr/ghci- ng/commit/f480f2e444f9e225ece843f449c5f14df67adfe6 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8113#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]
by GHC 23 Aug '13

23 Aug '13

#8113: Cannot override ghci builtin commands with :def[!] -------------------------------------+------------------------------------ Reporter: duncan | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 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 hvr): I've investigated a bit, the culprit seems to be 4f764d06f3b9899c09a6a459a22d4be694ee45d9 where the following diff fragment caused the macro-precedence to be reversed accidentally: {{{#!diff - ':' : rest -> (rest, builtin_commands) -- "::" selects a builtin command - _ -> (str', macros ++ builtin_commands) } -- otherwise prefer macros + ':' : rest -> (rest, ghci_cmds) -- "::" selects a builtin command + _ -> (str', ghci_cmds ++ macros) } -- otherwise prefer macros }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8113#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8163: ghc.exe: panic! (the 'impossible' happened)
by GHC 23 Aug '13

23 Aug '13

#8163: ghc.exe: panic! (the 'impossible' happened) ------------------------------------+--------------------------------- Reporter: CodeGuru | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- When compiling an example from ''Real World Haskell'', I get the following error message: {{{ Prelude> :l Prettify.hs [2 of 2] Compiling Prettify ( Prettify.hs, interpreted ) ghc.exe: panic! (the 'impossible' happened) (GHC version 7.4.2 for i386-unknown-mingw32): nameModule show{tv apB} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > }}} The example contains simple function stubs which are used by another module: {{{ module Prettify ( string , text , double ) where import SimpleJSON data Doc = ToBeDefined deriving (show) string :: String -> Doc string str = undefined text :: String -> Doc text str = undefined double :: Double -> Doc double num = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8163> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8162: Type unsoundness with type families and UndecidableInstances
by GHC 23 Aug '13

23 Aug '13

#8162: Type unsoundness with type families and UndecidableInstances -------------------------------------+------------------------------------- Reporter: akio | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC accepts Architecture: Unknown/Multiple | invalid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- ''This problem has already been fixed but I'm creating a ticket here to attach an example that demonstrates the problem, following a suggestion here: http://www.haskell.org/pipermail/glasgow-haskell- users/2013-August/022716.html'' The following is accepted by GHC 7.6. {{{ type family F a type instance F (a -> a) = Int type instance F (a -> a -> a) = IO String }}} However these definitions allows an {{{Int}}} to be coerced to {{{IO String}}} under !UndecidableInstances, breaking type safety. The problem is that you can define an infinite type {{{LA = LA -> LA}}} using type families, then {{{F LA}}} can be reduced to both {{{Int}}} and to {{{IO String}}}. I'll attach a program that demonstrates how this problem can cause a segfault. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8162> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8159: Uses of Binary decode should have a proper error message
by GHC 23 Aug '13

23 Aug '13

#8159: Uses of Binary decode should have a proper error message -------------------------------------------+------------------------------- Reporter: nh2 | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- In #8144 I changed the interface file format. That can happen without you noticing because it just uses the Binary instance. To deserialize it, we also use Binary. When that fails, the error message is {{{ Binary.get(Usage): 50 }}} The error message should at least also mention: {{{ Reading the interface file failed }}} This is not a specific problem with interface files (it is actually a minor problem there since ghc will refrain from reading .hi files created by an older version), but it is in development, and independent from that, all uses of Binary decode should be guarded as it is a very partial function. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8159> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7987: GHC Build Error
by GHC 23 Aug '13

23 Aug '13

#7987: GHC Build Error ----------------------------------------+--------------------------- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------- Changes (by monoidal): * difficulty: => Unknown Comment: The error with HsTimeConfig.h.in after distclean was fixed in 94c35ddf31aef28de84661860f77a94229f60cb4. Is the original problem still present? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7987#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0