Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / InsertSignalChecks
CommitLineData
7f918cf1
CE
1<!DOCTYPE html>\r
2<html lang="en">\r
3<head>\r
4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">\r
5<meta name="generator" content="AsciiDoc 8.6.9">\r
6<title>InsertSignalChecks</title>\r
7<link rel="stylesheet" href="./asciidoc.css" type="text/css">\r
8<link rel="stylesheet" href="./pygments.css" type="text/css">\r
9\r
10\r
11<script type="text/javascript" src="./asciidoc.js"></script>\r
12<script type="text/javascript">\r
13/*<![CDATA[*/\r
14asciidoc.install();\r
15/*]]>*/\r
16</script>\r
17<link rel="stylesheet" href="./mlton.css" type="text/css">\r
18</head>\r
19<body class="article">\r
20<div id="banner">\r
21<div id="banner-home">\r
22<a href="./Home">MLton 20180207</a>\r
23</div>\r
24</div>\r
25<div id="header">\r
26<h1>InsertSignalChecks</h1>\r
27</div>\r
28<div id="content">\r
29<div id="preamble">\r
30<div class="sectionbody">\r
31<div class="paragraph"><p><a href="InsertSignalChecks">InsertSignalChecks</a> is a pass for the <a href="RSSA">RSSA</a>\r
32<a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="RSSASimplify">RSSASimplify</a>.</p></div>\r
33</div>\r
34</div>\r
35<div class="sect1">\r
36<h2 id="_description">Description</h2>\r
37<div class="sectionbody">\r
38<div class="paragraph"><p>This pass inserts signal checks.</p></div>\r
39</div>\r
40</div>\r
41<div class="sect1">\r
42<h2 id="_implementation">Implementation</h2>\r
43<div class="sectionbody">\r
44<div class="ulist"><ul>\r
45<li>\r
46<p>\r
47<a href="https://github.com/MLton/mlton/blob/master/mlton/backend/limit-check.fun"><span class="monospaced">limit-check.fun</span></a>\r
48</p>\r
49</li>\r
50</ul></div>\r
51</div>\r
52</div>\r
53<div class="sect1">\r
54<h2 id="_details_and_notes">Details and Notes</h2>\r
55<div class="sectionbody">\r
56<div class="paragraph"><p></p></div>\r
57</div>\r
58</div>\r
59</div>\r
60<div id="footnotes"><hr></div>\r
61<div id="footer">\r
62<div id="footer-text">\r
63</div>\r
64<div id="footer-badges">\r
65</div>\r
66</div>\r
67</body>\r
68</html>\r