{-# 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 = (VNameSource, Prog MC) -> Prog MC
forall a b. (a, b) -> b
snd ((VNameSource, Prog MC) -> Prog MC)
-> (String -> (VNameSource, Prog MC)) -> String -> Prog MC
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String
-> (String -> Text -> Either Text (VNameSource, Prog MC))
-> String
-> (VNameSource, Prog MC)
forall a.
String -> (String -> Text -> Either Text a) -> String -> a
parseString String
"Prog MC" String -> Text -> Either Text (VNameSource, Prog MC)
parseMC