import Language.LambdaBase.Parser
import Language.LambdaBase.Core

data Lits = LS String

instance Eq Lits where
    (LS a) == (LS b) = a == b

instance Show Lits where
    show (LS a) = a

instance Lit Lits where
    apply (LS a) (LS b) = Lit (LS (a ++ b)) Prefix
    fromExpr e = LS ""
    toLit x = LS $ show x
    getEVS _ = Strict

main = do
    print "TEST START ##################################"
    (Right p) <- readFile "doTest.lb" >>= (\x -> return $ parseExpr x)
    print (p:: Expr Lits )