hets/CASL/capa.lhs

	capa.lhs revision 9db48b4604636bfdf03e60890fc094b7bec775dc
#!/home/maeder/bin/runhugs

HetCATS/CASL/capa.lhs
$Id$
Authors: Christian Maeder
Year:    2002

test some parsers (and printers)

\begin{code}

module Main where

import Token
import Formula
import Print_AS_Basic()
import Parse_AS_Basic
import SortItem
import OpItem
import RunParsers
import RunMixfixParser

main :: IO ()
main = exec lineParser fileParser

lineParser, fileParser :: [(String, HetParser)]
lineParser = [
 ("MixIds", HetParser parseId),
 ("Terms", HetParser term),
 ("Formula", HetParser formula),
 ("SortItem", HetParser sortItems),
 ("OpItem", HetParser opItems),
 ("PredItem", HetParser predItems),
 ("MixfixTerms", HetParser resolveTerm),
 ("MixfixFormula", HetParser resolveForm),
 ("VarIds", HetParser varId)]

fileParser = [("BasicSpec", HetParser basicSpec)]

\end{code}