futhark-0.25.32: src-testing/Language/Futhark/CoreTests.hs

{-# OPTIONS_GHC -fno-warn-orphans #-}

module Language.Futhark.CoreTests () where

import Language.Futhark.Core
import Language.Futhark.PrimitiveTests ()
import Test.QuickCheck

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

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