March 2015 - ghc-tickets

Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas
by GHC 30 Mar '15

30 Mar '15

#4931: hsc2hs emits invalid OPTIONS_GHC pragmas -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: hsc2hs | Version: 7.0.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => newcomer Comment: See comment:5. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4931#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3699: Wildcards in type functions
by GHC 30 Mar '15

30 Mar '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: MartijnVanSteenbergen | Status: new Type: feature request | Milestone: 7.12.1 Priority: low | Version: 6.10.4 Component: Compiler (Type | Keywords: newcomer checker) | Architecture: Resolution: | Unknown/Multiple Operating System: Unknown/Multiple | Test Case: Type of failure: None/Unknown | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by jstolarek): I always imagined that `_` will be instantiated internally to a fresh type variable. This means that this feature would mostly affect the parser and renamer and by the time you reach the point when your example collision is checked (`FamInst.checkForConflicts`, called from `FamInst.checkFamInstConsistency`) the example code will look like: {{{#!hs type instance Testing (f :>: a_1234) = MyType f type instance Testing (a_5678 :>: g) = MyType g }}} where `a_1234` and `a_5678` are fresh type variables. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3699: Wildcards in type functions
by GHC 30 Mar '15

30 Mar '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: MartijnVanSteenbergen | Status: new Type: feature request | Milestone: 7.12.1 Priority: low | Version: 6.10.4 Component: Compiler (Type | Keywords: newcomer checker) | Architecture: Resolution: | Unknown/Multiple Operating System: Unknown/Multiple | Test Case: Type of failure: None/Unknown | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by dalaing): How would we resolve things like {{{#!hs type instance Testing (f :>: _) = MyType f type instance Testing (_ :>: g) = MyType g }}} and other such collisions? I'm pretty new to GHC - is there an existing resolution order from elsewhere that could be borrowed for this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10212: The testsuite cleans up hpc files, even if they are part of a test.
by GHC 30 Mar '15

30 Mar '15

#10212: The testsuite cleans up hpc files, even if they are part of a test. -------------------------------------+------------------------------------- Reporter: dalaing | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: hpc/T10138 | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Multiple validate runs start to fail hpc/T10138, since the .tix file and .hpc directory get cleaned up. It seems there are two options here - we could make the test generate the .tix file and .hpc directory as it runs, or we could add an option to the test driver to not clean those files up for certain tests. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10212> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9933: Cross-compile failure : Not in scope: ‘gcdInt'’
by GHC 29 Mar '15

29 Mar '15

#9933: Cross-compile failure : Not in scope: ‘gcdInt'’ -------------------------------------+------------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Building Blocked By: | GHC failed Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When cross-compiling from x86_64-linux to armhf-linux using the `quick- cross` setting from `mk/build.mk.sample` I get: {{{ libraries/base/GHC/Real.hs:28:25: Not in scope: ‘gcdInt'’ libraries/base/GHC/Real.hs:28:34: Not in scope: ‘gcdWord'’ }}} It turns out these functions are exported un-conditionally but are only defined within an `#ifdef`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9933> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #2168: ghci should show haddock comments for identifier
by GHC 29 Mar '15

29 Mar '15

#2168: ghci should show haddock comments for identifier -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * cc: Fuuzetsu (added) * priority: lowest => normal Comment: Adding Mateusz who may be able to contribute some comments, as I've been bugging him for some time already about adding the raw Haddock markup to `.hi` files... :-) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2168#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2168: ghci should show haddock comments for identifier
by GHC 29 Mar '15

29 Mar '15

#2168: ghci should show haddock comments for identifier -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.12.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by waern): * cc: hvr (added) * failure: => None/Unknown Comment: Like Igloo said, I think we should just add Haddock comments to the .hi files. We are already storing meta data in there such as annotations. Incidentally, if we do this then Haddock might also eventually be able to generate docs purely based on .hi files (useful in some cases). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2168#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10200: Documentation not built for base
by GHC 29 Mar '15

29 Mar '15

#10200: Documentation not built for base -------------------------------------+------------------------------------- Reporter: massysett | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.10.1 Documentation | Operating System: Unknown/Multiple Keywords: | Type of failure: Documentation Architecture: | bug Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- None of the modules from the base package appear in the documentation that shipped with the binary distribution. I am looking at share/doc/ghc/html/libraries/index.html and no modules from base are in there. This is the binary distribution for 64-bit Linux that I downloaded from haskell.org, although I also had this same problem when I built rc3 from source using GHC 7.8 on Mac OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10200> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10198: Build failure on Solaris/SPARC due to misaligned data access (bus error)
by GHC 28 Mar '15

28 Mar '15

#10198: Build failure on Solaris/SPARC due to misaligned data access (bus error) -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Solaris Architecture: sparc | Type of failure: Building GHC Test Case: | failed Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- Building of GHC 7.10.1 fails on Solaris/SPARC platform with: {{{ "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -hide-all-packages -i -iutils/haddock/driver -iutils/haddock/haddock-api/src -iutils/haddock/haddock- library/vendor/attoparsec-0.12.1.1 -iutils/haddock/haddock-library/src -iutils/haddock/dist/build -iutils/haddock/dist/build/autogen -Iutils/haddock/dist/build -Iutils/haddock/dist/build/autogen -optP- DIN_GHC_TREE -optP-include -optPutils/haddock/dist/build/autogen/cabal_macros.h -package-key Cabal_HWT8QvVfJLn2ubvobpycJY -package-key array_FaHmcBFfuRM8kmZLEY8D5S -package-key base_I5BErHzyOm07EBNpKBEeUv -package-key bytes_6vj5EoliHgNHISHCVCb069 -package-key conta_47ajk3tbda43DFWyeF3oHQ -package-key deeps_FpR4obOZALU1lutWnrBldi -package-key direc_3TcTyYedch32o1zTH2MR00 -package-key filep_5HhyRonfEZoDO205Wm9E4h -package-key ghc_IS8uiRKDTo1CRjcMAZsBb8 -package-key trans_ALYlebOVzVI4kxbFX5SGhm -package-key xhtml_0mVDYvYGgNUBWShvlDofr1 -funbox-strict-fields -Wall -fwarn-tabs -O2 -XHaskell2010 -no-user- package-db -rtsopts -odir utils/haddock/dist/build -hidir utils/haddock/dist/build -stubdir utils/haddock/dist/build -c utils/haddock/haddock- library/vendor/attoparsec-0.12.1.1/Data/Attoparsec/Number.hs -o utils/haddock/dist/build/Data/Attoparsec/Number.dyn_o gmake[1]: *** [utils/haddock/dist/build/Data/Attoparsec/Number.dyn_o] Bus Error (core dumped) gmake: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10198> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10203: Weak inference when using rank-2 types and type families.
by GHC 27 Mar '15

27 Mar '15

#10203: Weak inference when using rank-2 types and type families. -------------------------------------+------------------------------------- Reporter: diatchki | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Type inference does work as expected, when a rank-2 type has type-family constraint. Consider the following program: {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE Rank2Types #-} type family F a f :: (forall s. (F s ~ Int) => s -> b) -> b f _ = undefined k :: s -> Char k = undefined example :: Bool example = const True (f k) }}} It is rejected with the following error: {{{ Couldn't match type ‘b0’ with ‘Char’ ‘b0’ is untouchable inside the constraints (F s ~ Int) bound by a type expected by the context: (F s ~ Int) => s -> b0 at bug.hs:13:23-25 Expected type: s -> b0 Actual type: s -> Char In the first argument of ‘f’, namely ‘k’ In the second argument of ‘const’, namely ‘(f k)’ }}} This is unexpected because the result of `f` should be the same as the result of its parameter, and we know the exact type of the parameter, namely `Char`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10203> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1