hets/GMP/Main.hs

	Main.hs revision 4cfcd12dc70f806314d0f72040ab68adb6f5cc99
8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder----------------------------------------------------------------
8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder-- GMP
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maeder-- Copyright 2007, Lutz Schroeder and Georgel Calin
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder----------------------------------------------------------------
3a6c7a7ff823616f56cd3d205fc44664a683effdChristian Maedermodule Main where
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maeder
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu-- import Text.ParserCombinators.Parsec
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian Maederimport IO
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder-- import GMPAS
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederimport GMPParser
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian Maeder
44fb55f639914f4f531641f32dd4904f15c510a4Till Mossakowskimain = do
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowski    hSetBuffering stdin LineBuffering
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowski    putStrLn "Give the name of the test file: "
af0cbe339851fc558d2b18cde3666981325e667cTill Mossakowski    name <- getLine
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowski    input <- readFile name
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowski    runLex par5er input
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder