Code

Add external/public linter#144

Code

Merged

samhh merged 21 commits intomasterunsplash/intlc:masterfrom ext-linterunsplash/intlc:ext-linterCopy head branch name to clipboardJul 19, 2022

+205-126

Commits

Commits on Jun 24, 2022

• Prefer mconcat

  Show description for 946ca47
  samhh

  committed
  946ca47

• Add lint command to external binary

  samhh

  committed
  0b18310

• Remove redundant $

  samhh

  committed
  4805a4a

• Parse subparser checking end of input

  samhh

  committed
  46b2fa3

• Allow only a wildcard select case

  Show description for e12fe5a
  samhh

  committed
  e12fe5a

• Rename: LintingError -> InternalLintingError

  samhh

  committed
  7f25320

• Generalise

  samhh

  committed
  fac93f8

• Rename: lint -> lintInternal

  samhh

  committed
  2eb4e3f

• Generalise

  samhh

  committed
  9a4a291

• Add Rule type alias

  samhh

  committed
  fd9bc78

• Rename: InternalLintingError -> InternalLint

  samhh

  committed
  830e233

• Remove redundant import hide

  samhh

  committed
  05f521f

• Add redundant select lint rule & external lint fn

  samhh

  committed
  c2c9b61

• Plug external linter into CLI

  Show description for 187c613
  samhh

  committed
  187c613

Commits on Jun 27, 2022

• Merge master

  samhh

  committed
  f30f987

• Remove unneeded lint ignore pragma

  samhh

  committed
  511b71e

• Formatting

  samhh

  committed
  f279ae8

• Nest

  samhh

  committed
  3a46d4f

• Test lint rules in isolation

  samhh

  committed
  6d2ce91

• Add tests for redundant select lint rule

  samhh

  committed
  8af8c9e

Commits on Jul 19, 2022

• Merge master

  samhh

  committed
  9128691