May 2014 - ghc-tickets

[GHC] #9146: GHC.TypeLits import don't quite work
by GHC 27 May '14

27 May '14

#9146: GHC.TypeLits import don't quite work ------------------------------------+------------------------------------- Reporter: yuriyt | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- If you explicitly import any of the things that are Compiler Magic from `GHC.TypeLits` you get an error: {{{ import GHC.TypeLits ((+), (-)) ... }}} {{{ [1 of 1] Compiling Main ( typelit_export_bug.hs, interpreted ) typelit_export_bug.hs:1:22: Module `GHC.TypeLits' does not export `(+)' typelit_export_bug.hs:1:27: Module `GHC.TypeLits' does not export `(-)' Failed, modules loaded: none. }}} If you do the opposite, it also doesn't work {{{ import GHC.TypeLits hiding ((+), (-)) ... }}} {{{ [1 of 1] Compiling Main ( typelit_export_bug.hs, interpreted ) typelit_export_bug.hs:3:1: Warning: Module `GHC.TypeLits' does not export `(+)' typelit_export_bug.hs:3:1: Warning: Module `GHC.TypeLits' does not export `(-)' }}} The use case is that I would like to define my own `+` and have one instance for `Nat` and others for other types of my choosing. It isn't more than a minor annoyance, however, there aren't many thing defined in `GHC.TypeLits` so I can write `import qualified GHC.TypeLits; import GHC.TypeLits (Nat, natVal, Symbol, symbolVal ...` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9146> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #1620: Bug in debugger 6.7.20070817
by GHC 27 May '14

27 May '14

#1620: Bug in debugger 6.7.20070817 -------------------------------------+------------------------------------ Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 6.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by pupfish): * cc: hvr (added) * failure: => None/Unknown Comment: I get the same error in 7.8.2 (using ghc-7.8.2-i386-unknown-linux- deb7.tar.xz from [http://www.haskell.org/ghc/download_ghc_7_8_2] {{{ GHCi, version 7.8.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> :cd ticket-1620/ Prelude> :l qsort.hs [1 of 1] Compiling Main ( qsort.hs, interpreted ) Ok, modules loaded: Main. *Main> :break 2 Breakpoint 0 activated at qsort.hs:2:16-47 *Main> :cd .. Warning: changing directory causes all loaded modules to be unloaded, because the search path has changed. Prelude> :cd ticket-1620/ Prelude> :l qsort.hs Failed to load interface for `Main' Use -v to see a list of the files searched for. Prelude> :l qsort.hs *** Exception: ModBreaks.modBreaks_array not initialised Prelude> }}} Contents of qsort.hs (from chapter [http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci- debugger.html 2.5. The GHCi Debugger] in the GHC user's guide): {{{ qsort [] = [] qsort (a:as) = qsort left ++ [a] ++ qsort right where (left,right) = (filter (<=a) as, filter (>a) as) main = print (qsort [8, 4, 0, 3, 1, 23, 11, 18]) }}} I can't seem to load any other files (even in a different directory) when this error occurs. I have to restart GHCi in order for it to work correctly again. I usually trigger this error by typing ":c" and accidentally hitting enter instead of typing ":co" (":continue"). I'm not sure if it's related to #1650, which was fixed by commit [https://github.com/ghc/ghc/commit/e2782137c799a08711cac0844418cc0345a7ceb5 e2782137c7]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1620#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 27 May '14

27 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 9142 Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by bgamari): * blockedby: => 9142 Comment: As it turns out, the LLVM backend is currently broken due to #9142. This work will need to be delayed until this has been resolved and my symbol offset [http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-May/073235.html patches] have been merged. My [https://github.com/bgamari/ghc/tree/llvm-demangle llvm-demangle] branch contains what should be a workable implementation of TNTC, however. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 27 May '14

27 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): I've gone ahead and just used {{{pprTypeForUser}}} to also print the type in the {{{:kind!}}} command, without any modifications in {{{pprTypeForUser}}}. The second patch fixes just {{{:kind!}}} and I think it can also be cherry-picked for 7.8.3 as it is just a one line change that does not interfere with anything else. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:50> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7961: Remove restrictions on promoting GADT's
by GHC 27 May '14

27 May '14

#7961: Remove restrictions on promoting GADT's -------------------------------------+------------------------------------ Reporter: danharaj | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | 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: #6024 -------------------------------------+------------------------------------ Changes (by altaic): * cc: william.knop.nospam@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7961#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7269: GeneralizedNewtypeDeriving and PolyKinds
by GHC 26 May '14

26 May '14

#7269: GeneralizedNewtypeDeriving and PolyKinds -------------------------------------------------+------------------------- Reporter: dreixel | Owner: Type: bug | dreixel Priority: normal | Status: merge Component: Compiler | Milestone: Resolution: | 7.10.1 Operating System: Unknown/Multiple | Version: 7.6.1 Type of failure: None/Unknown | Keywords: Test Case: | Architecture: deriving/should_compile/T7269 | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by simonpj): Sorry, done -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7269#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7269: GeneralizedNewtypeDeriving and PolyKinds
by GHC 26 May '14

26 May '14

#7269: GeneralizedNewtypeDeriving and PolyKinds -------------------------------------------------+------------------------- Reporter: dreixel | Owner: Type: bug | dreixel Priority: normal | Status: merge Component: Compiler | Milestone: Resolution: | 7.10.1 Operating System: Unknown/Multiple | Version: 7.6.1 Type of failure: None/Unknown | Keywords: Test Case: | Architecture: deriving/should_compile/T7269 | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by nomeata): Please add the test case: {{{ <command line>: does not exist: T7269.hs *** unexpected failure for T7269(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7269#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7269: GeneralizedNewtypeDeriving and PolyKinds
by GHC 26 May '14

26 May '14

#7269: GeneralizedNewtypeDeriving and PolyKinds -------------------------------------------------+------------------------- Reporter: dreixel | Owner: Type: bug | dreixel Priority: normal | Status: merge Component: Compiler | Milestone: Resolution: | 7.10.1 Operating System: Unknown/Multiple | Version: 7.6.1 Type of failure: None/Unknown | Keywords: Test Case: | Architecture: deriving/should_compile/T7269 | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: new => merge * testcase: => deriving/should_compile/T7269 Comment: Fixed at last. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7269#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7269: GeneralizedNewtypeDeriving and PolyKinds
by GHC 26 May '14

26 May '14

#7269: GeneralizedNewtypeDeriving and PolyKinds -------------------------------------+------------------------------------ Reporter: dreixel | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.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 Simon Peyton Jones <simonpj@…>): In [changeset:"b1436f55da2b0e005ac09be6651a2c4d934027ec/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="b1436f55da2b0e005ac09be6651a2c4d934027ec" Fix yet another bug in 'deriving' for polykinded classes (Trac #7269) This patch makes the code a bit simpler if anything. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7269#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7961: Remove restrictions on promoting GADT's
by GHC 26 May '14

26 May '14

#7961: Remove restrictions on promoting GADT's -------------------------------------+------------------------------------ Reporter: danharaj | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | 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: #6024 -------------------------------------+------------------------------------ Changes (by jstolarek): * cc: jan.stolarek@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7961#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0