$Header$

Authors: Christian Maeder

Year: 2002, 2003

test some parsers (and printers)

\begin{code}

module Main where

import HasCASL.ParseItem

import HasCASL.ParseTerm

import HasCASL.HToken

import Common.RunParsers

import HasCASL.RunStaticAna

main :: IO ()

main = exec lineParser fileParser

lineParser, fileParser :: [(String, StringParser)]

lineParser = [

("MixIds", fromAParser uninstOpId),

("Kinds", fromAParser kind),

("Types", fromAParser parseType),

("Terms", fromAParser term),

("Typepattern", fromAParser typePattern),

("Pattern", fromAParser pattern),

("BasicItems", fromAParser basicItems),

("Items", fromAParser basicSpec)]

fileParser = [ ("BasicSpec", fromAParser basicSpec)

, ("analysis", anaParser)

]

\end{code}