<commit_before>language: haskell

install:
  - cabal install idris

script:
  - idris --install quantities.ipkg
  - idris --check examples/Documentation.idr examples/Game.idr<commit_msg>[travis] use development version of idris<commit_after>env:
  - CABALVER=1.22 GHCVER=7.10.2

before_install:
  - travis_retry sudo add-apt-repository -y ppa:hvr/ghc
  - travis_retry sudo apt-get update
  - travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER # see note about happy/alex
  - export PATH=$HOME/.cabal/bin:/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH

install:
  - cabal --version
  - echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
  - travis_retry cabal update
  - git clone https://github.com/idris-lang/Idris-dev.git
  - cd Idris-dev
  - cabal install --only-dependencies
  - cabal configure
  - cabal build
  - travis_wait cabal install
  - cd ..

script:
  - idris --install quantities.ipkg
  - idris --check examples/Documentation.idr examples/Game.idr

{'fraction_non_alphanumeric': 0.130859375, 'fraction_numerical': 0.0078125, 'mean_word_length': 3.288702928870293, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 4, 'https://': 1, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5339841', 'n_tokens_mistral': 390, 'n_tokens_neox': 377, 'n_words': 81}