Code

Compile with GHC 8.8#4808

Code

Merged

melted merged 12 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom melted:ghc-8.8melted/Idris-dev:ghc-8.8Copy head branch name to clipboardJan 25, 2020

+217-212

Commits

Commits on Jan 24, 2020

• Compatibility with GHC 8.8 and Cabal 3.0

  melted

  committed
  1dd9316

  Copy full SHA for 1dd9316

Commits on Jan 25, 2020

• Rename expected, input and run

  Show description for b5a6637
  melted

  committed
  b5a6637

  Copy full SHA for b5a6637

• Upgrade cabal for travis

  melted

  committed
  41a1278

  Copy full SHA for 41a1278

• Cut GHC 7.10, add GHC 8.8 to Travis

  melted

  committed
  60c0d1c

  Copy full SHA for 60c0d1c

• Use legacy cabal commands for travis

  melted

  committed
  6ccef96

  Copy full SHA for 6ccef96

• Use a newer Ubuntu on travis

  melted

  committed
  f784403

  Copy full SHA for f784403

• Fix test for GHC 8.8

  melted

  committed
  57624a8

  Copy full SHA for 57624a8

• Merge remote-tracking branch 'origin/master' into ghc-8.8

  melted

  committed
  e79aaaa

  Copy full SHA for e79aaaa

• Try to fix ppa load

  melted

  committed
  4770d51

  Copy full SHA for 4770d51

• Use xenial on travis

  melted

  committed
  7d0a976

  Copy full SHA for 7d0a976

• Missed one v1- command in travis

  melted

  committed
  b4dc55e

  Copy full SHA for b4dc55e

• Disable travis for GHC 8.8 (libffi still broken)

  Show description for 9662ab5
  melted

  committed
  9662ab5

  Copy full SHA for 9662ab5