Skip to content
Snippets Groups Projects
  1. Jun 27, 2012
  2. Jun 25, 2012
  3. Jun 19, 2012
    • Iustin Pop's avatar
      Fix corner case in quick-check generated tests · 232fc505
      Iustin Pop authored
      
      Thanks to Agata Murawska, a random seed that generates bad test cases
      was found ("seed was 1768143307 2118231514, test size 74"). This is
      due to the fact that some nodes were generated with tMem=0, fMem=0,
      which means that pMem was NaN and thus the node was not comparing
      equal to itself.
      
      Worked around by limiting the test case generation to nodes with
      positive values; a better fix would be to compare nodes differently
      (subset of properties or ignore NaN values).
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
      232fc505
  4. Jun 08, 2012
  5. May 29, 2012
  6. May 08, 2012
  7. May 01, 2012
  8. Mar 26, 2012
    • 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
    • Iustin Pop's avatar
      Change a type computation for compatibility with 6.12 · d80e3485
      Iustin Pop authored
      
      This is the last warning related to TemplateHaskell that was 6.12
      specific; for some reason, it doesn't "see" that traw/tname were used.
      
      The patch just replaces the quoting syntax with an explicit type
      declaration; while less readable, it also has less warnings.
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarRené Nussbaumer <rn@google.com>
      d80e3485
    • Iustin Pop's avatar
      Fix compatibility with TemplateHaskell from GHC 7.4 · ffbd9592
      Iustin Pop authored
      
      GHC 7.4 has updated the TemplateHaskell library, and it turns out that
      the way we built the JSON instance implementation for showJSON was not
      good (probably this is why GHC 6.12 was generating some warnings).
      
      The patch changes the build of showJSON to be the same as readJSON,
      which was working fine. As a bonus, this fixes both the 7.4 issue and
      the 6.12 one.
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarRené Nussbaumer <rn@google.com>
      ffbd9592
    • Iustin Pop's avatar
      Add trivial tests for gnt-* cli · 30f2802f
      Iustin Pop authored
      
      While testing some other stuff, I realised that the gnt-* commands
      could be broken (as in, the script fails with syntax errors), but make
      check doesn't detect it. Since we have shelltest, we can now add
      trivial tests for this case.
      
      One downside is that starting the scripts seems to be much slower
      than the htools binaries, so we can't add as many tests.
      
      The other downside is that shelltest is now required for all
      development work, but I think this is a small disadvantage compared to
      the increased testing possibilities.
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
      30f2802f
  9. Mar 22, 2012
  10. Mar 21, 2012
  11. Mar 20, 2012
  12. Mar 19, 2012
  13. Mar 16, 2012
Loading