{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnicodeSyntax #-}

-- |
-- Module: Main
-- Copyright: Copyright © 2014 AlephCloud Systems, Inc.
-- License: MIT
-- Maintainer: Lars Kuhtz <lars@alephcloud.com>
-- Stability: experimental
--
-- Tests for Example
--
module Main
( main
) where

import Control.Exception

import qualified Example

import System.Environment

main ∷ IO ()
main = do
    withArgs ["--domain=localhost"] Example.main
    withArgs ["--path=abc"] Example.main
    withArgs ["--path=abc", "--user=u"] Example.main
    handle (\(_ ∷ SomeException) → return ()) $ do
        withArgs [] Example.main
        error "expected failure but got success"
    return ()