Code

Relax safe bounds, Fixes #3543.#3549

Code

Merged

jfdm merged 3 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom jfdm:fix-safe-boundsCopy head branch name to clipboardDec 6, 2016

+10-1

Commits

Commits on Dec 5, 2016

• Relax safe bounds, Fixes #3543.

  Show description for 8559356
  

  Jan de Muijnck-Hughes

  committed
  8559356

• Show where used cabal and travis are.

  Show description for a2a823d
  

  Jan de Muijnck-Hughes

  committed
  a2a823d

Commits on Dec 6, 2016

• Make bound for safe dependent in ghc version.

  Show description for e59d304
  

  Jan de Muijnck-Hughes

  committed
  e59d304