1. 12 Sep, 2014 1 commit
  2. 28 Dec, 2012 1 commit
  3. 24 Dec, 2012 1 commit
  4. 20 Dec, 2012 1 commit
  5. 19 Dec, 2012 2 commits
  6. 12 Nov, 2012 1 commit
    • Iustin Pop's avatar
      Change type of program options to 'IO [Options]' · d66aa238
      Iustin Pop authored
      Some options have defaults that depend on the environment, and we
      could handle these in two ways:
      
      - use a place-holder value (e.g. data X a = Default | Custom a) that
        is later read from the environment
      - move the options list to IO monad, where it can read the
        environment, etc.
      
      The second option allows also displaying the actual defaults in the
      `--help' output, even though it's not as nice, so I went with it.
      
      This patch only changes the option types, without actually changing
      any options yet.
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarHelga Velroyen <helgav@google.com>
      d66aa238
  7. 07 Nov, 2012 1 commit
    • Iustin Pop's avatar
      Fix compatibility with newer Haskell libraries · 1251817b
      Iustin Pop authored
      This small patch fixes compatibility with a few newer Haskell libraries:
      
      - base 4.6, included with ghc 7.6, removed the deprecated 'catch'
        function from Prelude, so our "import Prelude hiding (catch)" is now
        an error; we workaround by using fully-qualified
        Control.Exception.catch name
      
      - containers 0.5 changed the signature of 'deleteFindMax'; we
        workaround by using separate 'findMax' and 'deleteMax'
      
      - QuickCheck 2.5 removed the 'maxDiscards' test parameter, replacing
        it with a much better 'maxDiscardsRatio'; however, until we can
        depend on that, we workaround by just removing it (we don't control
        anymore the maxDiscards, instead leaving it default; for our default
        test size, this is no change, as the default value is already 500,
        which is our default as well) and not printing it anymore
      
      Tested on Squeeze (+extra libs), Wheezy and experimental, which covers
      all supported GHC versions.
      
      Also, merging this in master will be a pain, but unless we want to
      stop supporting 2.6…
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
      1251817b
  8. 18 Oct, 2012 1 commit
  9. 08 Oct, 2012 2 commits
  10. 26 Sep, 2012 1 commit
  11. 26 Mar, 2012 1 commit
    • Iustin Pop's avatar
      Switch to new-style exception handling · 30d25dd8
      Iustin Pop authored
      Currently, we're using Prelude.catch to handle I/O errors in
      htools. This style of error handling has been deprecated for a while,
      but it still used to work without warnings.
      
      However, the GHC release 7.4 has started to emit deprecation warnings
      for it, so we change to the Control.Exception module; the code is a
      bit less clean since we only care about I/O errors (but
      Control.Exception deals with other error types too), so we have to
      filter the exceptions.
      
      Note that the new style exception handling is not really "new"; it has
      existed since at least GHC 6.12, which is our oldest supported
      compiler.
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarRené Nussbaumer <rn@google.com>
      30d25dd8
  12. 16 Jan, 2012 2 commits
  13. 18 Nov, 2011 1 commit
    • Iustin Pop's avatar
      htools: adjust imports for newer compilers · 7345b69b
      Iustin Pop authored
      While testing with ghc 7.2, I saw that some imports we are using are
      very old (from ghc 6.8 time), even though current libraries are using
      different names.
      
      We fix this and bump minimum documented version to ghc 6.12, as I
      don't have 6.10 to test anymore (possibly still works with that
      version, but better safe - both Ubuntu Lucid and Debian Squeeze ship
      with 6.12 nowadays).
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
      7345b69b
  14. 12 Oct, 2011 1 commit
  15. 19 Jul, 2011 5 commits