Open
Milestone
8.12.1
Unstarted Issues (open and unassigned)
107
- Compiling pandoc-2.9.2.1 on GHC HEAD panics (applyTypeToArgs)
- Core Lint error when compiling singletons (HEAD only), possibly due to nested foralls
- Ord1 instance for Down is broken
- 8.8.1 regression: Combining -prof and -optP-traditional breaks
- LLVM Backend generates invalid assembly.
- Minor code refactoring leads to drastic performance degradation
- Significant compilation time regression between 8.4 and HEAD due to coverage checking
- ranlib segfaults when building libffi on i386 Windows
- Cannot compile with `make` and `WERROR`
- Validation issues on Darwin due to hsc2hs tests
- ghci temporary shared objects don't include -L paths in rpath
- PM check time regression in 8.10-rc1
- -ddump-rn-ast and -ddump-tc-ast not working in ghci?
- TH constraint solver change will break significant portions of Hackage.
- `word2Double#` does not match `doubleFromInteger` for large values
- updateNurseryStats is racy
- Logging of "heap allocated" events is racy
- GHC 8.6.5 is quite a bit larger on aarch64 than x86
- hDuplicateTo001 fragile under CI
- Segmentation fault in retainer profiler
- ffi018_ghci fails when unregisterised
- ghc-8.6 fails to build on unregisterised: ‘stg_MUT_ARR_PTRS_FROZEN0_info’ undeclared (first use in this function); did you mean ‘stg_MUT_ARR_PTRS_FROZEN_DIRTY_info’?
- Performance regression in for_ alternatives from GHC 8.2.2 to newer GHCs
- Significant compilation time blowup when refactoring singletons-heavy code
- Take exhaustiveness checking into consideration when using MonadFailDesugaring
- Provide the provenance of unification variables in error messages when possible
- Valid hole fits and GADT type variable names
- Test Suite Unexpected failure for ghci062(ghci-ext)
- Error message involving type families points to wrong location
- Performance regression when using the GHC API to evaluate code compared to 8.4
- Can't build `prof`-flavour with `-fauto-all`
- Error message mentions Any
- add -Wname-shadowing and -Wunused-pattern-binds to the default warnings for ghci
- Template Haskell creates System names when it shouldn't
- fixST for lazy ST is a bit wrong
- Wredundant-constraints does not work when constraint synonym is used
- Memory usage when compiling jsaddle-dom exploded in 8.4.3
- Make nofib-style anaysis for perf/compiler
- DerivingVia (and perhaps even GND) works badly with DeriveGeneric
- Internal error with PartialTypeSignatures and TH
- GHC does not warn when two conflicting packages with same name are given via a dependent package and -package-db
- executable with library and template haskell doesn't compile statically
- Performance drop 60 times on non-profiling binary
- Higher rank types in pattern synonyms
- Quantified constraints half-work with equality constraints
- The settings and behaviour of idle GC are very confusing
- Maybe ghc-pkg register should unregister packages with "incompatible" signatures
- -Wall-missed-specialisations warnings not fatal with -Werror
- GHC reports missing INLINABLE pragmas in vector and ghc-prim
- heapprof001 segfaults in prof_hc_hb way on i386
- GHC determine illegal kind for standalone deriving with Deriving via
- GHC.Exts.Heap.getClosureData doesn't return the payload for AP_STACK
- GHC.Conc.Windows has a surprising queue
- Fix performance regressions from #14737
- 2-fold memory usage regression GHC 8.2.2 -> GHC 8.4.1 compiling `mmark` package
- GHCi fails to garbage collect declaration `l = length [1..10^8]` entered at prompt
- Performance regression (~34%) in 8.2.1, poor register allocation(?) in an inner loop over an array
- Exponential compilation time with RWST & ReaderT stack with `-02`
- Type/data family instances in kind checking
- unfolding info as seen when building a module depends on flags in a previously-compiled module
- switch -msse2 to be on by default
- Deriving Generic of a big type takes a long time and lots of space
- Deprecate and remove -Wmissing-monadfail-instances
- Document -i RTS option
- Document how to write a pattern synonym that uses a view pattern
- Add list singleton function
- "unable to commit memory" is rarely a compiler bug, update the error message
- Implement the Linear Types proposal
- Refactor NewHsTypeX to DerivedCoreTy
- Check if some auto apply code is dead and remove if appropriate.
- The docs for Unsafe.Coerce should recommend using Data.Coerce instead
- Why both gen and gen_no in bdescr?
- Every implication should bump the TcLevel exactly once
- Write documentation for iserv-proxy
- Use TcLevels to decide about floating out of implications
- Split up glasgow_exts.rst
- Data.Bits.testBit should use tagToEnum#
- Migrate GHC utility parsing functions from ghc-exactprint to GHC API
- Configure per package
- Link rts symbols weakly
- Optimize dataToTag# for small constructor families.
- Add Eq1/Ord1/Read1/Show1 instances to newtypes in Data.Semigroup
- Improve the worst case performance of weak pointers
- When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!
- Unify unlifted pointer equality primitives
- Allow associated types in Minimal pragmas
- Qualified Holes
- ghc -M requires -dep-suffix for no good reason
- Record projections with ambiguous types
- Machine accessible interface to GHCi
- [GHCi] Add an option to make tab completion case-insensitive
- Allow execution of stage2 compiler to happen later
- There should be a flag for GHCi that tells it to load as many modules as possible
- Compact Regions with Lazy Evaluation
- Make StaticPtr (more) robust to code changes and recompilation
- GHC doesn't come with dynamic object files/libraries compiled with profiling
- Inconsistency in parsing trailing commas inside import section
- Replace the atomicModifyMutVar# primop
- no way to talk about unpacking sum types / unpacking tuples
- Extend TVar/MVar to N capacity / Add primitive channel type
- Allow inline pragmas on pattern synonyms
- Field selector types bungle the order (and specificites) of type variables
- -ddump-deriv doesn't display promoted data constructors correctly
- Make TTG extension constructor fields strict to avoid noExtCon boilerplate
- Hadrian does not track package db cache
- Something is fishy with byte arrays on big endian systems
- Package imports can cause linker errors
Ongoing Issues (open and assigned)
45
- `Bytes` and `mkBytes` needs to be reconsidered
- Hadrian appears to link against libffi unconditionally
- Follow-ups to D5169
- The well-kinded type invariant (in TcType)
- Implement with# primop
- vector test suite uses excessive memory on GHC 8.2
- hDuplicateTo001 crash in profthreaded way
- `Any` appearing in a quantified constraint
- Potentially problematic data race in scheduler
- runghc HelloWorld.hs is quite slow
- Both `Ptr a` in SerializedCompact are inaccurate because of the `a`
- SerializedCompact has a [(Ptr a, Word)] instead of a custom datatype
- ghci takes super long time to find the type of large fractional number
- Full laziness destroys opportunities for join points
- interpreter: sequence_ (replicate 100000000 (return ())) gobbles up memory
- GHC takes up huge amount of memory when compiling accelerate 1.2.0
- GHC and iserv cannot agree on what an Integer is; insanity ensues
- Runtime performance regression with binary operations on vectors
- GHC HEAD's ghc-stage1 panics on Data.Typeable.Internal
- Common Block Elimination pass doesn't eliminate common blocks
- Bad monads performance
- typePrimRep panic while compiling GHC with profiling
- Export Word32#, Word64# on all architectures
- Entered absent arg in a Repa program
- TypeFamilies painfully slow
- Compilation results are not deterministic
- :break command should recognize also nonexported top level symbols in qualified IDs
- Try moving to LLVM toolchain on Windows
- Fix CI for i386 Windows
- Bump text submodule
- Indirect branches followed by data are bad
- Parse Haddock comments outside of Parser.y
- Large bump in T13701 metrics on x86_64-deb9-dwarf
- Break up glasgow_exts.rst
- Refactor Ct and friends
- Remove SPARC NCG backend?
- Clean up TrivColorable
- Selectively reduce optimisation level in GHC build
- Update the "disjointX" variants to use IntMap.disjoint
- Stabilize AArch64 support
- Ship check-ppr in bindist and compile during testsuite run
- Extend -Wall with incomplete-uni-patterns and incomplete-record-updates
- Combine STG free variable traversals.
- Very poor code generation for CoreUnfold.callSiteInline
- T13676 is broken on Darwin and Windows
Completed Issues (closed)
32
- "GHC.StgToCmm.Env: variable not found" panic when compiling with -fobject-code (HEAD only)
- Poly-kinded rewrite rule fails to typecheck (HEAD only)
- HEAD-only panic (coVarKindsTypesRole, non coercion variable) with -O2 and -dcore-lint
- Consistent segfault when compiled program is executed
- Links to (some) haddocks in users guide broken
- GHC Panic with levity polymorphism
- interruptible file open
- Panic with overloaded quotations
- GhcThreaded is broken and not supported by Hadrian
- Hadrian doesn't reconfigure packages upon change of Cabal Setup arguments
- TH quotes drop local fixity declarations
- saks028 is broken on Windows
- Weird error spans in patterns
- OccurAnal should not break the linter assumptions
- Using oneshot kqueue() on macOS
- Calling hs_try_putmvar from an unsafe foreign call can cause the RTS to hang
- Cut an STM release
- Warning about __sync_fetch_and_nand semantics from gcc
- bang patterns with infix ops
- Split up coercionKind
- Create Wiki page summarizing state of CAF rework
- compiler/rename/RnExpr.hs uses mkVarOccUnique
- IsList instance for ZipList
- show breakpoint locations of breakpoints which were ignored during :force
- Sufficiently higher-rank record selectors fail to typecheck
- Hadrian should disable GHC's colour output when using --no-colour
- Master is broken using hadrian and 8.10
- Changelog/@since information for hGetContents'/getContents'/readFile' is inaccurate
- Code generated by GND/DerivingVia should use InstanceSigs
- Refactor DeriveFunctor to handle rank-n field types better
- liftData should use Quote, not Q
- Using type families in data types' return kinds leads to GHC panics and Core Lint errors