blob: 10d20a567154be396861fcf5f003dd3080ef1998 (
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
|
-- partain: the failure (crashing) was w/ -prof-auto compilation
module Main where
xreff :: Int -> [String] -> Table -> Int -> String -> String
xreff cc exs stab lineno [] = display (foldl delete stab exs)
xreff cc exs stab lineno ('\n':cs) = xreff cc exs stab (lineno+1) cs
xreff cc exs stab lineno (c:cs)
= if (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z') then
case getRestWord cs of
(word, rest) -> if (cc :: Int) == 0
then if stab == stab
then
xreff 1000 exs
(enter lineno stab (c:word)) lineno rest
else error "Force failed?!"
else xreff (cc-1) exs
(enter lineno stab (c:word)) lineno rest
else xreff cc exs stab lineno cs
xref exceptions source = xreff 1000 exceptions ALeaf 1 source
getRestWord [] = ([], [])
getRestWord xs@(x:xs')
| (x >= 'a' && x <= 'z') || (x >= 'A' && x <= 'Z') || (x >= '0' && x <= '9')
= case getRestWord xs' of
(ys,zs) -> if (x >= 'A' && x <= 'Z')
then (toEnum (fromEnum x + (32::Int)):ys, zs)
else (x:ys, zs)
| otherwise
= ([],xs)
data Table = ALeaf | ABranch Table String [Int] Table deriving (Eq)
enter n ALeaf w = ABranch ALeaf w [n] ALeaf
enter n (ABranch l k ns r) w
= if w < k then ABranch (enter n l w) k ns r else
if w > k then ABranch l k ns (enter n r w) else
ABranch l k (n:ns) r
delete ALeaf w = ALeaf
delete (ABranch l k ns r) w
= if w < k then ABranch (delete l w) k ns r else
if w > k then ABranch l k ns (delete r w) else
ABranch l k [] r
display :: Table -> String
display t = display_a t ""
display_a :: Table -> String -> String
display_a ALeaf acc = acc
display_a (ABranch l k ns r) acc
= display_a l (dispLine k ns ++ display_a r acc)
dispLine k [] = ""
dispLine k ns = k ++ ":" ++ dispNos ns ++ "\n"
dispNos :: [Int] -> String
dispNos [] = ""
dispNos (n:ns) = ' ':(show n ++ dispNos ns)
main = do
input <- getContents
exceptions <- catch (readFile "exceptions") (\ e -> return "")
putStr (xref (lines exceptions) input)
{- OLD 1.2:
main = readChan stdin abort (\input ->
readFile "exceptions"
(\errors -> output (xref [] input))
(\exceptions -> output (xref (lines exceptions) input)))
where output s = appendChan stdout s abort done
-}
|
