changeset 6964 | 6dde80ae7049 |
parent 6891 | ab9843957664 |
child 7038 | d853e4385241 |
6963:0c181b88daff | 6964:6dde80ae7049 |
---|---|
72 (char '"') |
72 (char '"') |
73 fn <- many1 $ noneOf "\"\n" |
73 fn <- many1 $ noneOf "\"\n" |
74 char '"' |
74 char '"' |
75 spaces |
75 spaces |
76 char '}' |
76 char '}' |
77 f <- liftIO (readFile fn) |
77 f <- liftIO (readFile fn `catch` error ("File not found: " ++ fn)) |
78 c <- getInput |
78 c <- getInput |
79 setInput $ f ++ c |
79 setInput $ f ++ c |
80 return "" |
80 return "" |
81 |
81 |
82 ifdef = do |
82 ifdef = do |