Discussions

• 3 You must be logged in to vote

  💬

  Which GHC features are experimental?

  adamgundry started Jan 27, 2024 in General

  

  

  

  

  44
• 1 You must be logged in to vote

  💡

  Absurd patterns

  JakobBruenker started May 7, 2021 in Ideas

  

  

  

  

  22
• 4 You must be logged in to vote

  💡

  A compact internal representation for record accessors

  gbaz started Dec 6, 2021 in Ideas

  

  

  

  

  16
• 4 You must be logged in to vote

  💡

  Deprecating _source_ of an imported module.

  gbaz started Feb 24, 2022 in Ideas

  

  

  

  

  16
• 2 You must be logged in to vote

  💬

  Should plugins be in scope of the ghc-proposals process?

  adamgundry started Nov 3, 2022 in General

  

  

  

  

  2
• 3 You must be logged in to vote

  💡

  Syntactic distinction for OverloadedRecordUpdate?

  adamgundry started May 12, 2022 in Ideas

  

  

  

  

  12
• 7 You must be logged in to vote

  💬

  [Question/Suggestion] Partial record access with RecordDotSyntax

  googleson78 started Nov 19, 2021 in General

  

  

  

  

  10
• 4 You must be logged in to vote

  💡

  Named-only fields

  Ericson2314 started Jun 5, 2022 in Ideas

  

  

  

  

  28
• 1 You must be logged in to vote

  💡

  Explicit constraint terms, for complex quantified constraints

  Ericson2314 started Dec 2, 2021 in Ideas

  

  

  3
• 3 You must be logged in to vote

  💡

  Warnings vs errors vs extensions vs flags

  goldfirere started Apr 19, 2022 in Ideas

  

  

  

  

  4
• 2 You must be logged in to vote

  💡

  type CString# = Addr#

  JakobBruenker started Mar 29, 2022 in Ideas

  

  

  6
• 5 You must be logged in to vote

  💡

  Promotion of data families

  int-index started Nov 6, 2021 in Ideas

  

  

  

  

  3
• 2 You must be logged in to vote

  💡

  Currying considered harmful + significant parens heresy feature

  Ericson2314 started Feb 22, 2022 in Ideas

  

  

  

  

  13
• 2 You must be logged in to vote

  💬

  Impact on making forall a keyword

  nomeata started Oct 15, 2021 in General

  

  

  

  

  23
• 8 You must be logged in to vote

  💡

  Enable -fwarn-incomplete-patterns by default

  anka-213 started Dec 1, 2021 in Ideas

  

  

  1
• 4 You must be logged in to vote

  💡

  Make type family applications in instances legal if they can be fully evaluated

  JakobBruenker started Nov 30, 2021 in Ideas

  

  

  

  

  5
• 5 You must be logged in to vote

  💡

  Applicative Record Syntax

  Ericson2314 started Dec 7, 2021 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  💬

  fully dependent types are the only guiding principle for GHC for the foreseeable future(?)

  AntC2 started Nov 29, 2021 in General

  

  

  

  

  18
• 0 You must be logged in to vote

  💬

  Modular phase separation principle

  Ericson2314 started Oct 28, 2021 in General

  

  

  2
• 1 You must be logged in to vote

  💡

  LexicalNegation, but for all operators

  JakobBruenker started Oct 20, 2021 in Ideas

  

  

  

  

  9
• 2 You must be logged in to vote

  💬

  Do we expect projects to pin their GHC20XX version / are breaking changes in GHC20XX upgrades okay?

  maralorn started Jul 30, 2021 in General

  

  

  

  

  8
• 2 You must be logged in to vote

  🙌

  Patterning matching on *erased* functions

  Ericson2314 started Jun 23, 2021 in Show and tell

  

  

  1
• 1 You must be logged in to vote

  💡

  Calling local bindings from GHCi

  JakobBruenker started May 17, 2021 in Ideas

  

  

  

  

  9