-- |
-- Module      : Main
-- Copyright   : (c) Justus Sagemüller 2017
-- License     : GPL v3
-- 
-- Maintainer  : (@) sagemueller $ geo.uni-koeln.de
-- Stability   : experimental
-- Portability : portable
-- 
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell   #-}

module LaTeXComparer where


import Math.LaTeX.Internal.MathExpr
import CAS.Dumb

import Language.Haskell.TH
import Language.Haskell.TH.Quote
import Language.Haskell.Meta.Parse

import Text.LaTeX (LaTeX, Text)


type Expr = Expression LaTeX
type SLaTeX = Text

data TestTree = TestGroup String [TestTree]
              | TestCase Expr String SLaTeX


mkLaTeXSnip :: QuasiQuoter
mkLaTeXSnip = QuasiQuoter procExpr undefined undefined undefined
 where procExpr e = return $ case parseExp e of
           Right exp -> ConE 'TestCase `AppE` exp `AppE` LitE (StringL e)
           Left perr -> error perr