Code

Migrated to lts-15.3#4827

Code

Merged

melted merged 18 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom ilyakooo0:lts-15.3ilyakooo0/Idris-dev:lts-15.3Copy head branch name to clipboardMar 20, 2020

+155-83

Commits

Commits on Mar 12, 2020

• Migrated to lts-15.3

  ilyakooo0

  committed
  d7a669b

  Copy full SHA for d7a669b

• Updated travis

  ilyakooo0

  committed
  0c81cf8

  Copy full SHA for 0c81cf8

• Removed stack-alt.yaml from Extra-source-files

  ilyakooo0

  committed
  7393721

  Copy full SHA for 7393721

• Fixed stylish-haskell build error

  ilyakooo0

  committed
  c80e65f

  Copy full SHA for c80e65f

• Removed ghc 8.4

  ilyakooo0

  committed
  ad91f03

  Copy full SHA for ad91f03

• Added libffi addon

  ilyakooo0

  committed
  912ac93

  Copy full SHA for 912ac93

Commits on Mar 13, 2020

• Temporarily removed caches

  ilyakooo0

  committed
  ba1c1b5

  Copy full SHA for ba1c1b5

• Try using LD_PRELOAD

  ilyakooo0

  committed
  d60d56f

  Copy full SHA for d60d56f

• wip

  ilyakooo0

  committed
  68efb0a

  Copy full SHA for 68efb0a

• wip

  ilyakooo0

  committed
  71d1390

  Copy full SHA for 71d1390

• Removed GHC 8.6

  ilyakooo0

  committed
  49d7b89

  Copy full SHA for 49d7b89

Commits on Mar 18, 2020

• Support megaparsec < 8

  ilyakooo0

  committed
  7467a08

  Copy full SHA for 7467a08

• Added stacks

  ilyakooo0

  committed
  b01f45a

  Copy full SHA for b01f45a

• Updated resolver

  ilyakooo0

  committed
  3fdadd5

  Copy full SHA for 3fdadd5

• Reordered extensions

  ilyakooo0

  committed
  0380bb9

  Copy full SHA for 0380bb9

• Fixed typo

  ilyakooo0

  committed
  83e4fa5

  Copy full SHA for 83e4fa5

• Removed broken snapshots

  ilyakooo0

  committed
  1b614a3

  Copy full SHA for 1b614a3

• Added note

  ilyakooo0

  committed
  dba5ef4

  Copy full SHA for dba5ef4