hets/HasCASL/hacapa.lhs

	hacapa.lhs revision a64a0692ffff29e0846ca325b1811266a9f105e0
#!/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 PrintLe
import HToken
import RunParsers
-- import RunStaticAna

main :: IO ()
main = exec lineParser fileParser
       where _just_avoid_unused_import_warning = noPrint

lineParser, fileParser :: [(String, HetParser)]
lineParser = [
 ("MixIds", HetParser uninstOpId),
 ("Typenames", HetParser typeId),
 ("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}