Code

Improve how wingman uses evidence#1549

Code

Merged

mergify[bot] merged 20 commits intohaskell:masterhaskell/haskell-language-server:masterfrom

isovector:use-evidenceisovector/haskell-language-server:use-evidenceCopy head branch name to clipboard

Mar 11, 2021

Commits

Commits on Mar 10, 2021

• Forbid the non-show methods from Show

  isovector

  committed
  8c29434

  Copy full SHA for 8c29434

• Reward extracts that use user-bound variables

  isovector

  committed
  01d4775

  Copy full SHA for 01d4775

• Debug trace the scores of other solutions

  isovector

  committed
  6b16289

  Copy full SHA for 6b16289

• Use HsWrapper evidence when computing thetas

  isovector

  committed
  173b01c

  Copy full SHA for 173b01c

• Add a test using a RankN dictionary

  isovector

  committed
  5099b17

  Copy full SHA for 5099b17

• Pull evidence from ConPatOut

  isovector

  committed
  f2150be

  Copy full SHA for f2150be

• Add a test using GADT evidence

  isovector

  committed
  666ad53

  Copy full SHA for 666ad53

• Merge branch 'master' into use-evidence

  isovector

  authored
  8e0eef1

  Copy full SHA for 8e0eef1

• Also track equality evidence

  isovector

  committed
  5f13942

  Copy full SHA for 5f13942

• Merge branch 'use-evidence' of github.com:isovector/haskell-language-server into use-evidence

  isovector

  committed
  2032bf4

  Copy full SHA for 2032bf4

• Use evidence from destructing GADTs

  isovector

  committed
  478cca8

  Copy full SHA for 478cca8

• Also allow coercion evidence

  isovector

  committed
  0fc97dd

  Copy full SHA for 0fc97dd

• Run the substitution on the entire jdg after synthesizing evidence

  isovector

  committed
  9aa60ff

  Copy full SHA for 9aa60ff

• Add tests

  isovector

  committed
  c9c785c

  Copy full SHA for c9c785c

• Haddock for theta

  isovector

  committed
  a398ce4

  Copy full SHA for a398ce4

• Merge branch 'master' into use-evidence

  isovector

  authored
  bb02920

  Copy full SHA for bb02920

Commits on Mar 11, 2021

• Merge branch 'master' into use-evidence

  isovector

  authored
  ef8c868

  Copy full SHA for ef8c868

• Surprisingly easy fix to support GHC 8.6.5

  isovector

  committed
  ee8a93d

  Copy full SHA for ee8a93d

• Merge branch 'use-evidence' of github.com:isovector/haskell-language-server into use-evidence

  isovector

  committed
  c3eb1ab

  Copy full SHA for c3eb1ab

• Simplify CPP

  isovector

  committed
  dab227b

  Copy full SHA for dab227b