December 2014 - ghc-tickets

Re: [GHC] #2986: :info printing instances often isn't wanted
by GHC 08 Dec '14

08 Dec '14

#2986: :info printing instances often isn't wanted -------------------------------------+------------------------------------- Reporter: Remi | Owner: Remi Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.10.1 Component: GHCi | Keywords: :info instances 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 Remi): Thanks for reminding that I want this feature, hvr :) I had an unexpected day off work and decided to finally dig up and work a bit on that patch: {{{ Prelude> :info Maybe Monad data Maybe a = Nothing | Just a -- Defined in ‘GHC.Base’ Use `:instances Maybe' to see its 10 instance(s) class Applicative m => Monad (m :: * -> *) where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a fail :: String -> m a -- Defined in ‘GHC.Base’ Use `:instances Monad' to see its 5 instance(s) }}} And for instances: {{{ Prelude> :instances Maybe Monad instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’ instance Monad Maybe -- Defined in ‘GHC.Base’ instance Functor Maybe -- Defined in ‘GHC.Base’ instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’ instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’ instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ instance Applicative Maybe -- Defined in ‘GHC.Base’ instance Foldable Maybe -- Defined in ‘Data.Foldable’ instance Traversable Maybe -- Defined in ‘Data.Traversable’ instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’ instance Monad (Either e) -- Defined in ‘Data.Either’ instance Monad [] -- Defined in ‘GHC.Base’ instance Monad Maybe -- Defined in ‘GHC.Base’ instance Monad IO -- Defined in ‘GHC.Base’ instance Monad ((->) r) -- Defined in ‘GHC.Base’ }}} {{{ Prelude> :instances! Monad instance Monad Data.Functor.Identity.Identity -- Defined in ‘Data.Functor.Identity’ instance Monad Data.Monoid.Last -- Defined in ‘Data.Monoid’ instance Monad Data.Monoid.First -- Defined in ‘Data.Monoid’ instance Monad f => Monad (Data.Monoid.Alt f) -- Defined in ‘Data.Monoid’ instance Monad Text.ParserCombinators.ReadPrec.ReadPrec -- Defined in ‘Text.ParserCombinators.ReadPrec’ instance Monad (GHC.ST.ST s) -- Defined in ‘GHC.ST’ instance Control.Arrow.ArrowApply a => Monad (Control.Arrow.ArrowMonad a) -- Defined in ‘Control.Arrow’ instance Monad m => Monad (Control.Applicative.WrappedMonad m) -- Defined in ‘Control.Applicative’ instance Monad Data.Proxy.Proxy -- Defined in ‘Data.Proxy’ instance Monad Text.ParserCombinators.ReadP.ReadP -- Defined in ‘Text.ParserCombinators.ReadP’ instance Monad Text.ParserCombinators.ReadP.P -- Defined in ‘Text.ParserCombinators.ReadP’ instance Monad (Either e) -- Defined in ‘Data.Either’ instance Monad [] -- Defined in ‘GHC.Base’ instance Monad Maybe -- Defined in ‘GHC.Base’ instance Monad IO -- Defined in ‘GHC.Base’ instance Monad ((->) r) -- Defined in ‘GHC.Base’ instance Data.Typeable.Internal.Typeable Monad -- Defined in ‘Data.Typeable.Internal’ }}} What it doesn't support is at least: {{{ Prelude> :set -XDataKinds Prelude> :instances Just `Just' is not a type or class Prelude> :instances 'Just <interactive>:1:1: parse error on input ‘'’ Prelude> :k 'Just 'Just :: k -> Maybe k Prelude> :k Just Just :: k -> Maybe k }}} However, :info doesn't support it either, so I don't think that's that much of an issue right now: {{{ Prelude> :info 'Just <interactive>:1:1: parse error on input ‘'’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2986#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9871: Template Haskell declaration splice causes subsequent declarations to fall out of scope
by GHC 08 Dec '14

08 Dec '14

#9871: Template Haskell declaration splice causes subsequent declarations to fall out of scope -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: GHC Blocked By: | rejects valid program Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When using Template Haskell to splice in {{{instance}}} declarations, it is possible to cause identifiers following it to fall out of scope: {{{#!hs -- DeriveJSON.hs {-# LANGUAGE TemplateHaskell #-} module DeriveJSON where import Data.Aeson.TH data ADT = ADT instance Show ADT where show = adtFun $(deriveJSON defaultOptions ''ADT) adtFun :: ADT -> String adtFun = undefined }}} {{{ghc DeriveJSON.hs}}} gives the following error: {{{ [1 of 1] Compiling DeriveJSON ( DeriveJSON.hs, DeriveJSON.o ) DeriveJSON.hs:10:18: Not in scope: ‘adtFun’ }}} Since {{{deriveJSON}}} simply returns a {{{Q [Dec]}}}, I don't see why this code shouldn't compile as is. I can find two workarounds at the moment: * Move the {{{instance Show ADT}}} declaration after the {{{$(deriveJSON defaultOptions ''ADT)}}} line. * Move the {{{$(deriveJSON defaultOptions ''ADT)}}} line after the {{{adtFun}}} function declaration. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9871> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5850: Greater customization of GHCi prompt
by GHC 08 Dec '14

08 Dec '14

#5850: Greater customization of GHCi prompt -------------------------------------+------------------------------------- Reporter: | Owner: jlengyel JamesFisher | Status: patch Type: feature | Milestone: 7.12.1 request | Version: 7.4.1 Priority: normal | Keywords: newcomer Component: GHCi | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D559 | -------------------------------------+------------------------------------- Changes (by hvr): * milestone: 7.10.1 => 7.12.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5850#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9808: Add data-dir to InstalledPackageInfo
by GHC 08 Dec '14

08 Dec '14

#9808: Add data-dir to InstalledPackageInfo -------------------------------------+------------------------------------- Reporter: luite | Owner: luite Type: task | Status: new Priority: normal | Milestone: 7.10.1 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: -------------------------------------+------------------------------------- Currently, the data directory of a package is not stored in the package database. This is fine for programs produced by GHC, where programs know the location of their own data files through the `Paths_packagename` module, but it's not sufficient for programs that do not have direct access to the local filesystem. Programs produced by GHCJS should be able to load their data files over HTTP. If GHCJS would know the `data-dir` location of all packages, it could make the data files for all dependencies available when linking, and generate a `FilePath -> URI` mapping table. The best it can currently do is making all files on the hard drive available. I have a patch for this that I'll submit once I've figured out how Phabricator works ;) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9808> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7015: Add support for 'static'
by GHC 07 Dec '14

07 Dec '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.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: Phab:D550 | -------------------------------------+------------------------------------- Changes (by facundo.dominguez): * status: new => patch * differential: Phab:D119 => Phab:D550 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2522: Warning for missing export lists
by GHC 07 Dec '14

07 Dec '14

#2522: Warning for missing export lists -------------------------------------+------------------------------------- Reporter: tim | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.8.3 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 NeilMitchell): Yes, HLint could do that. The Standard Chartered Haskell compiler already warns about missing export lists, and then if you really want to omit the export list you use the module export syntax Ian suggested above. The warning also emits what the export list should be to keep exporting everything, which is a handy feature. I suspect this fits better as a GHC warning (it seems sufficiently like the other existing warnings), but I'd certainly accept an HLint patch, and then perhaps remove it if it was ever added to GHC. If GHC is likely to punt on this warning for the foreseeable future, please raise an HLint ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2522#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5850: Greater customization of GHCi prompt
by GHC 07 Dec '14

07 Dec '14

#5850: Greater customization of GHCi prompt -------------------------------------+------------------------------------- Reporter: | Owner: jlengyel JamesFisher | Status: patch Type: feature | Milestone: 7.10.1 request | Version: 7.4.1 Priority: normal | Keywords: newcomer Component: GHCi | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D559 | -------------------------------------+------------------------------------- Changes (by jlengyel): * status: new => patch * differential: => Phab:D559 Comment: With this change, the :set prompt command will take an expression of type [String] -> Int -> IO String, and apply it with the current list of imports and current line number to generate the GHCi prompt. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5850#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9869: Add new notation for negative numbers when using -XNegativeLiterals
by GHC 06 Dec '14

06 Dec '14

#9869: Add new notation for negative numbers when using -XNegativeLiterals -------------------------------------+------------------------------------- Reporter: bg_ | Owner: Type: feature request | Status: new Priority: low | 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: -------------------------------------+------------------------------------- I propose that when using -XNegativeLiterals ghc should also read ~123 as a negative literal. SML uses ~ as the unary minus it, so it's not completely out of the blue. The reason would be to minimize ambiguity. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9869> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #5966: getAppUserDataDirectory does not respect XDG specification
by GHC 06 Dec '14

06 Dec '14

#5966: getAppUserDataDirectory does not respect XDG specification -------------------------------------+------------------------------------- Reporter: ordcoder | Owner: ekmett Type: bug | Status: upstream Priority: normal | Milestone: 7.12.1 Component: Core | Version: 7.4.1 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: result at runtime | Test Case: | Blocking: 6077 | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * milestone: 7.10.1 => 7.12.1 Comment: There's still unresolved issues on how to properly address this one. Better punt this to milestone:7.12.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5966#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9859: Implement `calloc{,Bytes,Array,Array0}` allocators
by GHC 06 Dec '14

06 Dec '14

#9859: Implement `calloc{,Bytes,Array,Array0}` allocators -------------------------------------+------------------------------------- Reporter: ifesdjeen | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.8.3 Keywords: ffi | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: D527 -------------------------------------+------------------------------------- Add zero-initialising versions of malloc{,Bytes,Array,Array0} * Add calloc and callocBytes to Foreign.Marshal.Alloc. * Add callocArray and callocArray0 to Foreign.Marshal.Array. Implemented in revision: [https://phabricator.haskell.org/D527] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9859> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3