On Sat, Dec 03, 2016 at 11:42:11AM +0100, David Craven wrote: > * gnu/packages/haskell.scm (idris): Update to 0.12.3. > [origin]: Remove snippet. > [inputs]: Add ghc-aeson, ghc-async, ghc-fsnotify, ghc-regex-tdfa, > ghc-tasty-golden, ghc-tasty-rerun and ghc-terminal-size. > [arguments]: Disable tests.
Why do we need to skip the tests? LGTM with that question answered.
