October 2013 - ghc-tickets

[GHC] #8205: the 'impossible' happened : expectJust block_order
by GHC 22 Oct '13

22 Oct '13

#8205: the 'impossible' happened : expectJust block_order -----------------------------+---------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+---------------------------------------- Currently at commit 7e91e5bf84c2b3f461934b43911c0defb61dd9c6 and this was not failing to build 2 days ago. Compiling results in: {{{ "inplace/bin/ghc-stage1" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -Werror -Wall -H64m -O0 -hide-all-packages -i -iutils/hpc/. -iutils/hpc/dist-install/build -iutils/hpc/dist-install/build/autogen -Iutils/hpc/dist-install/build -Iutils/hpc/dist-install/build/autogen -optP-include -optPutils/hpc/dist-install/build/autogen/cabal_macros.h -package array-0.4.0.2 -package base-4.7.0.0 -package containers-0.5.2.1 -package directory-1.2.0.1 -package hpc-0.6.0.1 -XHaskell98 -XCPP -no-user-package-db -rtsopts -fwarn-tabs -odir utils/hpc/dist- install/build -hidir utils/hpc/dist-install/build -stubdir utils/hpc/dist- install/build -c utils/hpc/dist-install/build/HpcParser.hs -o utils/hpc/dist-install/build/HpcParser.dyn_o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130830 for powerpc64-unknown-linux): expectJust block_order }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8205> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 39

[GHC] #8464: ghc -C crashes on Hello World
by GHC 21 Oct '13

21 Oct '13

#8464: ghc -C crashes on Hello World ----------------------------------+--------------------------------------- Reporter: ygramoel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- johan@morla:~/haskell\> cat hello.hs main = putStrLn "Hello, World!" johan@morla:~/haskell\> ghc -C hello.hs addFlag by -C on the commandline: Warning: The -fvia-C flag does nothing; it will be removed in a future GHC release ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): pipeLoop: at phase As but I wanted to stop at phase HCc Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8464> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7991: stm: add mkWeakTVar
by GHC 21 Oct '13

21 Oct '13

#7991: stm: add mkWeakTVar --------------------------------------+------------------------------------ Reporter: errge | Owner: simonmar Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: libraries (other) | 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: --------------------------------------+------------------------------------ Changes (by errge): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7991#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

21 Oct '13

#1480: Template Haskell should allow reification of modules ----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: feature | Status: patch request | Milestone: 7.8.1 Priority: high | 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: 8398 | ----------------------------+---------------------------------------------- Changes (by errge): * priority: normal => high Comment: Increasing priority to high: we now have a patch and this is the only patch that still needs to be applied so that we implement the story detailed in http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Annotations. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1480#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7867: Allow template-haskell to communicate with itself between compilation units through the interface file
by GHC 21 Oct '13

21 Oct '13

#7867: Allow template-haskell to communicate with itself between compilation units through the interface file --------------------------+------------------------------------------------ Reporter: errge | Owner: Type: | Status: closed feature request | Milestone: 7.8.1 Priority: | Version: 7.6.3 normal | Keywords: Component: | Architecture: Unknown/Multiple Template Haskell | Difficulty: Easy (less than 1 hour) Resolution: | Blocked By: 3725, 8337, 8340, 8397, 8398 duplicate | Related Tickets: Operating System: | Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | --------------------------+------------------------------------------------ Changes (by errge): * status: patch => closed * resolution: => duplicate Comment: Closing this bug report as we now have a wiki article that provides an overview and the related tickets that still need to get fixed for the feature to get implemented. This bug will not get any patches and having it open just creates more confusion than benefit. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7867#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8337: make it possible for the user to for orphanness of an annotation
by GHC 21 Oct '13

21 Oct '13

#8337: make it possible for the user to for orphanness of an annotation -------------------------------------------+------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 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: 7867 -------------------------------------------+------------------------------- A module is marked orphan currently only in the case when we detect orphan instances, rules, type families or vectorised stuff. In the use-case of #7867, the user will need a way to manage orphanness more directly. When she creates an annotation (with TH or by hand), it is written to the interface file. When another file directly imports this file, it is read, everything is right. But only orphan modules are searched for transitively. So in the case of command line flags (HFlags library), where we want to transitively read all the annotations (containing info about cmdline flags) in all the imported and grandchild imported modules, we have to mark the originator modules as orphan. This patch adds support for a special module level annotation that forces this module to be orphan. This is the first, meaningful, but still small part of a larger work to implement #7867. The next part will be TH support to generate annotations (not only) like this. I'd like to make this two part of 7.8.1, if still possible; because this already makes messaging possible through adhoc datatypes+instances. After that (probably for 7.10) we only have to make it possible to read (module) annotations back in the Q monad to have a clean solution. The laborious part of that is making module reifyable at all. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8337> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8463: Inferred types problem
by GHC 20 Oct '13

20 Oct '13

#8463: Inferred types problem ------------------------------------+------------------------------------- Reporter: danilo2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I've talked about this issue on Haskell irc and nobody knows why types are not automatically inferred in this example. Lets consider following code: {{{ data X a = X { method1 :: a } deriving(Show) cons_X = X { method1 = (\a b -> (a,b)) } f x = method1 x :: a -> b -> (a, b) main = do let x = cons_X let a = f x return () }}} It works if we do not write the explicit type signature. What is interesting, If we write it wrong, like {{{ f x = method1 x :: Int }}} compiler tells us: {{{ Couldn't match type `t0 -> t1 -> (t0, t1)' with `Int' }}} It does not work if we even specify explicit f type: {{{ f :: X (a -> b -> (a, b)) -> (a -> b -> (a, b)) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8463> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8462: Compiler crash on invalid type class instance
by GHC 20 Oct '13

20 Oct '13

#8462: Compiler crash on invalid type class instance -----------------------------------+--------------------------------------- Reporter: thomaseding | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- If you try compiling the following code, the compiler crashes {{{ class Foo a where foo :: a -> () class Bar a where bar :: a -> () instance (Foo a) => (Bar a -> ()) where bar = undefined }}} {{{ *** Exception: compiler/rename/RnSource.lhs:430:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars, _, SrcLoc.L _ cls, _) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8462> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8461: Panic (on woefully incorrect code)
by GHC 20 Oct '13

20 Oct '13

#8461: Panic (on woefully incorrect code) -----------------------------------+--------------------------------------- Reporter: srhb | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- The following (very wrong) code causes a panic. The haskeline hackage package is required. {{{ import System.Console.Haskeline import Control.Monad.State.Strict main = runStateT (runInputT settings loop) 0 where loop = do minput <- lift getInputLine "% " loop settings :: Settings (StateT Int IO) settings = setComplete comp defaultSettings comp _ = do n <- get put (n+1) return ("", [Completion (show n) "" True]) }}} The error: {{{ [1 of 1] Compiling Main ( test.hs, test.o ) test.hs:7:20: Couldn't match kind `* -> *' with `*' Expected type: [Char] -> InputT m0 (Maybe String) Actual type: [Char] -> InputT m0 (Maybe String) Kind incompatibility when matching types: [Char] :: * -> * [Char] :: * The function `lift'ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} PS: It was not clear to me whether to call this a compile-time crash or not. All I know is that the 'impossible' happened. :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8461> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #1444: Template Haskell: add proper support for qualified names in non-splicing applications
by GHC 20 Oct '13

20 Oct '13

#1444: Template Haskell: add proper support for qualified names in non-splicing applications -------------------------------------+------------------------------------ Reporter: SamB | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Template Haskell | Version: 6.6.1 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 errge): Yes, this is still relevant. Here is igloo's comment actualized for 7.7: {{{ (echo import qualified System.IO; ~/tmp/ghc/inplace/bin/ghc-stage2 -XTemplateHaskell -e 'Language.Haskell.TH.runQ [d| main = putStr "Foo" >> return () |] >>= (print . Language.Haskell.TH.ppr)') import qualified System.IO main_0 = System.IO.putStr "Foo" GHC.Base.>> GHC.Base.return GHC.Tuple.() }}} As you can see, the names are still "wrong". There is progress on #1480, but we still need to add export list reification to that new ModuleInfo datatype. Once that is done, the user will be able to go through the imported modules at least and find one that exports the given function and the module name is likable. If this workaround is acceptable, then we can easily target 7.10 with this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1444#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0