Corrected test that did not fail appropriately.

  Test was expected to fail because of a missing implementation in Dune.
  However, it checked for result rather that for the unimplemented
  function to throw.