hets/HasCASL/hacapa.lhs

	hacapa.lhs revision 42da000066c803fbbbe9e13bf6326888de3bbdc7
#!/home/maeder/bin/runhugs

HetCATS/HasCASL/hacapa.lhs
$Id$
Authors: Christian Maeder
Year:    2002

test some parsers (and printers)

\begin{code}
module Main where

import ParseItem
import ParseTerm
import PrintAs
import PrintLe
import HToken
import RunParsers
import RunStaticAna

main :: IO ()
main = exec lineParser fileParser

lineParser, fileParser :: [(String, HetParser)]
lineParser = [
 ("MixIds", HetParser uninstOpId),
 ("Typenames", HetParser typeId),
 ("Kinds", HetParser kind),
 ("Types", HetParser parseType),
 ("Terms", HetParser term),
 ("Typepattern", HetParser typePattern),
 ("Pattern", HetParser pattern),
 ("BasicItems", HetParser basicItems),
 ("Items", HetParser basicSpec)]

fileParser = [ ("BasicSpec", HetParser basicSpec)
	     , ("analysis", HetParser anaParser)
	     ]
\end{code}