module BNFC.Options.Target where

import BNFC.Prelude

----------------------------------------------------------------------------

-- | Target languages
data TargetLanguage =
  TargetAgda | TargetC | TargetCpp | TargetCppNoStl
  | TargetHaskell | TargetLatex
  | TargetJava | TargetOCaml | TargetPygments
  | TargetTxt2Tags | TargetCheck
  deriving (Eq, Bounded, Enum, Ord)

instance Show TargetLanguage where
  show TargetAgda        = "Agda"
  show TargetC           = "C"
  show TargetCpp         = "C++"
  show TargetCppNoStl    = "C++ (without STL)"
  show TargetHaskell     = "Haskell"
  show TargetLatex       = "Latex"
  show TargetJava        = "Java"
  show TargetOCaml       = "OCaml"
  show TargetPygments    = "Pygments"
  show TargetTxt2Tags    = "Txt2Tags"
  show TargetCheck       = "Check LBNF file"