1 ----------------------------------------------------------------
3 -- Copyright 2000, Jan-Willem Roorda
4 ----------------------------------------------------------------
7 import Text.ParserCombinators.Parsec
13 welcome = "__ __ ______ __ __ ____ __________________________________________\n"++
14 "|| || || || ||\\ || ||// Henk 2000: Based on Pure Type Systems \n"++
15 "||___|| ||_| ||\\\\ || ||\\\\ \n"++
16 "||---|| ||-|__ || \\\\|| WWW http://www.students.cs.uu.nl/~jwroorda\n"++
17 "|| || ||__|| Report bugs to: jwroorda@math.uu.nl \n"++
18 "|| || Version: Jan 2000 __________________________________________\n\n"
24 ; result <- parseFromFile program (root ++ fname ++ ".h")
26 Left err -> do{ putStr "parse error at: "