Test.hs

-- Copyright (C) 2014 Google Inc. All rights reserved.
--
-- Licensed under the Apache License, Version 2.0 (the "License"); you may not
-- use this file except in compliance with the License. You may obtain a copy
-- of the License at
--
-- http://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
-- WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
-- License for the specific language governing permissions and limitations
-- under the License.

module Test where

import Main hiding (main)

import Control.Monad
import Test.QuickCheck

instance Arbitrary Obj where
    arbitrary = oneof [ null, bools, ints ]
        where
        null = elements [ NullObj ]
        bools = elements [ BoolObj False, BoolObj True ]
        ints = do
            i <- choose (-5, 5)
            return $ IntObj i

propSameEverIdentical x = sameEver x x

main = do
    quickCheck propSameEverIdentical