hets/HasCASL/hacapa.lhs

	hacapa.lhs revision 9db48b4604636bfdf03e60890fc094b7bec775dc
#!/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 HToken
import RunParsers

main :: IO ()
main = exec lineParser fileParser

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

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