Skip to content

Commit

Permalink
deploy: b90f958
Browse files Browse the repository at this point in the history
  • Loading branch information
d0cd committed Dec 16, 2024
1 parent 22fbd3e commit 9d5eb36
Show file tree
Hide file tree
Showing 8 changed files with 9 additions and 9 deletions.
4 changes: 2 additions & 2 deletions index.html
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!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="List of crates"><title>Index of crates</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-b0742ba02757f159.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="leo_abnf" data-themes="" data-resource-suffix="" data-rustdoc-version="1.83.0 (90b35a623 2024-11-26)" data-channel="1.83.0" data-search-js="search-f0d225181b97f9a4.js" data-settings-js="settings-805db61a62df4bd2.js" ><script src="./static.files/storage-1d39b6787ed640ff.js"></script><script defer src="./static.files/main-f070b9041d14864c.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-0111fcff984fae8f.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.83.0</span></h2></div><div class="version">(90b35a623 2024-11-26)</div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><h1>List of all crates</h1><ul class="all-items"><li><a href="errcov/index.html">errcov</a></li><li><a href="leo/index.html">leo</a></li><li><a href="leo_abnf/index.html">leo_abnf</a></li><li><a href="leo_ast/index.html">leo_ast</a></li><li><a href="leo_compiler/index.html">leo_compiler</a></li><li><a href="leo_disassembler/index.html">leo_disassembler</a></li><li><a href="leo_errors/index.html">leo_errors</a></li><li><a href="leo_lang/index.html">leo_lang</a></li><li><a href="leo_package/index.html">leo_package</a></li><li><a href="leo_parser/index.html">leo_parser</a></li><li><a href="leo_passes/index.html">leo_passes</a></li><li><a href="leo_retriever/index.html">leo_retriever</a></li><li><a href="leo_span/index.html">leo_span</a></li><li><a href="leo_test_framework/index.html">leo_test_framework</a></li></ul></section></div></main></body></html>
<!--{"start":2506,"fragment_lengths":[47,41,51,49,59,67,55,51,57,55,55,61,51,71]}-->
<!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="List of crates"><title>Index of crates</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-b0742ba02757f159.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="leo_errors" data-themes="" data-resource-suffix="" data-rustdoc-version="1.83.0 (90b35a623 2024-11-26)" data-channel="1.83.0" data-search-js="search-f0d225181b97f9a4.js" data-settings-js="settings-805db61a62df4bd2.js" ><script src="./static.files/storage-1d39b6787ed640ff.js"></script><script defer src="./static.files/main-f070b9041d14864c.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-0111fcff984fae8f.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.83.0</span></h2></div><div class="version">(90b35a623 2024-11-26)</div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><h1>List of all crates</h1><ul class="all-items"><li><a href="errcov/index.html">errcov</a></li><li><a href="leo/index.html">leo</a></li><li><a href="leo_abnf/index.html">leo_abnf</a></li><li><a href="leo_ast/index.html">leo_ast</a></li><li><a href="leo_compiler/index.html">leo_compiler</a></li><li><a href="leo_disassembler/index.html">leo_disassembler</a></li><li><a href="leo_errors/index.html">leo_errors</a></li><li><a href="leo_lang/index.html">leo_lang</a></li><li><a href="leo_package/index.html">leo_package</a></li><li><a href="leo_parser/index.html">leo_parser</a></li><li><a href="leo_passes/index.html">leo_passes</a></li><li><a href="leo_retriever/index.html">leo_retriever</a></li><li><a href="leo_span/index.html">leo_span</a></li><li><a href="leo_test_framework/index.html">leo_test_framework</a></li></ul></section></div></main></body></html>
<!--{"start":2508,"fragment_lengths":[47,41,51,49,59,67,55,51,57,55,55,61,51,71]}-->
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_struct_init" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#224-295">source</a><a href="#method.consume_struct_init" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_struct_init" class="fn">consume_struct_init</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/struct_init/struct.StructExpression.html" title="struct leo_ast::expressions::struct_init::StructExpression">StructExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes a struct initialization expression with renamed variables, accumulating any statements that are generated.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_identifier" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#298-314">source</a><a href="#method.consume_identifier" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_identifier" class="fn">consume_identifier</a>(&amp;mut self, identifier: <a class="struct" href="../../../leo_ast/common/identifier/struct.Identifier.html" title="struct leo_ast::common::identifier::Identifier">Identifier</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Produces a new <code>Identifier</code> with a unique name.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_literal" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#317-321">source</a><a href="#method.consume_literal" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_literal" class="fn">consume_literal</a>(&amp;mut self, input: <a class="enum" href="../../../leo_ast/expressions/literal/enum.Literal.html" title="enum leo_ast::expressions::literal::Literal">Literal</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes and returns the literal without making any modifications.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_locator" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#324-326">source</a><a href="#method.consume_locator" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_locator" class="fn">consume_locator</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/locator/struct.LocatorExpression.html" title="struct leo_ast::expressions::locator::LocatorExpression">LocatorExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes and returns the locator expression without making any modifciations</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_locator" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#324-326">source</a><a href="#method.consume_locator" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_locator" class="fn">consume_locator</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/locator/struct.LocatorExpression.html" title="struct leo_ast::expressions::locator::LocatorExpression">LocatorExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes and returns the locator expression without making any modifications</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_ternary" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#329-352">source</a><a href="#method.consume_ternary" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_ternary" class="fn">consume_ternary</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/ternary/struct.TernaryExpression.html" title="struct leo_ast::expressions::ternary::TernaryExpression">TernaryExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes a ternary expression, accumulating any statements that are generated.</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_tuple" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#355-378">source</a><a href="#method.consume_tuple" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_tuple" class="fn">consume_tuple</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/tuple/struct.TupleExpression.html" title="struct leo_ast::expressions::tuple::TupleExpression">TupleExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes a tuple expression, accumulating any statements that are generated</p>
</div></details><details class="toggle method-toggle" open><summary><section id="method.consume_unary" class="method trait-impl"><a class="src rightside" href="../../../src/leo_passes/static_single_assignment/rename_expression.rs.html#381-395">source</a><a href="#method.consume_unary" class="anchor">§</a><h4 class="code-header">fn <a href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#tymethod.consume_unary" class="fn">consume_unary</a>(&amp;mut self, input: <a class="struct" href="../../../leo_ast/expressions/unary/struct.UnaryExpression.html" title="struct leo_ast::expressions::unary::UnaryExpression">UnaryExpression</a>) -&gt; Self::<a class="associatedtype" href="../../../leo_ast/passes/consumer/trait.ExpressionConsumer.html#associatedtype.Output" title="type leo_ast::passes::consumer::ExpressionConsumer::Output">Output</a></h4></section></summary><div class="docblock"><p>Consumes a unary expression, accumulating any statements that are generated.</p>
Expand Down
2 changes: 1 addition & 1 deletion src/leo_passes/common/graph/mod.rs.html
Original file line number Diff line number Diff line change
Expand Up @@ -378,7 +378,7 @@
<span class="comment">// Detects if there is a cycle in the graph starting from the given node, via a recursive depth-first search.
// If there is no cycle, returns `None`.
// If there is a cycle, returns the node that was most recently discovered.
// Nodes are added to to `finished` in post-order order.
// Nodes are added to `finished` in post-order order.
</span><span class="kw">fn </span>contains_cycle_from(<span class="kw-2">&amp;</span><span class="self">self</span>, node: N, discovered: <span class="kw-2">&amp;mut </span>IndexSet&lt;N&gt;, finished: <span class="kw-2">&amp;mut </span>IndexSet&lt;N&gt;) -&gt; <span class="prelude-ty">Option</span>&lt;N&gt; {
<span class="comment">// Add the node to the set of discovered nodes.
</span>discovered.insert(node);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -720,7 +720,7 @@
(Expression::Identifier(place), <span class="macro">vec!</span>[statement])
}

<span class="doccomment">/// Consumes and returns the locator expression without making any modifciations
<span class="doccomment">/// Consumes and returns the locator expression without making any modifications
</span><span class="kw">fn </span>consume_locator(<span class="kw-2">&amp;mut </span><span class="self">self</span>, input: LocatorExpression) -&gt; <span class="self">Self</span>::Output {
(Expression::Locator(input), Vec::new())
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -583,7 +583,7 @@
</span><span class="kw">let </span>if_true = create_phi_argument(<span class="kw-2">&amp;</span>if_table, <span class="kw-2">**</span>symbol);
<span class="kw">let </span>if_false = create_phi_argument(<span class="kw-2">&amp;</span>else_table, <span class="kw-2">**</span>symbol);

<span class="comment">// Create a new node ID for the the phi function.
<span class="comment">// Create a new node ID for the phi function.
</span><span class="kw">let </span>id = <span class="self">self</span>.node_builder.next_id();
<span class="comment">// Update the type of the node ID.
</span><span class="kw">let </span>type_ = <span class="kw">match </span><span class="self">self</span>.type_table.get(<span class="kw-2">&amp;</span>if_true.id()) {
Expand Down
2 changes: 1 addition & 1 deletion src/leo_passes/symbol_table_creation/creator.rs.html
Original file line number Diff line number Diff line change
Expand Up @@ -270,7 +270,7 @@
<span class="kw">fn </span>visit_function_stub(<span class="kw-2">&amp;mut </span><span class="self">self</span>, input: <span class="kw-2">&amp;</span><span class="lifetime">'a </span>FunctionStub) {
<span class="comment">// Construct the location for the function.
</span><span class="kw">let </span>location = Location::new(<span class="self">self</span>.program_name, input.name());
<span class="comment">// Initalize the function symbol.
<span class="comment">// Initialize the function symbol.
</span><span class="kw">if let </span><span class="prelude-val">Err</span>(err) = <span class="self">self</span>.symbol_table.insert_fn(location.clone(), <span class="kw-2">&amp;</span>Function::from(input.clone())) {
<span class="self">self</span>.handler.emit_err(err);
}
Expand Down
2 changes: 1 addition & 1 deletion src/leo_passes/type_checking/check_expressions.rs.html
Original file line number Diff line number Diff line change
Expand Up @@ -1734,7 +1734,7 @@
</span><span class="self">self</span>.scope_state.is_call = <span class="bool-val">true</span>;
<span class="kw">let </span>(<span class="kw-2">mut </span>input_futures, <span class="kw-2">mut </span>inferred_finalize_inputs) = (Vec::new(), Vec::new());
<span class="kw">for </span>(expected, argument) <span class="kw">in </span>func.input.iter().zip(input.arguments.iter()) {
<span class="comment">// Get the type of the expression. If the type is not known, do not attempt to attempt any futher inference.
<span class="comment">// Get the type of the expression. If the type is not known, do not attempt to attempt any further inference.
</span><span class="kw">let </span>ty = <span class="self">self</span>.visit_expression(argument, <span class="kw-2">&amp;</span><span class="prelude-val">Some</span>(expected.type_().clone()))<span class="question-mark">?</span>;
<span class="comment">// Extract information about futures that are being consumed.
</span><span class="kw">if </span>func.variant == Variant::AsyncFunction &amp;&amp; <span class="macro">matches!</span>(expected.type_(), Type::Future(<span class="kw">_</span>)) {
Expand Down
2 changes: 1 addition & 1 deletion src/leo_passes/type_checking/check_statements.rs.html
Original file line number Diff line number Diff line change
Expand Up @@ -522,7 +522,7 @@
}

<span class="comment">// If the variable exists and its in an async function, then check that it is in the current scope.
// Note that this unwrap is safe because the scope state is initalized before traversing the function.
// Note that this unwrap is safe because the scope state is initialized before traversing the function.
</span><span class="kw">if </span><span class="self">self</span>.scope_state.variant.unwrap().is_async_function()
&amp;&amp; <span class="self">self</span>.scope_state.is_conditional
&amp;&amp; <span class="self">self
Expand Down

0 comments on commit 9d5eb36

Please sign in to comment.