Code

Upgrade Agda to v2.7.0.1#28

Code

Merged

banacorn merged 11 commits intomasteragda/agda-language-server:masterfrom agda-2.7.0agda/agda-language-server:agda-2.7.0Copy head branch name to clipboardDec 2, 2024

+259-41

Commits

Commits on Dec 1, 2024

• [ fix ] Upgrade instance of Render Declaration to v2.7.0

  banacorn

  committed
  0c4667a

  Copy full SHA for 0c4667a

Commits on Dec 2, 2024

• [ fix ] Upgrade instance of Render NameBinding to v2.7.0

  banacorn

  committed
  afe2c37

  Copy full SHA for afe2c37

• [ fix ] Upgrade instance of Render WhereClause to v2.7.0

  banacorn

  committed
  11b92a1

  Copy full SHA for 11b92a1

• [ fix ] Make Inlines an instance of Null

  banacorn

  committed
  9e88b32

  Copy full SHA for 9e88b32

• [ fix ] Make Lock an instance of Render

  banacorn

  committed
  9d00f38

  Copy full SHA for 9d00f38

• [ fix ] Upgrade instance of Render Declaration to v2.7.0

  banacorn

  committed
  e927b3d

  Copy full SHA for e927b3d

• [ fix ] Exports from Agda.Interaction in v2.7.0

  banacorn

  committed
  d2a7d24

  Copy full SHA for d2a7d24

• [ fix ] Handle Response_Mimer from v2.7.0

  banacorn

  committed
  8f270ca

  Copy full SHA for 8f270ca

• [ fix ] Handle new pragmas from v2.7.0

  banacorn

  committed
  26def0e

  Copy full SHA for 26def0e

• [ fix ] Make ALS compatible with Agda-2.7.0

  banacorn

  committed
  485e8b0

  Copy full SHA for 485e8b0

• [ new ] Release Agda v2.7.0.1 Language Server v0

  banacorn

  committed
  0fd129c

  Copy full SHA for 0fd129c