- ghc-tickets - Haskell.org

[GHC] #11563: fvProv falls into a hole (instead of detecting missing type argument) (regression from -rc1 to -rc2)
by GHC 18 Feb '16

18 Feb '16

#11563: fvProv falls into a hole (instead of detecting missing type argument) (regression from -rc1 to -rc2) -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This program has an error (T is missing an argument) {{{ data T a ; class C t ; instance C s => C T }}} which makes 8-rc2 fall into a hole: {{{ /opt/ghc/ghc-8.0.0.20160204/bin/ghc -c Bug.hs ghc: panic! (the 'impossible' happened) (GHC version 8.0.0.20160204 for x86_64-unknown-linux): fvProv falls into a hole {ap6} }}} It is detected by 8-rc1: {{{ /opt/ghc/ghc-8.0.0.20160111/bin/ghc -c Bug.hs Bug.hs:1:40: error: • Illegal instance declaration for ‘C T’ (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use FlexibleInstances if you want to disable this.) • In the instance declaration for ‘C T’ Bug.hs:1:42: error: • Expecting one more argument to ‘T’ Expected a type, but ‘T’ has kind ‘* -> *’ • In the first argument of ‘C’, namely ‘T’ In the instance declaration for ‘C T’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11563> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11362: T6137 doesn't pass with reversed uniques
by GHC 18 Feb '16

18 Feb '16

#11362: T6137 doesn't pass with reversed uniques -------------------------------------+------------------------------------- Reporter: niteria | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It fails with (full trace https://phabricator.haskell.org/P81) {{{ *** Core Lint errors : in result of Tidy Core *** <no location info>: warning: [in body of lambda with binder dt_a18nYf :: In f_a18o2M (Sum1 r_a18o2L (In ('F f_a18o2M) r_a18o2L)) o_a18o2K] Kind application error in coercion ‘Sym (TFCo:R:InioFro[0] <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N <o_a18o2K>_N’ Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> * Arg kinds = [(o_a18o2K, o_a18nYC)] <no location info>: warning: [in body of lambda with binder dt_a18nYf :: In f_a18o2M (Sum1 r_a18o2L (In ('F f_a18o2M) r_a18o2L)) o_a18o2K] Kind application error in coercion ‘Sym (TFCo:R:InioFro[0] <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N <o_a18o2K>_N’ Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> * Arg kinds = [(o_a18o2K, o_a18nYC)] }}} Steps to reproduce: 1. Add line `TEST_HC_OPTS += -dinitial-unique=16777000 -dunique-increment=-1` after line `TEST_HC_OPTS = -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-$(GhcPackageDbFlag) -rtsopts $(EXTRA_HC_OPTS)` in `mk/test.mk` 2. `make TESTS=T6137` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11362> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #11590: Typo in documentation
by GHC 18 Feb '16

18 Feb '16

#11590: Typo in documentation -------------------------------------+------------------------------------- Reporter: | Owner: mark_christiaens | Type: bug | Status: new Priority: lowest | Milestone: Component: Documentation | Version: 8.0.1-rc2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In "6.9. Packages" under "-trust" it says: "This command functions in the in a very similar way to ...". Should become "This command functions in a very similar way to ..." -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11590> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11576: renamer discards name location for HsRecField
by GHC 18 Feb '16

18 Feb '16

#11576: renamer discards name location for HsRecField -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When renaming a `HsVar` it can be converted to a `HsRecField`. In the process the location of the enclosed name is converted to a `noLoc` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11576> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11148: T9563 doesn't pass with reversed uniques
by GHC 18 Feb '16

18 Feb '16

#11148: T9563 doesn't pass with reversed uniques -------------------------------------+------------------------------------- Reporter: niteria | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It fails with {{{ T9563.hs:18:1: error: • Can't make a derived instance of ‘Generic1 (G Int b Float)’: No family instance for ‘G Int b Float’ • In the stand-alone deriving instance for ‘Generic1 (G Int b Float)’ }}} Steps to reproduce: 1. Change line `TEST_HC_OPTS = -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-$(GhcPackageDbFlag) -rtsopts $(EXTRA_HC_OPTS)` to `TEST_HC_OPTS = -dinitial-unique=16777206 -dunique-increment=-1 -fforce- recomp -dcore-lint -dcmm-lint -dno-debug-output -no- user-$(GhcPackageDbFlag) -rtsopts $(EXTRA_HC_OPTS)` in `mk/test.mk` 2. `make TESTS=T9563` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11148> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #11313: Awkward error message "Expecting one fewer argument to ‘*’"
by GHC 18 Feb '16

18 Feb '16

#11313: Awkward error message "Expecting one fewer argument to ‘*’" -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The first error below has a strange first line. Admittedly the input is nonsense, but as `*` has no arguments, according to the March Hare, it can't have one fewer argument. Note that the second error does not contain this problematic line. {{{ rwbarton@morphism:/tmp$ ~/ghc-newest/inplace/bin/ghc-stage2 --interactive GHCi, version 7.11.20151228: http://www.haskell.org/ghc/ :? for help Prelude> import Data.Kind Prelude Data.Kind> :set -XTypeApplications Prelude Data.Kind> :t fmap @ (*) <interactive>:1:8: error: • Expecting one fewer argument to ‘*’ Expected kind ‘* -> *’, but ‘*’ has kind ‘*’ • In the type ‘*’ In the expression: fmap @* Prelude Data.Kind> :t fmap @ Int <interactive>:1:8: error: • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’ • In the type ‘Int’ In the expression: fmap @Int }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11313> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11246: Regression typechecking type synonym which includes `Any`.
by GHC 18 Feb '16

18 Feb '16

#11246: Regression typechecking type synonym which includes `Any`. -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ module Foo where import GHC.Exts type Key a = Any }}} produces the error message on HEAD but compiles on 7.8.3 and 7.10.1 (thanks to Reid for testing). {{{unsafeany.hs:5:1: error: • The type family ‘Any’ should have no arguments, but has been given none • In the type synonym declaration for ‘Key’ Failed, modules loaded: none. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11246> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #11241: Kind-level PartialTypeSignatures causes internal error
by GHC 18 Feb '16

18 Feb '16

#11241: Kind-level PartialTypeSignatures causes internal error -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Consider the following module: {{{#!hs {-# LANGUAGE ExplicitForAll, KindSignatures, PartialTypeSignatures #-} foo :: forall (a :: _) . a -> a foo = id }}} In HEAD, this fails with an internal errror: {{{ • GHC internal error: ‘_’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] • In the kind ‘_’ In the type signature: foo :: forall (a :: _). a -> a }}} I would expect it to succeed and figure out that the wildcard is `*`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11241> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #8022: Outdated documentation for the -fwarn-lazy-unlifted-bindings warning
by GHC 18 Feb '16

18 Feb '16

#8022: Outdated documentation for the -fwarn-lazy-unlifted-bindings warning -------------------------------------+------------------------------------- Reporter: asr | Owner: thoughtpolice Type: bug | Status: closed Priority: highest | Milestone: 8.0.1 Component: Documentation | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 7.10.1 => 8.0.1 Comment: Merged to `ghc-8.0` as 2a9fce0eba4f0ef06de79a458bffbccc87aacac5. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8022#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11413: GHC 8.1.20160111 fails to bootstrap itself.
by GHC 18 Feb '16

18 Feb '16

#11413: GHC 8.1.20160111 fails to bootstrap itself. -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Core | Version: 8.1 Libraries | Keywords: | Operating System: Solaris Architecture: x86 | Type of failure: Building GHC | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hello, bootstrapping GHC HEAD with HEAD is broken. The failure looks like: {{{ libraries/binary/src/Data/Binary/Builder/Base.hs:67:0: error: missing binary operator before token "(" libraries/binary/src/Data/Binary/Builder/Base.hs:114:0: error: missing binary operator before token "(" libraries/binary/src/Data/Binary/Builder/Base.hs:123:0: error: missing binary operator before token "(" `gcc' failed in phase `C pre-processor'. (Exit code: 1) gmake[1]: *** [utils/ghc-cabal/dist/build/tmp/ghc-cabal] Error 1 gmake: *** [all] Error 2 }}} I'm setting highest prio on this (as I feel) so lower this if you like. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11413> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10