FIX #1861: floating-point constants for infinity and NaN in via-C
[ghc-hetmet.git] / docs / storage-mgt / smallobjectpool.eepic
1 \setlength{\unitlength}{0.00050000in}
2 %
3 \begingroup\makeatletter\ifx\SetFigFont\undefined%
4 \gdef\SetFigFont#1#2#3#4#5{%
5   \reset@font\fontsize{#1}{#2pt}%
6   \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
7   \selectfont}%
8 \fi\endgroup%
9 {\renewcommand{\dashlinestretch}{30}
10 \begin{picture}(10062,5607)(0,-10)
11 \path(3375,5262)(4950,5262)(4950,4062)
12         (3375,4062)(3375,5262)
13 \path(4125,5112)(4125,5562)(6750,5562)(6750,5262)
14 \path(6720.000,5382.000)(6750.000,5262.000)(6780.000,5382.000)
15 \path(6750,5262)(10050,5262)(10050,4062)
16         (6750,4062)(6750,5262)
17 \path(6870.000,4692.000)(6750.000,4662.000)(6870.000,4632.000)
18 \path(6750,4662)(8625,4662)
19 \path(8505.000,4632.000)(8625.000,4662.000)(8505.000,4692.000)
20 \path(8625,5262)(8625,4062)
21 \path(8025,3387)(8625,3387)(8625,4062)
22 \path(8655.000,3942.000)(8625.000,4062.000)(8595.000,3942.000)
23 \path(8400,2937)(10050,2937)(10050,4062)
24 \path(10080.000,3942.000)(10050.000,4062.000)(10020.000,3942.000)
25 \path(3525,4212)(2925,4212)(2925,2712)
26 \path(2895.000,2832.000)(2925.000,2712.000)(2955.000,2832.000)
27 \path(1950,4962)(3375,4962)
28 \path(3255.000,4932.000)(3375.000,4962.000)(3255.000,4992.000)
29 \path(2925,2262)(2925,1737)(3300,1737)
30 \path(3180.000,1707.000)(3300.000,1737.000)(3180.000,1767.000)
31 \path(3300,1812)(4875,1812)(4875,612)
32         (3300,612)(3300,1812)
33 \path(4050,1662)(4050,2112)(6675,2112)(6675,1812)
34 \path(6645.000,1932.000)(6675.000,1812.000)(6705.000,1932.000)
35 \path(9750,1812)(9750,612)
36 \path(6675,1812)(9975,1812)(9975,612)
37         (6675,612)(6675,1812)
38 \path(3450,762)(2850,762)(2850,237)
39 \path(2820.000,357.000)(2850.000,237.000)(2880.000,357.000)
40 \path(6795.000,1242.000)(6675.000,1212.000)(6795.000,1182.000)
41 \path(6675,1212)(9750,1212)
42 \path(9630.000,1182.000)(9750.000,1212.000)(9630.000,1242.000)
43 \path(3900,1362)(5850,1362)(5850,12)
44         (9750,12)(9750,612)
45 \path(9780.000,492.000)(9750.000,612.000)(9720.000,492.000)
46 \put(3450,5037){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
47 \put(3600,4137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
48 \put(3450,4437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
49 \put(7425,5412){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
50 \put(6900,4812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
51 \put(8850,4812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
52 \put(8850,4527){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}memory}}}}}
53 \put(2700,2487){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
54 \put(0,4887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}small\_alloc\_list}}}}}
55 \put(6825,3312){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}alloc\_Hp}}}}}
56 \put(6600,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}alloc\_HpLim}}}}}
57 \put(3375,1587){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
58 \put(3525,687){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
59 \put(3375,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
60 \put(7350,1962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
61 \put(7350,1362){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
62 \put(2625,12){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
63 \put(3375,1302){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
64 \end{picture}
65 }