forked from argotorg/fe
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmodule.rs.html
More file actions
90 lines (85 loc) · 9.37 KB
/
Copy pathmodule.rs.html
File metadata and controls
90 lines (85 loc) · 9.37 KB
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
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Source of the Rust file `semantics/src/traversal/module.rs`."><meta name="keywords" content="rust, rustlang, rust-lang"><title>module.rs - source</title><link rel="stylesheet" type="text/css" href="../../../normalize.css"><link rel="stylesheet" type="text/css" href="../../../rustdoc.css" id="mainThemeStyle"><link rel="stylesheet" type="text/css" href="../../../light.css" id="themeStyle"><link rel="stylesheet" type="text/css" href="../../../dark.css" disabled ><link rel="stylesheet" type="text/css" href="../../../ayu.css" disabled ><script src="../../../storage.js"></script><noscript><link rel="stylesheet" href="../../../noscript.css"></noscript><link rel="icon" type="image/svg+xml" href="../../../favicon.svg">
<link rel="alternate icon" type="image/png" href="../../../favicon-16x16.png">
<link rel="alternate icon" type="image/png" href="../../../favicon-32x32.png"><style type="text/css">#crate-search{background-image:url("../../../down-arrow.svg");}</style></head><body class="rustdoc source"><!--[if lte IE 8]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="sidebar"><div class="sidebar-menu">☰</div><a href='../../../fe_semantics/index.html'><div class='logo-container rust-logo'><img src='../../../rust-logo.png' alt='logo'></div></a></nav><div class="theme-picker"><button id="theme-picker" aria-label="Pick another theme!"><img src="../../../brush.svg" width="18" alt="Pick another theme!"></button><div id="theme-choices"></div></div><script src="../../../theme.js"></script><nav class="sub"><form class="search-form"><div class="search-container"><div><select id="crate-search"><option value="All crates">All crates</option></select><input class="search-input" name="search" disabled autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"></div><span class="help-button">?</span>
<a id="settings-menu" href="../../../settings.html"><img src="../../../wheel.svg" width="18" alt="Change settings"></a></div></form></nav><section id="main" class="content"><pre class="line-numbers"><span id="1"> 1</span>
<span id="2"> 2</span>
<span id="3"> 3</span>
<span id="4"> 4</span>
<span id="5"> 5</span>
<span id="6"> 6</span>
<span id="7"> 7</span>
<span id="8"> 8</span>
<span id="9"> 9</span>
<span id="10">10</span>
<span id="11">11</span>
<span id="12">12</span>
<span id="13">13</span>
<span id="14">14</span>
<span id="15">15</span>
<span id="16">16</span>
<span id="17">17</span>
<span id="18">18</span>
<span id="19">19</span>
<span id="20">20</span>
<span id="21">21</span>
<span id="22">22</span>
<span id="23">23</span>
<span id="24">24</span>
<span id="25">25</span>
<span id="26">26</span>
<span id="27">27</span>
<span id="28">28</span>
<span id="29">29</span>
<span id="30">30</span>
<span id="31">31</span>
<span id="32">32</span>
<span id="33">33</span>
<span id="34">34</span>
<span id="35">35</span>
<span id="36">36</span>
<span id="37">37</span>
<span id="38">38</span>
<span id="39">39</span>
<span id="40">40</span>
<span id="41">41</span>
<span id="42">42</span>
</pre><div class="example-wrap"><pre class="rust ">
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">errors</span>::<span class="ident">SemanticError</span>;
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">namespace</span>::<span class="ident">scopes</span>::{
<span class="ident">ModuleScope</span>,
<span class="ident">Shared</span>,
};
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">namespace</span>::<span class="ident">types</span>;
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">traversal</span>::<span class="ident">contracts</span>;
<span class="kw">use</span> <span class="kw">crate</span>::<span class="ident">Context</span>;
<span class="kw">use</span> <span class="ident">fe_parser</span>::<span class="ident">ast</span> <span class="kw">as</span> <span class="ident">fe</span>;
<span class="kw">use</span> <span class="ident">fe_parser</span>::<span class="ident">span</span>::<span class="ident">Spanned</span>;
<span class="kw">use</span> <span class="ident">std</span>::<span class="ident">rc</span>::<span class="ident">Rc</span>;
<span class="doccomment">/// Gather context information for a module and check for type errors.</span>
<span class="kw">pub</span> <span class="kw">fn</span> <span class="ident">module</span>(<span class="ident">context</span>: <span class="ident">Shared</span><span class="op"><</span><span class="ident">Context</span><span class="op">></span>, <span class="ident">module</span>: <span class="kw-2">&</span><span class="ident">fe</span>::<span class="ident">Module</span>) <span class="op">-</span><span class="op">></span> <span class="prelude-ty">Result</span><span class="op"><</span>(), <span class="ident">SemanticError</span><span class="op">></span> {
<span class="kw">let</span> <span class="ident">scope</span> <span class="op">=</span> <span class="ident">ModuleScope</span>::<span class="ident">new</span>();
<span class="kw">for</span> <span class="ident">stmt</span> <span class="kw">in</span> <span class="ident">module</span>.<span class="ident">body</span>.<span class="ident">iter</span>() {
<span class="kw">match</span> <span class="kw-2">&</span><span class="ident">stmt</span>.<span class="ident">node</span> {
<span class="ident">fe</span>::<span class="ident">ModuleStmt</span>::<span class="ident">TypeDef</span> { .. } <span class="op">=</span><span class="op">></span> <span class="ident">type_def</span>(<span class="ident">Rc</span>::<span class="ident">clone</span>(<span class="kw-2">&</span><span class="ident">scope</span>), <span class="ident">stmt</span>)<span class="question-mark">?</span>,
<span class="ident">fe</span>::<span class="ident">ModuleStmt</span>::<span class="ident">ContractDef</span> { .. } <span class="op">=</span><span class="op">></span> {
<span class="ident">contracts</span>::<span class="ident">contract_def</span>(<span class="ident">Rc</span>::<span class="ident">clone</span>(<span class="kw-2">&</span><span class="ident">scope</span>), <span class="ident">Rc</span>::<span class="ident">clone</span>(<span class="kw-2">&</span><span class="ident">context</span>), <span class="ident">stmt</span>)<span class="question-mark">?</span>
}
<span class="ident">fe</span>::<span class="ident">ModuleStmt</span>::<span class="ident">FromImport</span> { .. } <span class="op">=</span><span class="op">></span> <span class="macro">unimplemented</span><span class="macro">!</span>(),
<span class="ident">fe</span>::<span class="ident">ModuleStmt</span>::<span class="ident">SimpleImport</span> { .. } <span class="op">=</span><span class="op">></span> <span class="macro">unimplemented</span><span class="macro">!</span>(),
}
}
<span class="prelude-val">Ok</span>(())
}
<span class="kw">fn</span> <span class="ident">type_def</span>(
<span class="ident">scope</span>: <span class="ident">Shared</span><span class="op"><</span><span class="ident">ModuleScope</span><span class="op">></span>,
<span class="ident">def</span>: <span class="kw-2">&</span><span class="ident">Spanned</span><span class="op"><</span><span class="ident">fe</span>::<span class="ident">ModuleStmt</span><span class="op">></span>,
) <span class="op">-</span><span class="op">></span> <span class="prelude-ty">Result</span><span class="op"><</span>(), <span class="ident">SemanticError</span><span class="op">></span> {
<span class="kw">if</span> <span class="kw">let</span> <span class="ident">fe</span>::<span class="ident">ModuleStmt</span>::<span class="ident">TypeDef</span> { <span class="ident">name</span>, <span class="ident">typ</span> } <span class="op">=</span> <span class="kw-2">&</span><span class="ident">def</span>.<span class="ident">node</span> {
<span class="kw">let</span> <span class="ident">typ</span> <span class="op">=</span> <span class="ident">types</span>::<span class="ident">type_desc</span>(<span class="kw-2">&</span><span class="ident">scope</span>.<span class="ident">borrow</span>().<span class="ident">defs</span>, <span class="kw-2">&</span><span class="ident">typ</span>.<span class="ident">node</span>)<span class="question-mark">?</span>;
<span class="ident">scope</span>.<span class="ident">borrow_mut</span>().<span class="ident">add_type_def</span>(<span class="ident">name</span>.<span class="ident">node</span>.<span class="ident">to_string</span>(), <span class="ident">typ</span>);
<span class="kw">return</span> <span class="prelude-val">Ok</span>(());
}
<span class="macro">unreachable</span><span class="macro">!</span>()
}
</pre></div>
</section><section id="search" class="content hidden"></section><section class="footer"></section><script>window.rootPath = "../../../";window.currentCrate = "fe_semantics";</script><script src="../../../main.js"></script><script src="../../../source-script.js"></script><script src="../../../source-files.js"></script><script defer src="../../../search-index.js"></script></body></html>