Code

Rule inputs polymorphic q#4432

Code

Draft

nlander wants to merge 9 commits intohaskell:masterhaskell/haskell-language-server:masterfrom nlander:rule-inputs-polymorphic-Qnlander/haskell-language-server:rule-inputs-polymorphic-QCopy head branch name to clipboard

+316-187

Commits

Commits on Sep 4, 2024

• WIP Add input rule constraints

  nlander

  committed
  050586d

  Copy full SHA for 050586d

Commits on Sep 8, 2024

• Add input constraints in Shake.hs

  nlander

  committed
  bcc18e8

  Copy full SHA for bcc18e8

• Define RuleInput type instances

  nlander

  committed
  bafb42a

  Copy full SHA for bafb42a

Commits on Sep 14, 2024

• Fix Shake.hs

  nlander

  committed
  af47b30

  Copy full SHA for af47b30

• WIP Add InputPath type to rules

  nlander

  committed
  9a4e704

  Copy full SHA for 9a4e704

Commits on Sep 15, 2024

• Try enumerating all instances

  nlander

  committed
  506e958

  Copy full SHA for 506e958

Commits on Sep 27, 2024

• WIP continue following type errors

  nlander

  committed
  4053e63

  Copy full SHA for 4053e63

Commits on Oct 5, 2024

• Kick the can

  nlander

  committed
  a338ce6

  Copy full SHA for a338ce6

Commits on Oct 14, 2024

• Try making Q polymorphic in input

  nlander

  committed
  07cb129

  Copy full SHA for 07cb129