futhark-0.7.3: unittests/Language/Futhark/CoreTests.hs

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Language.Futhark.CoreTests ()
where

import Test.QuickCheck

import Language.Futhark.Core
import Futhark.Representation.PrimitiveTests()

instance Arbitrary Name where
  arbitrary = nameFromString <$> listOf1 (elements ['a'..'z'])

instance Arbitrary VName where
  arbitrary = VName <$> arbitrary <*> arbitrary