summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/programs/andy_cherry/PrintTEX.hs
blob: d8f253f6d464da451c9c35ca526f106ca7c1e007 (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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182

 module PrintTEX (texPrinter) where

 import GenUtils
 import DataTypes
 import Data.Array -- 1.3
 import Data.Char -- 1.3







 splitUpQuantum :: [Quantum] -> [[Quantum]]
 splitUpQuantum q = splitUpQuantums q []
   where
       splitUpQuantums [] [] = []
       splitUpQuantums [] mvs = [reverse mvs]
       splitUpQuantums (mv@(QuantumMove _ _ _ _):rest) mvs
               = splitUpQuantums rest (mv:mvs)
       splitUpQuantums (mv@(QuantumNAG _):rest) mvs
               = splitUpQuantums rest mvs
       splitUpQuantums (x:xs) [] = [x] : splitUpQuantums xs []
       splitUpQuantums (x:xs) mvs 
               = [reverse mvs,[x]] ++ splitUpQuantums xs []

 type TeXState = 
       (Bool,          -- if Top level !
       Board,          -- current board
       MoveNumber)     -- the Current Move Number

 printTeXQuantums :: TeXState -> [Quantum] -> [String]
 printTeXQuantums ps
       = concat . fst . mapAccumL printTeXQuantum ps . splitUpQuantum

 printTeXQuantum :: TeXState -> [Quantum] -> ([String],TeXState)
 printTeXQuantum state@(_,board,_) [QuantumComment ["\004"]] = 
       (mkTeXBoard board,state)
 printTeXQuantum state@(_,board,_) [QuantumComment (('\004':comm):comms)] = 
       (mkTeXBoard board ++ formatText 70 (parseSquiggles (comm:comms)),state)
 printTeXQuantum state [QuantumComment comms] = 
       (formatText 70 (parseSquiggles comms),state)
 printTeXQuantum (pnt,brd,mv) [QuantumAnalysis anal] =
       (printTeXQuantums (False,err,decMove mv) anal,(pnt,brd,mv))
   where err = error "Syntax error using ^D"
 printTeXQuantum state@(_,board,_) [QuantumResult str] = 
       (mkTeXBoard board ++ [printTeXResult (mkResult str)],state)
 printTeXQuantum state mvs@(QuantumMove _ _ _ _:_) =
       printTeXMoves state mvs
 printTeXQuantum _ _ = error "PANIC: strange Quantum"


 parseSquiggles = map parseSquiggle
 parseSquiggle ('<':'s':'a':'w':'>':r) = "\\wbetter{}" ++ r
 parseSquiggle ('<':'a':'w':'>':r)     = "\\wupperhand{}" ++ r
 parseSquiggle ('<':'w':'a':'w':'>':r) = "\\wdecisive{}" ++ r
 parseSquiggle ('<':'s':'a':'b':'>':r) = "\\bbetter{}" ++ r
 parseSquiggle ('<':'a':'b':'>':r)     = "\\bupperhand{}" ++ r
 parseSquiggle ('<':'w':'a':'b':'>':r) = "\\bdecisive{}" ++ r
 parseSquiggle wd = wd


 printTeXResult :: Result -> String
 printTeXResult Win     = "$1\\!-\\!0$"
 printTeXResult Loss    = "$0\\!-\\!1$"
 printTeXResult Draw    = "${1 \\over 2}\\!-\\!{1 \\over 2}$"
 printTeXResult Unknown = "$*$"

 printTeXMoves (tl,_,mv) mvs 
       = ([text],(True,brd,incMove last_mv_num))
    where
       aux_mvs = zip3 mvs (iterate incMove mv) (False:repeat True)

       (QuantumMove _ _ _ brd,last_mv_num,_) = last aux_mvs
       text = initText tl
           ++ concat (fst (mapAccumL (pntMove tl) (mv,False) mvs))
           ++ endText tl 

       initText False = 
            case mv of
               MoveNumber i Black -> "|" ++ show i ++ "\\ldots~"
               _ -> "|"
       initText True = 
               "\\begin{center}|\n" ++
               "{\\bf" ++
               "\\begin{tabular}{rp{50pt}p{50pt}}\n" ++
            case mv of
               MoveNumber i Black -> show i ++ " & \\ldots"
               _ -> ""

       endText True = case getMoveColour last_mv_num of
               White -> "&\\\\\n\\end{tabular}}|\n\\end{center}"
               Black -> "\\end{tabular}}|\n\\end{center}"
       endText False =  "|"



       pntMove True (mv@(MoveNumber i White),bl) move
               = (show i ++ " & " 
               ++ printableMove move,
                 (incMove mv,True))
       pntMove True (mv@(MoveNumber i Black),bl) move
               = (" & " ++ printableMove move ++ "\\\\\n",
                 (incMove mv,True))
       pntMove False (mv@(MoveNumber i White),bl) move
               = ((if bl then "; " else "") ++ show i ++ ".~"
                       ++ printableMove move,
                 (incMove mv,True))
       pntMove False (mv@(MoveNumber i Black),bl) move
               = ((if bl then ", " else "") ++ printableMove move,
                 (incMove mv,True))

 printableMove :: Quantum -> String
 printableMove (QuantumMove move ch an _) = map fn move ++ rest
    where
       fn 'x' = '*'
       fn 'O' = '0'
       fn c   = c
       rest = case ch of
               "#" -> an ++ " mate"
               _   -> ch ++ an

 mkTeXBoard :: Board -> [String]
 mkTeXBoard (Board arr _ _) = 
       ["\n\\board"] ++
       ["{" ++ [ fn ((x-y) `rem` 2 == 0) (arr ! (x,y)) | x <- [1..8]] ++ "}" 
                       | y <- reverse [1..8]] ++
       ["$$\\showboard$$"]
  where
       fn _ (WhitesSq p) = head (userFormat p)
       fn _ (BlacksSq p) = toLower (head (userFormat p))
       fn True VacantSq = '*'
       fn False VacantSq = ' '

 printTeXGame :: RealGame -> [String]
 printTeXGame (Game tags qu) = [
       "\\clearpage",
       "\\begin{center}",
       "\\fbox{\\fbox{\\large\\begin{tabular}{l}",
       ("Game " ++ gameno ++ " \\hspace{.3 in} " 
               ++ date 
               ++ " \\hspace{.3 in} " 
               ++ result 
               ++ "\\\\"),
       "\\hline" ++ (if null opening then "" else "\n" ++ opening ++ "\\\\"),
       "\\raisebox{2.5pt}[11pt]{\\framebox[11pt]{\\rule{0pt}{4.25pt}}} "
               ++ white ++ "\\\\",
       "\\rule[-1pt]{11pt}{11pt} "++ black ++ "\\\\",
       site,
       "\\end{tabular}}}",
       "\\end{center}"] ++
       (printTeXQuantums (True,startBoard,initMoveNumber) qu)
   where
       (date,site,game_no,res,white,black,opening) = getHeaderInfo tags
       gameno = case game_no of
                 Nothing -> ""
                 Just n -> show n
       result = printTeXResult res

 texPrinter :: [RealGame] -> String
 texPrinter games = 
          texHeader 
       ++ (unlines(concat(map printTeXGame games)))
       ++ texFooter

 texHeader =
       "\\documentstyle[twocolumn,a4wide,chess]{article}\n" ++
       "\\textwidth 7.0 in\n" ++
       "\\textheight 63\\baselineskip\n" ++
       "\\columnsep .4 in\n" ++
       "\\columnseprule .5 pt\n" ++
       "\\topmargin -0.5 in\n" ++
       "\\headheight 0 pt\n" ++
       "\\headsep 0 pt\n" ++
       "\\oddsidemargin -0.3 in\n" ++
       "\\font\\sc=cmcsc10\n\\pagestyle{empty}\n" ++
       "\\begin{document}\n\\thispagestyle{empty}\n\n"

 texFooter = "\n\\end{document}\n"