module Data.Skel where

-- Haskell module generated by the BNF converter

import Data.Abs
import Data.ErrM
type Result = Err String

failure :: Show a => a -> Result
failure x = Bad $ "Undefined case: " ++ show x

transIdent :: Ident -> Result
transIdent x = case x of
  Ident str  -> failure x


transInput :: Input -> Result
transInput x = case x of
  Input datas  -> failure x


transData :: Data -> Result
transData x = case x of
  D tokds  -> failure x


transTokD :: TokD -> Result
transTokD x = case x of
  T str patterns  -> failure x


transPattern :: Pattern -> Result
transPattern x = case x of
  PC id patterns  -> failure x
  Id id  -> failure x