blob: 9d7ab607a905fb04eda760207c3736dad289d01a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
module Main where
import System.Environment (getArgs)
import Transfer.Syntax.Lex
import Transfer.Syntax.Layout
prTokens :: [Token] -> String
prTokens = prTokens_ 1 1
where
prTokens_ _ _ [] = ""
prTokens_ l c (t@(PT (Pn _ l' c') _):ts) =
replicate (l'-l) '\n'
++ replicate (if l' == l then c'-c else c'-1) ' '
++ s ++ prTokens_ l' (c'+length s) ts
where s = prToken t
-- prTokens_ l c (Err p:ts) =
layout :: String -> String
layout s = prTokens ts'
-- ++ "\n" ++ show ts'
where ts = tokens s
ts' = resolveLayout True ts
main :: IO ()
main = do args <- getArgs
case args of
[] -> getContents >>= putStrLn . layout
fs -> mapM_ (\f -> readFile f >>= putStrLn . layout) fs
|
