Code

Scoped type variables#2178

Code

Merged

mergify[bot] merged 18 commits intomainswarm-game/swarm:mainfrom scoped-type-variablesswarm-game/swarm:scoped-type-variablesCopy head branch name to clipboardOct 19, 2024

+286-156

Commits

Commits on Oct 13, 2024

• no longer deal with implicit quantification during parsing

  byorgey

  committed
  27a3b1f

• export additional Ctx utilities

  byorgey

  committed
  7327522

• remove unused imports

  byorgey

  committed
  31f5f1c

• [wip] track in-scope type variables and automatically bind any not explicitly quantified

  Show description for c7d69c4
  byorgey

  committed
  c7d69c4

Commits on Oct 14, 2024

• fix failing test case

  byorgey

  committed
  b6de404

Commits on Oct 15, 2024

• bug fix: was still using old, unquantified mxTy in output

  byorgey

  committed
  d7a7ca2

Commits on Oct 17, 2024

• add some tests

  byorgey

  committed
  1fdea1b

• update test results

  byorgey

  committed
  6ac407d

• Restyled by fourmolu (#2183)

  Show description for 54dcf95
  

  github-actions[bot]

  and

  restyled-commits

  authored
  54dcf95

Commits on Oct 18, 2024

• [wip] add type indexing to distinguish quantified from unquantified polytypes

  byorgey

  committed
  c0dd85b

Commits on Oct 19, 2024

• misc fixes/improvements

  byorgey

  committed
  f963114

• fix build under GHC 9.2

  byorgey

  committed
  811cf73

• fix another warning

  byorgey

  committed
  40b4364

• additional comments

  byorgey

  committed
  559aa8f

• refactor based on suggestion from @xsebek

  byorgey

  committed
  c1f714f

• more documentation for Typical

  byorgey

  committed
  da139ee

• remove unused member function

  byorgey

  committed
  5bac834

• Merge branch 'main' into scoped-type-variables

  mergify[bot]

  authored
  74391c5