Skip to content
Snippets Groups Projects
Select Git revision
  • wip/T17747
  • wip/tsan/no-barriers
  • wip/T20076
  • wip/supersven/riscv64-ncg
  • wip/T23109
  • wip/tsan/fixes
  • wip/check-gc
  • master default protected
  • wip/marge_bot_batch_merge_job
  • wip/sand-witch/#23434-wterm-variable-capture
  • wip/expand-do
  • wip/or-pats
  • wip/int-index/hdk-register-tok
  • wip/int-index/tok-where
  • wip/js-number-note-refs
  • wip/t23454
  • wip/T23143
  • wip/sand-witch/#16635-improve-errors
  • wip/T18389-task-zero
  • wip/haddock-mem-fixes
  • ghc-9.2.8-release
  • ghc-9.6.2-release
  • ghc-9.4.5-release
  • ghc-9.6.1-release
  • ghc-9.6.1-rc1
  • ghc-9.2.7-release
  • ghc-9.6.1-alpha3
  • ghc-9.2.6-release
  • ghc-9.6.1-alpha2
  • ghc-9.4.4-release
  • ghc-9.7-start
  • ghc-9.2.5-release
  • ghc-9.4.3-release
  • ghc-9.4.2-release
  • ghc-9.4.1-release
  • ghc-9.2.4-release
  • ghc-9.4.1-rc1
  • ghc-9.4.1-alpha3
  • ghc-9.2.3-release
  • ghc-9.4.1-alpha2
40 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
5501 commits behind the upstream repository.
  • sheaf's avatar
    28880828
    Typecheck remaining ValArgs in rebuildHsApps · 28880828
    sheaf authored and Marge Bot's avatar Marge Bot committed 
    This patch refactors hasFixedRuntimeRep_remainingValArgs, renaming it
to tcRemainingValArgs. The logic is moved to rebuildHsApps, which
ensures consistent behaviour across tcApp and quickLookArg1/tcEValArg.

This patch also refactors the treatment of stupid theta for data
constructors, changing the place we drop stupid theta arguments
from dsConLike to mkDataConRep (now the datacon wrapper drops these
arguments).

We decided not to implement PHASE 2 of the FixedRuntimeRep plan for
these remaining ValArgs. Future directions are outlined on the wiki:
  https://gitlab.haskell.org/ghc/ghc/-/wikis/Remaining-ValArgs

Fixes #21544 and #21650
    28880828
    History
    Typecheck remaining ValArgs in rebuildHsApps
    sheaf authored and Marge Bot's avatar Marge Bot committed 
    This patch refactors hasFixedRuntimeRep_remainingValArgs, renaming it
to tcRemainingValArgs. The logic is moved to rebuildHsApps, which
ensures consistent behaviour across tcApp and quickLookArg1/tcEValArg.

This patch also refactors the treatment of stupid theta for data
constructors, changing the place we drop stupid theta arguments
from dsConLike to mkDataConRep (now the datacon wrapper drops these
arguments).

We decided not to implement PHASE 2 of the FixedRuntimeRep plan for
these remaining ValArgs. Future directions are outlined on the wiki:
  https://gitlab.haskell.org/ghc/ghc/-/wikis/Remaining-ValArgs

Fixes #21544 and #21650
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
T21544.hs 645 B