    {-# 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