hets/HasCASL/hacapa.lhs

	hacapa.lhs revision e289294500ad68fa0706b09521af340bbb356a69
#!/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}