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

module Futhark.IR.MCTests () where

import Data.String
import Futhark.IR.MC
import Futhark.IR.Parse
import Futhark.IR.SyntaxTests (parseString)

-- There isn't anything to test in this module, but we define some
-- convenience instances.

instance IsString (Stm MC) where
  fromString :: String -> Stm MC
fromString = String
-> (String -> Text -> Either Text (Stm MC)) -> String -> Stm MC
forall a.
String -> (String -> Text -> Either Text a) -> String -> a
parseString String
"Stm MC" String -> Text -> Either Text (Stm MC)
parseStmMC

instance IsString (Body MC) where
  fromString :: String -> Body MC
fromString = String
-> (String -> Text -> Either Text (Body MC)) -> String -> Body MC
forall a.
String -> (String -> Text -> Either Text a) -> String -> a
parseString String
"Body MC" String -> Text -> Either Text (Body MC)
parseBodyMC

instance IsString (Prog MC) where
  fromString :: String -> Prog MC
fromString = String
-> (String -> Text -> Either Text (Prog MC)) -> String -> Prog MC
forall a.
String -> (String -> Text -> Either Text a) -> String -> a
parseString String
"Prog MC" String -> Text -> Either Text (Prog MC)
parseMC