Issues · Glasgow Haskell Compiler / GHC

New issue

Coercion Variable Almost Devoid Checking in ForAllCo

#15757 · opened Oct 17, 2018 by Ningning Xie 5 Pnormal Trac import task
- CLOSED
- 3
updated Jul 07, 2019
hsc2hs broken due to incorrect argument passing to the hsc2hs executable

#15758 · opened Oct 17, 2018 by Ömer Sinan Ağacan 5 Pnormal Trac import bug
- CLOSED
- 8
updated Jul 07, 2019
pprFamInstLHS drops parentheses

#15761 · opened Oct 17, 2018 by Richard Eisenberg 8.6.2 5 Pnormal Trac import bug
- CLOSED
- 1
- 3
updated Jul 07, 2019
GHC panic from PolyKinds + DataKinds

#15764 · opened Oct 17, 2018 by Icelandjack 5 Pnormal Trac import bug
- CLOSED
- 1
updated Jul 07, 2019
Make the "extract" functions in RnTypes pure

#15765 · opened Oct 17, 2018 by Richard Eisenberg 5 Pnormal Trac import task
- CLOSED
- 2
updated Jul 07, 2019
GeneralizedNewtypeDeriving should support classes with ambiguous types

#15766 · opened Oct 17, 2018 by reinerp 5 Pnormal Trac import bug
- CLOSED
- 1
updated Jul 07, 2019
"StgCmmEnv: variable not found" with FunctionalDependencies and FlexibleContexts

#15767 · opened Oct 17, 2018 by roland 8.6.2 5 Pnormal Trac import bug compiler crash
- CLOSED
- 1
- 5
updated Jul 07, 2019
Using oneshot kqueue() on macOS

#15768 · opened Oct 18, 2018 by kazu-yamamoto 9.0.1 10 Pnormal Trac import bug core libraries macOS
- CLOSED
- 12
- 8
updated Sep 28, 2020
GHC 8.6 for macOS depends on homebrew

#15769 · opened Oct 18, 2018 by kazu-yamamoto 8.6.2 10 Phighest Trac import bug
- CLOSED
- 8
updated Jul 07, 2019
Could there be further refactoring to the `seq` typing rule

#15771 · opened Oct 18, 2018 by Arnaud Spiwack 5 Pnormal Trac import task
- CLOSED
- 1
updated Nov 23, 2019
Strange constraint error that disappears when adding another top-level declaration

#15772 · opened Oct 18, 2018 by Andres Löh 5 Pnormal Trac import bug typechecker
- CLOSED
- 14
updated Dec 26, 2020
Ordering of code in file affects compilation

#15777 · opened Oct 18, 2018 by chessai 8.6.2 5 Pnormal Trac import bug
- CLOSED
- 5
updated Jul 07, 2019
GHC HEAD-only panic (zonkTcTyVarToTyVar)

#15778 · opened Oct 18, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
ghc-8.4.4 failed to build on armv7 and aarch64

#15780 · opened Oct 19, 2018 by Jens Petersen 8.6.3 7 Phigh Trac import bug ghc build failure
- CLOSED
- 7
updated Jul 07, 2019
Extraneous parentheses required to parse kind signature on the RHS of a type synonym

#15781 · opened Oct 19, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug parser
- CLOSED
- 2
updated Jul 07, 2019
Quoting an internal variable causes an error when splicing

#15783 · opened Oct 19, 2018 by Matthew Pickering 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 5
updated Jul 07, 2019
GHC panic using kind application

#15787 · opened Oct 20, 2018 by Icelandjack 8.6.2 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 1
- 5
updated Jul 07, 2019
Core Lint error, from visible kind applications

#15788 · opened Oct 20, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 5
updated Jul 07, 2019
GHC panic using visible kind applications and a higher-rank kind

#15789 · opened Oct 20, 2018 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
updated Jul 07, 2019
typeKind confuses Type and Constraint

#15791 · opened Oct 22, 2018 by Richard Eisenberg 5 Pnormal Trac import bug
- CLOSED
- 6
updated Jul 07, 2019
TH reification prints invisible arguments to rank-2-kinded type as visible

#15792 · opened Oct 22, 2018 by Ryan Scott 8.8.1 5 Pnormal TemplateHaskell Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Type family doesn't reduce with visible kind application

#15793 · opened Oct 23, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 5
updated Jul 07, 2019
shell.nix depends on build artifacts

#15794 · opened Oct 23, 2018 by Vladislav Zavialov 5 Pnormal Trac import bug ghc build failure hadrian
- CLOSED
- 3
updated Jul 31, 2019
Core lint error with unused kind variable in data type return kind

#15795 · opened Oct 24, 2018 by Icelandjack 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 8
updated Jul 07, 2019
Core Lint error with invalid newtype declaration

#15796 · opened Oct 24, 2018 by Icelandjack 8.6.2 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 1
- 8
updated Jul 07, 2019
GHC panic using visible kind application

#15797 · opened Oct 24, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 2
updated Jul 07, 2019
Flag to warn when deriving strategy is not explicitly specified

#15798 · opened Oct 24, 2018 by Andrew Martin 8.8.1 5 Pnormal Trac import feature request newcomer
- CLOSED
- 5
updated Oct 06, 2019
GHC panic (and warnings)

#15799 · opened Oct 24, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import bug
- CLOSED
- 10
updated Jul 07, 2019
Overlapping instances error with single instance

#15800 · opened Oct 24, 2018 by roland 5 Pnormal Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
"ASSERT failed!" with visible kind applications

#15801 · opened Oct 24, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 5
updated Jul 07, 2019
Inlining of constant fails when both cross-module and recursive

#15802 · opened Oct 25, 2018 by j6carey 10 Phighest Trac import bug runtime perf
- CLOSED
- 7
updated Jul 07, 2019
GHC panic: data T :: (a :: k) -> *

#15804 · opened Oct 25, 2018 by Icelandjack 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 9
updated Jul 07, 2019
Bug in anyRewritableTyVar

#15805 · opened Oct 25, 2018 by Ningning Xie 5 Pnormal Trac import bug
- CLOSED
- 1
- 4
updated Jul 07, 2019
Impredicativity behavior in `:k` command in GHCi

#15806 · opened Oct 25, 2018 by Ningning Xie 8.6.2 5 Pnormal Trac import bug
- CLOSED
- 1
- 3
updated Jul 07, 2019
GHC panic with visible kind applications

#15807 · opened Oct 25, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 2
updated Jul 07, 2019
Loading libraries with FFI exports may cause segfaults in the compiler if they are loaded far from the rts in memory.

#15808 · opened Oct 25, 2018 by Andreas Klebinger 5 Pnormal Trac import Windows bug compiler crash linking
- CLOSED
- 5
- 27
updated Nov 14, 2020
Use level numbers for generalisation

#15809 · opened Oct 26, 2018 by Simon Peyton Jones 5 Pnormal Trac import bug
- CLOSED
- 2
- 9
updated Sep 19, 2019
Kind inference error in classes

#15810 · opened Oct 26, 2018 by Richard Eisenberg 5 Pnormal Trac import bug
- CLOSED
- 9
updated Jul 07, 2019
Comment out CONSTANT_FOLDED annotation for some GHC.Natural functions

#15811 · opened Oct 26, 2018 by darchon 8.6.2 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
add System.Mem.Address to base

#15812 · opened Oct 26, 2018 by Carter Schonwald 8.10.1 5 Pnormal Trac import bug core libraries feature request
- CLOSED
- 5
updated Jul 07, 2019
problem with splicing type into constraint

#15815 · opened Oct 27, 2018 by Bertram Felgenhauer 8.6.2 10 Phighest TemplateHaskell Trac import bug
- CLOSED
- 1
- 12
updated Jul 07, 2019
Visible kind applications + data family: `U :: Type' said to be of kind `k0 -> k1` in error message

#15816 · opened Oct 27, 2018 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications bug
- CLOSED
- 2
updated Jul 07, 2019
Data family quantification = GHC panic, ‘impossible’ happened

#15817 · opened Oct 27, 2018 by Icelandjack 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
Bump template-haskell version to 2.15.0.0

#15818 · opened Oct 27, 2018 by Ryan Scott 8.8.1 5 Pnormal TemplateHaskell Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
COMPLETE pragma not listed in GHC manual index

#15819 · opened Oct 28, 2018 by Richard Eisenberg 8.10.1 5 Pnormal Trac import bug documentation
- CLOSED
- 4
updated Jul 07, 2019
Implement more constant folding for Naturals

#15821 · opened Oct 28, 2018 by Ben Gamari 9.0.1 5 Pnormal Trac import ghc-bignum newcomer task
- CLOSED
- 1
- 9
updated Feb 10, 2021
Core Lint error from Explicit Foralls Proposal

#15825 · opened Oct 29, 2018 by Icelandjack 5 Pnormal Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Allow registering (Source)Plugins through the GHC API

#15826 · opened Oct 29, 2018 by DanielG 8.8.1 5 GHC API Pnormal Trac import feature request
- CLOSED
- 11
updated Jul 07, 2019
Explicit foralls in type family equations are pretty-printed inconsistently (and strangely, at times)

#15827 · opened Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies bug
- CLOSED
- 6
updated Jul 07, 2019
Type family equation foralls allow strange re-quantification of class-bound type variables

#15828 · opened Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies bug
- CLOSED
- 11
updated Jul 07, 2019
Add a test case for tricky type synonyms involving visible dependent kinds

#15829 · opened Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
DerivingVia allows bogus implicit quantification in `via` type

#15831 · opened Oct 29, 2018 by Ryan Scott 8.10.1 5 Pnormal Trac import bug deriving error messages
- CLOSED
- 2
- 17
updated Jul 26, 2019
genSym is not thread safe with respect to setNumCapabilities

#15834 · opened Oct 30, 2018 by Neil Mitchell 5 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Hadrian should build dynamically linked ghc binary

#15837 · opened Oct 30, 2018 by davide 5 Pnormal Trac import bug hadrian
- CLOSED
- 19
updated Jul 07, 2019
Warn about unused dependencies

#15838 · opened Oct 30, 2018 by Yuras 5 Pnormal Trac import feature request
- CLOSED
- 4
updated Mar 27, 2020
DerivingStrategies defaulting warning has no associated enable/suppress flag

#15839 · opened Oct 31, 2018 by Akhra Gannon 8.10.1 5 Pnormal Trac import bug deriving error messages newcomer
- CLOSED
- 5
updated Sep 25, 2019
Inline data constructor wrappers very late

#15840 · opened Oct 31, 2018 by Arnaud Spiwack 5 Pnormal Trac import feature request
- CLOSED
- 7
updated Jul 07, 2019
User's Guide section for Coercible links to a 404 page

#15841 · opened Nov 01, 2018 by koz_ 5 Pnormal Trac import bug documentation newcomer
- CLOSED
- 3
updated Jul 07, 2019
Tuple sections can't be quoted

#15843 · opened Nov 01, 2018 by Matthew Pickering 8.10.1 5 Pnormal TemplateHaskell Trac import bug newcomer
- CLOSED
- 15
- 12
updated Jul 07, 2019
Error fetching msys2 tarballs - crt-git

#15844 · opened Nov 02, 2018 by Viwor 5 Pnormal Trac import Windows bug ghc build failure
- CLOSED
- 1
- 2
updated Jul 07, 2019
TH eta-reduces away explicit foralls in data family instances

#15845 · opened Nov 02, 2018 by Ryan Scott 8.8.1 5 Pnormal TemplateHaskell Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
ghc builds cbits with -fPIC even when -fPIC is not passed to ghc on linux

#15848 · opened Nov 02, 2018 by Zejun Wu 8.8.1 5 Pnormal Trac import bug driver
- CLOSED
- 2
updated Jul 07, 2019
Error message: "Perhaps you need a let in a do block", when there is no do block.

#15849 · opened Nov 02, 2018 by cdsmith@twu.net 8.8.1 5 Pnormal Trac import bug newcomer
- CLOSED
- 3
- 2
updated Jul 07, 2019
Bad axiom produced for polykinded data family

#15852 · opened Nov 02, 2018 by Richard Eisenberg 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug
- CLOSED
- 7
updated Jul 07, 2019
Unregisterised GHC panics when building test cgrun018

#15853 · opened Nov 03, 2018 by Ilias Tsitsimpis 8.8.1 7 Phigh Trac import bug code generation compiler crash
- CLOSED
- 3
updated Jul 07, 2019
PPC: Panic in native code generator

#15854 · opened Nov 03, 2018 by Peter Trommler 8.8.1 5 Pnormal Trac import bug ghc build failure
- CLOSED
- 4
updated Jul 07, 2019
GhostScript not available for hp2ps tests

#15856 · opened Nov 03, 2018 by jrp2014 8.8.1 5 Pnormal Trac import bug incorrect runtime result testsuite
- CLOSED
- 5
updated Jul 07, 2019
Need for better warnings arising from StarIsType extension

#15857 · opened Nov 04, 2018 by jrp2014 3 Plow Trac import error messages feature request
- CLOSED
- 3
updated Jul 07, 2019
Enabling a pure Plugin with existing build output never triggers recompilation

#15858 · opened Nov 04, 2018 by DanielG 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Dependent quantification, GHC panic

#15859 · opened Nov 05, 2018 by Icelandjack 8.6.3 5 Pnormal Trac import TypeInType bug
- CLOSED
- 1
- 3
updated Jul 07, 2019
Hadrian build fails on FreeBSD

#15860 · opened Nov 05, 2018 by raichoo Make removal 5 Phigh Trac import bug compiler crash hadrian
- CLOSED
- 16
updated Mar 13, 2020
Cannot import (*) type operator

#15861 · opened Nov 05, 2018 by pgujjula 5 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Panic with promoted types that Typeable doesn't support

#15862 · opened Nov 05, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType Typeable bug compiler crash
- CLOSED
- 7
- 8
updated Feb 25, 2020
Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator

#15864 · opened Nov 05, 2018 by Ben Gamari 8.8.1 5 LLVM backend Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
libiserv's version number is hard-coded

#15866 · opened Nov 06, 2018 by Ryan Scott 8.6.3 5 Pnormal Trac import bug
- CLOSED
- 1
- 3
updated Sep 28, 2020
STG scope error

#15867 · opened Nov 06, 2018 by Csaba Hruska 5 Pnormal Trac import bug
- CLOSED
- 18
updated Jul 07, 2019
Discrepancy between seemingly equivalent type synonym and type family

#15869 · opened Nov 07, 2018 by Ryan Scott 5 Pnormal Trac import TypeFamilies bug typechecker visible dependent quantification
- CLOSED
- 14
updated Jul 07, 2019
No skolem info panic

#15870 · opened Nov 07, 2018 by sheaf 8.6.3 10 Phighest Trac import bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Revamp -fprint-explicit-kinds

#15871 · opened Nov 07, 2018 by Richard Eisenberg 8.8.1 5 Pnormal Trac import task
- CLOSED
- 6
updated Jul 07, 2019
Odd pretty printing of equality constraint in kind ('GHC.Types.Eq# <>)

#15872 · opened Nov 07, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType bug error messages
- CLOSED
- 5
- 11
updated Jul 07, 2019
move to llvm 7 for 8.8.1

#15873 · opened Nov 07, 2018 by george.colpitts 8.8.1 7 Phigh Trac import task
- CLOSED
- 3
updated Jul 07, 2019
Data families with higher-rank kinds

#15874 · opened Nov 07, 2018 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Detection of ranlib by binary distribution is broken

#15875 · opened Nov 08, 2018 by Ben Gamari 8.6.3 5 Pnormal Trac import bug
- CLOSED
- 1
- 1
updated Jul 07, 2019
--flavour=quick followed by --flavour=prof fails

#15877 · opened Nov 08, 2018 by Matthew Pickering Make removal 5 Pnormal Trac import bug hadrian
- CLOSED
- 3
updated Mar 13, 2020
Make UniqDSet a newtype

#15879 · opened Nov 09, 2018 by Sebastian Graf 8.6.3 5 Pnormal Trac import task
- CLOSED
- 2
updated Jul 07, 2019
GHC Panic: data A n (a :: n) :: a -> Type

#15881 · opened Nov 09, 2018 by Icelandjack 8.6.3 5 Pnormal Trac import TypeInType bug
- CLOSED
- 8
updated Jul 07, 2019
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · opened Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
Completeness of View Patterns With a Complete Set of Output Patterns

#15884 · opened Nov 09, 2018 by Shayan-Najd 8.6.3 5 Pnormal Trac import bug pattern match warnings
- CLOSED
- 2
- 3
updated Oct 12, 2019
Spurious warning about incomplete pattern with PatternSynonyms

#15886 · opened Nov 10, 2018 by selinger 8.6.3 5 Pnormal Trac import bug error messages
- CLOSED
- 5
updated Jul 07, 2019
Ideas for a better GHCi editing experience

#15887 · opened Nov 11, 2018 by Anchpop Research needed 7 Phigh Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Segmentation fault with ByteString

#15892 · opened Nov 14, 2018 by takano-akio 8.6.3 10 Phighest Trac import bug runtime crash
- CLOSED
- 14
updated Jul 07, 2019
View Patterns affect typechecking in an unpredictable manner

#15893 · opened Nov 14, 2018 by Varun Gandhi ⊥ 5 Pnormal Trac import ViewPatterns bug
- CLOSED
- 6
updated Jul 07, 2019
Cannot find symbol during interactive linking using new-repl on Windows

#15894 · opened Nov 14, 2018 by YellPika 8.6.3 5 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Unable to match instance signatures

#15895 · opened Nov 14, 2018 by Icelandjack 8.6.3 5 InstanceSigs Pnormal Trac import bug
- CLOSED
- 8
updated May 19, 2020
Negative MUT time in +RTS -s -RTS when heap profiling is enabled

#15897 · opened Nov 15, 2018 by Mitsutoshi Aoe 8.8.1 5 Pnormal Trac import bug debug information profiling
- CLOSED
- 1
- 12
updated Sep 28, 2020
Promoted type constructors don't print right in HsType

#15898 · opened Nov 15, 2018 by Simon Peyton Jones 8.6.3 5 Pnormal Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
Testcase tcfail158 is broken

#15899 · opened Nov 15, 2018 by Roland Senn 8.10.1 5 Pnormal Trac import bug testsuite
- CLOSED
- 7
updated Jul 07, 2019
Can't boot with GHC 8.6.2

#15900 · opened Nov 15, 2018 by Ömer Sinan Ağacan 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
dead symbol warning error in rts base

#15902 · opened Nov 15, 2018 by Carter Schonwald 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 1
updated Jul 07, 2019
Assertion failure in LDV profiler

#15903 · opened Nov 16, 2018 by Ömer Sinan Ağacan 5 Pnormal Trac import bug profiling
- CLOSED
- 5
- 7
updated Jan 22, 2021