From 073eb1cdf383854574076cca7309dfd641831b2b Mon Sep 17 00:00:00 2001 From: Philipp Balzarek Date: Mon, 11 Jan 2016 16:45:07 +0100 Subject: [PATCH] fix tests --- source/Network/Xmpp/Types.hs | 2 +- tests/Tests/Stream.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/source/Network/Xmpp/Types.hs b/source/Network/Xmpp/Types.hs index 1ccdc2c..d0675dd 100644 --- a/source/Network/Xmpp/Types.hs +++ b/source/Network/Xmpp/Types.hs @@ -1071,7 +1071,7 @@ jidFromText t = do -- >>> jidFromTexts (Just "foo") "bar" (Just "baz") == jidFromText "foo@bar/baz" -- True -- --- prop> jidFromTexts (localpart j) (domainpart j) (resourcepart j) == Just j +-- prop> \j -> jidFromTexts (localpart j) (domainpart j) (resourcepart j) == Just j jidFromTexts :: Maybe Text -> Text -> Maybe Text -> Maybe Jid jidFromTexts l d r = do localPart <- case l of diff --git a/tests/Tests/Stream.hs b/tests/Tests/Stream.hs index cc03f09..45b6773 100644 --- a/tests/Tests/Stream.hs +++ b/tests/Tests/Stream.hs @@ -13,7 +13,7 @@ import Test.Tasty.HUnit import Test.Tasty.Hspec import Test.Tasty.TH -import Network.Xmpp.Stream +import Network.Xmpp.Internal junk = [ EventBeginDocument , EventEndDocument