packages feed

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

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

import Test.QuickCheck

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

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

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