{- |

Module : $Header$

Copyright : (c) Christian Maeder, Uni Bremen 2002-2004

Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

Maintainer : hets@tzi.de

Stability : experimental

Portability : non-portable

test the programatica parser and (HatAna) analysis

-}

module Main where

import Haskell.HatParser

import Haskell.HatAna

import Haskell.PreludeString

import ParseMonad

import LexerOptions

import PropLexer

import PropParser as HP

import PropPosSyntax

import System.Environment

import Common.Result

import Common.AnnoState

import Common.AS_Annotation

import Common.Print_AS_Annotation()

import Common.GlobalAnnotations

import Common.PrettyPrint

hParser :: AParser () (Sign, [Named (TiDecl PNT)])

hParser = do

b <- hatParser

let res@(Result _ m) = hatAna(b, emptySign, emptyGlobalAnnos)

case m of

Nothing -> error $ show res

Just (_, _, sig, sens) -> return (sig, sens)

main :: IO ()

main = do l <- getArgs

if length l >= 1 then

do let fn = head l

s <- readFile fn

let ts = pLexerPass0 lexerflags0 s

Result ds m = do

HsModule _ _ _ _ b <- parseTokens HP.parse fn ts

hatAna(HsDecls (preludeDecls ++ b),

emptySign, emptyGlobalAnnos)

case m of

Just (_, _, sig, hs) -> do

putStrLn $ showPretty sig ""

mapM_ (putStrLn . flip showPretty "") hs

_ -> mapM_ (putStrLn . show) ds

else putStrLn "missing argument"

preludeDecls :: [HsDecl]

preludeDecls = let ts = pLexerPass0 lexerflags0

-- adjust line number of 'preludeString =' by hand!

(preludeString)

in case parseTokens (HP.parse) "Haskell/ProgramaticaPrelude.hs" ts of

Just (HsModule _ _ _ _ ds) -> ds

_ -> error "preludeDecls"