mirror of
https://github.com/edg-l/edlang.git
synced 2024-11-23 00:18:24 +00:00
deploy: a2a3bdbb3e
This commit is contained in:
edg-l
parent
6e454cfb5d
commit
3447e0c18f
|
|
@ -1,5 +1,5 @@
|
||||||
<!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="Creates a report from a lowering error."><title>lowering_error_to_report in edlang_check - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_check" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 fn"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_check/index.html">edlang_check</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
|
<!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="Creates a report from a lowering error."><title>lowering_error_to_report in edlang_check - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_check" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 fn"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_check/index.html">edlang_check</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
|
||||||
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_check/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Function <a href="index.html">edlang_check</a>::<wbr><a class="fn" href="#">lowering_error_to_report</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_check/lib.rs.html#8-109">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><pre class="rust item-decl"><code>pub fn lowering_error_to_report(
|
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_check/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Function <a href="index.html">edlang_check</a>::<wbr><a class="fn" href="#">lowering_error_to_report</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_check/lib.rs.html#8-130">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><pre class="rust item-decl"><code>pub fn lowering_error_to_report(
|
||||||
error: <a class="enum" href="../edlang_lowering/errors/enum.LoweringError.html" title="enum edlang_lowering::errors::LoweringError">LoweringError</a>,
|
error: <a class="enum" href="../edlang_lowering/errors/enum.LoweringError.html" title="enum edlang_lowering::errors::LoweringError">LoweringError</a>,
|
||||||
session: &<a class="struct" href="../edlang_session/struct.Session.html" title="struct edlang_session::Session">Session</a>
|
session: &<a class="struct" href="../edlang_session/struct.Session.html" title="struct edlang_session::Session">Session</a>
|
||||||
) -> <a class="struct" href="../ariadne/struct.Report.html" title="struct ariadne::Report">Report</a><'_, (<a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>, <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/ops/range/struct.Range.html" title="struct core::ops::range::Range">Range</a><<a class="primitive" href="https://doc.rust-lang.org/1.76.0/std/primitive.usize.html">usize</a>>)></code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Creates a report from a lowering error.</p>
|
) -> <a class="struct" href="../ariadne/struct.Report.html" title="struct ariadne::Report">Report</a><'_, (<a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>, <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/ops/range/struct.Range.html" title="struct core::ops::range::Range">Range</a><<a class="primitive" href="https://doc.rust-lang.org/1.76.0/std/primitive.usize.html">usize</a>>)></code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Creates a report from a lowering error.</p>
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,3 @@
|
||||||
<!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="API documentation for the Rust `edlang_check` crate."><title>edlang_check - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_check" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../crates.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 crate"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_check/index.html">edlang_check</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"><ul class="block">
|
<!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="API documentation for the Rust `edlang_check` crate."><title>edlang_check - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_check" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../crates.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 crate"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_check/index.html">edlang_check</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"><ul class="block">
|
||||||
<li><a id="all-types" href="all.html">All Items</a></li></ul><section><ul class="block"><li><a href="#functions">Functions</a></li></ul></section></div></nav><div class="sidebar-resizer"></div>
|
<li><a id="all-types" href="all.html">All Items</a></li></ul><section><ul class="block"><li><a href="#functions">Functions</a></li></ul></section></div></nav><div class="sidebar-resizer"></div>
|
||||||
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_check/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Crate <a class="mod" href="#">edlang_check</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_check/lib.rs.html#1-109">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="functions" class="section-header"><a href="#functions">Functions</a></h2><ul class="item-table"><li><div class="item-name"><a class="fn" href="fn.lowering_error_to_report.html" title="fn edlang_check::lowering_error_to_report">lowering_error_to_report</a></div><div class="desc docblock-short">Creates a report from a lowering error.</div></li></ul></section></div></main></body></html>
|
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_check/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Crate <a class="mod" href="#">edlang_check</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_check/lib.rs.html#1-130">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="functions" class="section-header"><a href="#functions">Functions</a></h2><ul class="item-table"><li><div class="item-name"><a class="fn" href="fn.lowering_error_to_report.html" title="fn edlang_check::lowering_error_to_report">lowering_error_to_report</a></div><div class="desc docblock-short">Creates a report from a lowering error.</div></li></ul></section></div></main></body></html>
|
||||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -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="API documentation for the Rust `errors` mod in crate `edlang_lowering`."><title>edlang_lowering::errors - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../../" data-static-root-path="../../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../sidebar-items.js"></script><script defer src="../../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../../static.files/favicon-16x16-8b506e7a72182f1c.png"><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"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><h2 class="location"><a href="#">Module errors</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#enums">Enums</a></li></ul></section><h2><a href="../index.html">In crate edlang_lowering</a></h2></div></nav><div class="sidebar-resizer"></div>
|
<!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="API documentation for the Rust `errors` mod in crate `edlang_lowering`."><title>edlang_lowering::errors - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../../" data-static-root-path="../../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../sidebar-items.js"></script><script defer src="../../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../../static.files/favicon-16x16-8b506e7a72182f1c.png"><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"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><h2 class="location"><a href="#">Module errors</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#enums">Enums</a></li></ul></section><h2><a href="../index.html">In crate edlang_lowering</a></h2></div></nav><div class="sidebar-resizer"></div>
|
||||||
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">edlang_lowering</a>::<wbr><a class="mod" href="#">errors</a><button id="copy-path" title="Copy item path to clipboard"><img src="../../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../../src/edlang_lowering/errors.rs.html#1-30">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="enums" class="section-header"><a href="#enums">Enums</a></h2><ul class="item-table"><li><div class="item-name"><a class="enum" href="enum.LoweringError.html" title="enum edlang_lowering::errors::LoweringError">LoweringError</a></div></li></ul></section></div></main></body></html>
|
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">edlang_lowering</a>::<wbr><a class="mod" href="#">errors</a><button id="copy-path" title="Copy item path to clipboard"><img src="../../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../../src/edlang_lowering/errors.rs.html#1-37">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="enums" class="section-header"><a href="#enums">Enums</a></h2><ul class="item-table"><li><div class="item-name"><a class="enum" href="enum.LoweringError.html" title="enum edlang_lowering::errors::LoweringError">LoweringError</a></div></li></ul></section></div></main></body></html>
|
||||||
|
|
@ -1,5 +1,5 @@
|
||||||
<!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="API documentation for the Rust `lower_type` fn in crate `edlang_lowering`."><title>lower_type in edlang_lowering - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 fn"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
|
<!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="API documentation for the Rust `lower_type` fn in crate `edlang_lowering`."><title>lower_type in edlang_lowering - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 fn"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div>
|
||||||
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Function <a href="index.html">edlang_lowering</a>::<wbr><a class="fn" href="#">lower_type</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_lowering/lib.rs.html#1080-1174">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><pre class="rust item-decl"><code>pub fn lower_type(
|
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Function <a href="index.html">edlang_lowering</a>::<wbr><a class="fn" href="#">lower_type</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_lowering/lib.rs.html#1167-1261">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><pre class="rust item-decl"><code>pub fn lower_type(
|
||||||
ctx: &BuildCtx,
|
ctx: &BuildCtx,
|
||||||
t: &<a class="struct" href="../edlang_ast/struct.Type.html" title="struct edlang_ast::Type">Type</a>,
|
t: &<a class="struct" href="../edlang_ast/struct.Type.html" title="struct edlang_ast::Type">Type</a>,
|
||||||
module_id: <a class="struct" href="../edlang_ir/struct.DefId.html" title="struct edlang_ir::DefId">DefId</a>
|
module_id: <a class="struct" href="../edlang_ir/struct.DefId.html" title="struct edlang_ir::DefId">DefId</a>
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,3 @@
|
||||||
<!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="API documentation for the Rust `edlang_lowering` crate."><title>edlang_lowering - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../crates.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 crate"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"><ul class="block">
|
<!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="API documentation for the Rust `edlang_lowering` crate."><title>edlang_lowering - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="edlang_lowering" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../crates.js"></script><script defer src="../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../static.files/favicon-16x16-8b506e7a72182f1c.png"><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 crate"><!--[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">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_lowering/index.html">edlang_lowering</a><span class="version">0.0.1-alpha.9</span></h2></div><div class="sidebar-elems"><ul class="block">
|
||||||
<li><a id="all-types" href="all.html">All Items</a></li></ul><section><ul class="block"><li><a href="#modules">Modules</a></li><li><a href="#functions">Functions</a></li></ul></section></div></nav><div class="sidebar-resizer"></div>
|
<li><a id="all-types" href="all.html">All Items</a></li></ul><section><ul class="block"><li><a href="#modules">Modules</a></li><li><a href="#functions">Functions</a></li></ul></section></div></nav><div class="sidebar-resizer"></div>
|
||||||
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Crate <a class="mod" href="#">edlang_lowering</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_lowering/lib.rs.html#1-1174">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="modules" class="section-header"><a href="#modules">Modules</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="errors/index.html" title="mod edlang_lowering::errors">errors</a></div></li></ul><h2 id="functions" class="section-header"><a href="#functions">Functions</a></h2><ul class="item-table"><li><div class="item-name"><a class="fn" href="fn.lower_modules.html" title="fn edlang_lowering::lower_modules">lower_modules</a></div></li><li><div class="item-name"><a class="fn" href="fn.lower_type.html" title="fn edlang_lowering::lower_type">lower_type</a></div></li></ul></section></div></main></body></html>
|
<main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../edlang_lowering/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Crate <a class="mod" href="#">edlang_lowering</a><button id="copy-path" title="Copy item path to clipboard"><img src="../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../src/edlang_lowering/lib.rs.html#1-1261">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><h2 id="modules" class="section-header"><a href="#modules">Modules</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="errors/index.html" title="mod edlang_lowering::errors">errors</a></div></li></ul><h2 id="functions" class="section-header"><a href="#functions">Functions</a></h2><ul class="item-table"><li><div class="item-name"><a class="fn" href="fn.lower_modules.html" title="fn edlang_lowering::lower_modules">lower_modules</a></div></li><li><div class="item-name"><a class="fn" href="fn.lower_type.html" title="fn edlang_lowering::lower_type">lower_type</a></div></li></ul></section></div></main></body></html>
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -108,6 +108,27 @@
|
||||||
<a href="#107" id="107">107</a>
|
<a href="#107" id="107">107</a>
|
||||||
<a href="#108" id="108">108</a>
|
<a href="#108" id="108">108</a>
|
||||||
<a href="#109" id="109">109</a>
|
<a href="#109" id="109">109</a>
|
||||||
|
<a href="#110" id="110">110</a>
|
||||||
|
<a href="#111" id="111">111</a>
|
||||||
|
<a href="#112" id="112">112</a>
|
||||||
|
<a href="#113" id="113">113</a>
|
||||||
|
<a href="#114" id="114">114</a>
|
||||||
|
<a href="#115" id="115">115</a>
|
||||||
|
<a href="#116" id="116">116</a>
|
||||||
|
<a href="#117" id="117">117</a>
|
||||||
|
<a href="#118" id="118">118</a>
|
||||||
|
<a href="#119" id="119">119</a>
|
||||||
|
<a href="#120" id="120">120</a>
|
||||||
|
<a href="#121" id="121">121</a>
|
||||||
|
<a href="#122" id="122">122</a>
|
||||||
|
<a href="#123" id="123">123</a>
|
||||||
|
<a href="#124" id="124">124</a>
|
||||||
|
<a href="#125" id="125">125</a>
|
||||||
|
<a href="#126" id="126">126</a>
|
||||||
|
<a href="#127" id="127">127</a>
|
||||||
|
<a href="#128" id="128">128</a>
|
||||||
|
<a href="#129" id="129">129</a>
|
||||||
|
<a href="#130" id="130">130</a>
|
||||||
</pre></div><pre class="rust"><code><span class="kw">use </span>std::ops::Range;
|
</pre></div><pre class="rust"><code><span class="kw">use </span>std::ops::Range;
|
||||||
|
|
||||||
<span class="kw">use </span>ariadne::{ColorGenerator, Label, Report, ReportKind};
|
<span class="kw">use </span>ariadne::{ColorGenerator, Label, Report, ReportKind};
|
||||||
|
|
@ -194,6 +215,27 @@
|
||||||
.with_message(<span class="macro">format!</span>(<span class="string">"Unresolved type {:?}."</span>, name))
|
.with_message(<span class="macro">format!</span>(<span class="string">"Unresolved type {:?}."</span>, name))
|
||||||
.finish()
|
.finish()
|
||||||
},
|
},
|
||||||
|
LoweringError::UnexpectedType { span, found, expected } => {
|
||||||
|
<span class="kw">let </span><span class="kw-2">mut </span>labels = <span class="macro">vec!</span>[
|
||||||
|
Label::new((path.clone(), span.into()))
|
||||||
|
.with_message(<span class="macro">format!</span>(<span class="string">"Unexpected type '{}', expected '{}'"</span>, found, expected.kind))
|
||||||
|
.with_color(colors.next())
|
||||||
|
];
|
||||||
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(span) = expected.span {
|
||||||
|
labels.push(
|
||||||
|
Label::new((path.clone(), span.into()))
|
||||||
|
.with_message(<span class="macro">format!</span>(<span class="string">"expected '{}' due to this type"</span>, expected.kind))
|
||||||
|
.with_color(colors.next())
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
Report::build(ReportKind::Error, path.clone(), span.lo)
|
||||||
|
.with_code(<span class="string">"E3"</span>)
|
||||||
|
.with_labels(labels)
|
||||||
|
.with_message(<span class="macro">format!</span>(<span class="string">"expected type {}."</span>, expected.kind))
|
||||||
|
.finish()
|
||||||
|
},
|
||||||
LoweringError::IdNotFound { span, id } => {
|
LoweringError::IdNotFound { span, id } => {
|
||||||
Report::build(ReportKind::Error, path.clone(), span.lo)
|
Report::build(ReportKind::Error, path.clone(), span.lo)
|
||||||
.with_code(<span class="string">"E_ID"</span>)
|
.with_code(<span class="string">"E_ID"</span>)
|
||||||
|
|
|
||||||
|
|
@ -478,9 +478,58 @@
|
||||||
<a href="#477" id="477">477</a>
|
<a href="#477" id="477">477</a>
|
||||||
<a href="#478" id="478">478</a>
|
<a href="#478" id="478">478</a>
|
||||||
<a href="#479" id="479">479</a>
|
<a href="#479" id="479">479</a>
|
||||||
|
<a href="#480" id="480">480</a>
|
||||||
|
<a href="#481" id="481">481</a>
|
||||||
|
<a href="#482" id="482">482</a>
|
||||||
|
<a href="#483" id="483">483</a>
|
||||||
|
<a href="#484" id="484">484</a>
|
||||||
|
<a href="#485" id="485">485</a>
|
||||||
|
<a href="#486" id="486">486</a>
|
||||||
|
<a href="#487" id="487">487</a>
|
||||||
|
<a href="#488" id="488">488</a>
|
||||||
|
<a href="#489" id="489">489</a>
|
||||||
|
<a href="#490" id="490">490</a>
|
||||||
|
<a href="#491" id="491">491</a>
|
||||||
|
<a href="#492" id="492">492</a>
|
||||||
|
<a href="#493" id="493">493</a>
|
||||||
|
<a href="#494" id="494">494</a>
|
||||||
|
<a href="#495" id="495">495</a>
|
||||||
|
<a href="#496" id="496">496</a>
|
||||||
|
<a href="#497" id="497">497</a>
|
||||||
|
<a href="#498" id="498">498</a>
|
||||||
|
<a href="#499" id="499">499</a>
|
||||||
|
<a href="#500" id="500">500</a>
|
||||||
|
<a href="#501" id="501">501</a>
|
||||||
|
<a href="#502" id="502">502</a>
|
||||||
|
<a href="#503" id="503">503</a>
|
||||||
|
<a href="#504" id="504">504</a>
|
||||||
|
<a href="#505" id="505">505</a>
|
||||||
|
<a href="#506" id="506">506</a>
|
||||||
|
<a href="#507" id="507">507</a>
|
||||||
|
<a href="#508" id="508">508</a>
|
||||||
|
<a href="#509" id="509">509</a>
|
||||||
|
<a href="#510" id="510">510</a>
|
||||||
|
<a href="#511" id="511">511</a>
|
||||||
|
<a href="#512" id="512">512</a>
|
||||||
|
<a href="#513" id="513">513</a>
|
||||||
|
<a href="#514" id="514">514</a>
|
||||||
|
<a href="#515" id="515">515</a>
|
||||||
|
<a href="#516" id="516">516</a>
|
||||||
|
<a href="#517" id="517">517</a>
|
||||||
|
<a href="#518" id="518">518</a>
|
||||||
|
<a href="#519" id="519">519</a>
|
||||||
|
<a href="#520" id="520">520</a>
|
||||||
|
<a href="#521" id="521">521</a>
|
||||||
|
<a href="#522" id="522">522</a>
|
||||||
|
<a href="#523" id="523">523</a>
|
||||||
|
<a href="#524" id="524">524</a>
|
||||||
|
<a href="#525" id="525">525</a>
|
||||||
</pre></div><pre class="rust"><code><span class="comment">// Based on a cfg
|
</pre></div><pre class="rust"><code><span class="comment">// Based on a cfg
|
||||||
|
|
||||||
</span><span class="kw">use </span>std::collections::{BTreeMap, HashMap, HashSet};
|
</span><span class="kw">use </span>std::{
|
||||||
|
collections::{BTreeMap, HashMap, HashSet},
|
||||||
|
fmt,
|
||||||
|
};
|
||||||
|
|
||||||
<span class="kw">use </span>edlang_span::Span;
|
<span class="kw">use </span>edlang_span::Span;
|
||||||
<span class="kw">use </span>smallvec::SmallVec;
|
<span class="kw">use </span>smallvec::SmallVec;
|
||||||
|
|
@ -687,13 +736,13 @@
|
||||||
<span class="kw">pub </span>targets: Vec<usize>,
|
<span class="kw">pub </span>targets: Vec<usize>,
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="attr">#[derive(Debug, Clone)]
|
<span class="attr">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
|
||||||
</span><span class="kw">pub struct </span>TypeInfo {
|
</span><span class="kw">pub struct </span>TypeInfo {
|
||||||
<span class="kw">pub </span>span: <span class="prelude-ty">Option</span><Span>,
|
<span class="kw">pub </span>span: <span class="prelude-ty">Option</span><Span>,
|
||||||
<span class="kw">pub </span>kind: TypeKind,
|
<span class="kw">pub </span>kind: TypeKind,
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="attr">#[derive(Debug, Clone)]
|
<span class="attr">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
|
||||||
</span><span class="kw">pub enum </span>TypeKind {
|
</span><span class="kw">pub enum </span>TypeKind {
|
||||||
Unit,
|
Unit,
|
||||||
Bool,
|
Bool,
|
||||||
|
|
@ -748,7 +797,50 @@
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="attr">#[derive(Debug, Clone)]
|
<span class="kw">impl </span>fmt::Display <span class="kw">for </span>TypeKind {
|
||||||
|
<span class="kw">fn </span>fmt(<span class="kw-2">&</span><span class="self">self</span>, f: <span class="kw-2">&mut </span>fmt::Formatter<<span class="lifetime">'_</span>>) -> fmt::Result {
|
||||||
|
<span class="kw">match </span><span class="self">self </span>{
|
||||||
|
TypeKind::Unit => <span class="macro">write!</span>(f, <span class="string">"()"</span>),
|
||||||
|
TypeKind::Bool => <span class="macro">write!</span>(f, <span class="string">"bool"</span>),
|
||||||
|
TypeKind::Char => <span class="macro">write!</span>(f, <span class="string">"char"</span>),
|
||||||
|
TypeKind::Int(ty) => <span class="kw">match </span>ty {
|
||||||
|
IntTy::I128 => <span class="macro">write!</span>(f, <span class="string">"i128"</span>),
|
||||||
|
IntTy::I64 => <span class="macro">write!</span>(f, <span class="string">"i64"</span>),
|
||||||
|
IntTy::I32 => <span class="macro">write!</span>(f, <span class="string">"i32"</span>),
|
||||||
|
IntTy::I16 => <span class="macro">write!</span>(f, <span class="string">"i16"</span>),
|
||||||
|
IntTy::I8 => <span class="macro">write!</span>(f, <span class="string">"i8"</span>),
|
||||||
|
IntTy::Isize => <span class="macro">write!</span>(f, <span class="string">"isize"</span>),
|
||||||
|
},
|
||||||
|
TypeKind::Uint(ty) => <span class="kw">match </span>ty {
|
||||||
|
UintTy::U128 => <span class="macro">write!</span>(f, <span class="string">"u128"</span>),
|
||||||
|
UintTy::U64 => <span class="macro">write!</span>(f, <span class="string">"u64"</span>),
|
||||||
|
UintTy::U32 => <span class="macro">write!</span>(f, <span class="string">"u32"</span>),
|
||||||
|
UintTy::U16 => <span class="macro">write!</span>(f, <span class="string">"u16"</span>),
|
||||||
|
UintTy::U8 => <span class="macro">write!</span>(f, <span class="string">"u8"</span>),
|
||||||
|
UintTy::Usize => <span class="macro">write!</span>(f, <span class="string">"usize"</span>),
|
||||||
|
},
|
||||||
|
TypeKind::Float(ty) => <span class="kw">match </span>ty {
|
||||||
|
FloatTy::F32 => <span class="macro">write!</span>(f, <span class="string">"f64"</span>),
|
||||||
|
FloatTy::F64 => <span class="macro">write!</span>(f, <span class="string">"f32"</span>),
|
||||||
|
},
|
||||||
|
TypeKind::FnDef(<span class="kw">_</span>, <span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||||
|
TypeKind::Str => <span class="macro">write!</span>(f, <span class="string">"str"</span>),
|
||||||
|
TypeKind::Ptr(is_mut, inner) => {
|
||||||
|
<span class="kw">let </span>word = <span class="kw">if </span><span class="kw-2">*</span>is_mut { <span class="string">"mut" </span>} <span class="kw">else </span>{ <span class="string">"const" </span>};
|
||||||
|
|
||||||
|
<span class="macro">write!</span>(f, <span class="string">"*{word} {}"</span>, inner.kind)
|
||||||
|
}
|
||||||
|
TypeKind::Ref(is_mut, inner) => {
|
||||||
|
<span class="kw">let </span>word = <span class="kw">if </span><span class="kw-2">*</span>is_mut { <span class="string">"mut" </span>} <span class="kw">else </span>{ <span class="string">"const" </span>};
|
||||||
|
|
||||||
|
<span class="macro">write!</span>(f, <span class="string">"&{word} {}"</span>, inner.kind)
|
||||||
|
}
|
||||||
|
TypeKind::Struct(<span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
<span class="attr">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Copy)]
|
||||||
</span><span class="kw">pub enum </span>IntTy {
|
</span><span class="kw">pub enum </span>IntTy {
|
||||||
I128,
|
I128,
|
||||||
I64,
|
I64,
|
||||||
|
|
@ -758,7 +850,7 @@
|
||||||
Isize,
|
Isize,
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="attr">#[derive(Debug, Clone)]
|
<span class="attr">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Copy)]
|
||||||
</span><span class="kw">pub enum </span>UintTy {
|
</span><span class="kw">pub enum </span>UintTy {
|
||||||
U128,
|
U128,
|
||||||
U64,
|
U64,
|
||||||
|
|
@ -768,7 +860,7 @@
|
||||||
Usize,
|
Usize,
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="attr">#[derive(Debug, Clone)]
|
<span class="attr">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Copy)]
|
||||||
</span><span class="kw">pub enum </span>FloatTy {
|
</span><span class="kw">pub enum </span>FloatTy {
|
||||||
F32,
|
F32,
|
||||||
F64,
|
F64,
|
||||||
|
|
|
||||||
|
|
@ -29,7 +29,15 @@
|
||||||
<a href="#28" id="28">28</a>
|
<a href="#28" id="28">28</a>
|
||||||
<a href="#29" id="29">29</a>
|
<a href="#29" id="29">29</a>
|
||||||
<a href="#30" id="30">30</a>
|
<a href="#30" id="30">30</a>
|
||||||
|
<a href="#31" id="31">31</a>
|
||||||
|
<a href="#32" id="32">32</a>
|
||||||
|
<a href="#33" id="33">33</a>
|
||||||
|
<a href="#34" id="34">34</a>
|
||||||
|
<a href="#35" id="35">35</a>
|
||||||
|
<a href="#36" id="36">36</a>
|
||||||
|
<a href="#37" id="37">37</a>
|
||||||
</pre></div><pre class="rust"><code><span class="kw">use </span>edlang_ast::{Ident, Span};
|
</pre></div><pre class="rust"><code><span class="kw">use </span>edlang_ast::{Ident, Span};
|
||||||
|
<span class="kw">use </span>edlang_ir::{TypeInfo, TypeKind};
|
||||||
<span class="kw">use </span>thiserror::Error;
|
<span class="kw">use </span>thiserror::Error;
|
||||||
|
|
||||||
<span class="kw">use </span><span class="kw">crate</span>::DefId;
|
<span class="kw">use </span><span class="kw">crate</span>::DefId;
|
||||||
|
|
@ -58,5 +66,11 @@
|
||||||
</span>IdNotFound { span: Span, id: DefId },
|
</span>IdNotFound { span: Span, id: DefId },
|
||||||
<span class="attr">#[error(<span class="string">"feature not yet implemented: {message}"</span>)]
|
<span class="attr">#[error(<span class="string">"feature not yet implemented: {message}"</span>)]
|
||||||
</span>NotYetImplemented { span: Span, message: <span class="kw-2">&</span><span class="lifetime">'static </span>str },
|
</span>NotYetImplemented { span: Span, message: <span class="kw-2">&</span><span class="lifetime">'static </span>str },
|
||||||
|
<span class="attr">#[error(<span class="string">"unexpected type"</span>)]
|
||||||
|
</span>UnexpectedType {
|
||||||
|
span: Span,
|
||||||
|
found: TypeKind,
|
||||||
|
expected: TypeInfo,
|
||||||
|
},
|
||||||
}
|
}
|
||||||
</code></pre></div></section></main></body></html>
|
</code></pre></div></section></main></body></html>
|
||||||
|
|
@ -1173,6 +1173,93 @@
|
||||||
<a href="#1172" id="1172">1172</a>
|
<a href="#1172" id="1172">1172</a>
|
||||||
<a href="#1173" id="1173">1173</a>
|
<a href="#1173" id="1173">1173</a>
|
||||||
<a href="#1174" id="1174">1174</a>
|
<a href="#1174" id="1174">1174</a>
|
||||||
|
<a href="#1175" id="1175">1175</a>
|
||||||
|
<a href="#1176" id="1176">1176</a>
|
||||||
|
<a href="#1177" id="1177">1177</a>
|
||||||
|
<a href="#1178" id="1178">1178</a>
|
||||||
|
<a href="#1179" id="1179">1179</a>
|
||||||
|
<a href="#1180" id="1180">1180</a>
|
||||||
|
<a href="#1181" id="1181">1181</a>
|
||||||
|
<a href="#1182" id="1182">1182</a>
|
||||||
|
<a href="#1183" id="1183">1183</a>
|
||||||
|
<a href="#1184" id="1184">1184</a>
|
||||||
|
<a href="#1185" id="1185">1185</a>
|
||||||
|
<a href="#1186" id="1186">1186</a>
|
||||||
|
<a href="#1187" id="1187">1187</a>
|
||||||
|
<a href="#1188" id="1188">1188</a>
|
||||||
|
<a href="#1189" id="1189">1189</a>
|
||||||
|
<a href="#1190" id="1190">1190</a>
|
||||||
|
<a href="#1191" id="1191">1191</a>
|
||||||
|
<a href="#1192" id="1192">1192</a>
|
||||||
|
<a href="#1193" id="1193">1193</a>
|
||||||
|
<a href="#1194" id="1194">1194</a>
|
||||||
|
<a href="#1195" id="1195">1195</a>
|
||||||
|
<a href="#1196" id="1196">1196</a>
|
||||||
|
<a href="#1197" id="1197">1197</a>
|
||||||
|
<a href="#1198" id="1198">1198</a>
|
||||||
|
<a href="#1199" id="1199">1199</a>
|
||||||
|
<a href="#1200" id="1200">1200</a>
|
||||||
|
<a href="#1201" id="1201">1201</a>
|
||||||
|
<a href="#1202" id="1202">1202</a>
|
||||||
|
<a href="#1203" id="1203">1203</a>
|
||||||
|
<a href="#1204" id="1204">1204</a>
|
||||||
|
<a href="#1205" id="1205">1205</a>
|
||||||
|
<a href="#1206" id="1206">1206</a>
|
||||||
|
<a href="#1207" id="1207">1207</a>
|
||||||
|
<a href="#1208" id="1208">1208</a>
|
||||||
|
<a href="#1209" id="1209">1209</a>
|
||||||
|
<a href="#1210" id="1210">1210</a>
|
||||||
|
<a href="#1211" id="1211">1211</a>
|
||||||
|
<a href="#1212" id="1212">1212</a>
|
||||||
|
<a href="#1213" id="1213">1213</a>
|
||||||
|
<a href="#1214" id="1214">1214</a>
|
||||||
|
<a href="#1215" id="1215">1215</a>
|
||||||
|
<a href="#1216" id="1216">1216</a>
|
||||||
|
<a href="#1217" id="1217">1217</a>
|
||||||
|
<a href="#1218" id="1218">1218</a>
|
||||||
|
<a href="#1219" id="1219">1219</a>
|
||||||
|
<a href="#1220" id="1220">1220</a>
|
||||||
|
<a href="#1221" id="1221">1221</a>
|
||||||
|
<a href="#1222" id="1222">1222</a>
|
||||||
|
<a href="#1223" id="1223">1223</a>
|
||||||
|
<a href="#1224" id="1224">1224</a>
|
||||||
|
<a href="#1225" id="1225">1225</a>
|
||||||
|
<a href="#1226" id="1226">1226</a>
|
||||||
|
<a href="#1227" id="1227">1227</a>
|
||||||
|
<a href="#1228" id="1228">1228</a>
|
||||||
|
<a href="#1229" id="1229">1229</a>
|
||||||
|
<a href="#1230" id="1230">1230</a>
|
||||||
|
<a href="#1231" id="1231">1231</a>
|
||||||
|
<a href="#1232" id="1232">1232</a>
|
||||||
|
<a href="#1233" id="1233">1233</a>
|
||||||
|
<a href="#1234" id="1234">1234</a>
|
||||||
|
<a href="#1235" id="1235">1235</a>
|
||||||
|
<a href="#1236" id="1236">1236</a>
|
||||||
|
<a href="#1237" id="1237">1237</a>
|
||||||
|
<a href="#1238" id="1238">1238</a>
|
||||||
|
<a href="#1239" id="1239">1239</a>
|
||||||
|
<a href="#1240" id="1240">1240</a>
|
||||||
|
<a href="#1241" id="1241">1241</a>
|
||||||
|
<a href="#1242" id="1242">1242</a>
|
||||||
|
<a href="#1243" id="1243">1243</a>
|
||||||
|
<a href="#1244" id="1244">1244</a>
|
||||||
|
<a href="#1245" id="1245">1245</a>
|
||||||
|
<a href="#1246" id="1246">1246</a>
|
||||||
|
<a href="#1247" id="1247">1247</a>
|
||||||
|
<a href="#1248" id="1248">1248</a>
|
||||||
|
<a href="#1249" id="1249">1249</a>
|
||||||
|
<a href="#1250" id="1250">1250</a>
|
||||||
|
<a href="#1251" id="1251">1251</a>
|
||||||
|
<a href="#1252" id="1252">1252</a>
|
||||||
|
<a href="#1253" id="1253">1253</a>
|
||||||
|
<a href="#1254" id="1254">1254</a>
|
||||||
|
<a href="#1255" id="1255">1255</a>
|
||||||
|
<a href="#1256" id="1256">1256</a>
|
||||||
|
<a href="#1257" id="1257">1257</a>
|
||||||
|
<a href="#1258" id="1258">1258</a>
|
||||||
|
<a href="#1259" id="1259">1259</a>
|
||||||
|
<a href="#1260" id="1260">1260</a>
|
||||||
|
<a href="#1261" id="1261">1261</a>
|
||||||
</pre></div><pre class="rust"><code><span class="kw">use </span>std::collections::HashMap;
|
</pre></div><pre class="rust"><code><span class="kw">use </span>std::collections::HashMap;
|
||||||
|
|
||||||
<span class="kw">use </span>ast::{BinaryOp, ModuleStatement, Span, WhileStmt};
|
<span class="kw">use </span>ast::{BinaryOp, ModuleStatement, Span, WhileStmt};
|
||||||
|
|
@ -1384,7 +1471,7 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="kw">for </span>stmt <span class="kw">in </span><span class="kw-2">&</span>func.body.body {
|
<span class="kw">for </span>stmt <span class="kw">in </span><span class="kw-2">&</span>func.body.body {
|
||||||
lower_statement(<span class="kw-2">&mut </span>builder, stmt, <span class="kw-2">&</span>ret_ty.kind)<span class="question-mark">?</span>;
|
lower_statement(<span class="kw-2">&mut </span>builder, stmt, <span class="kw-2">&</span>ret_ty)<span class="question-mark">?</span>;
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="kw">if </span>!builder.statements.is_empty() {
|
<span class="kw">if </span>!builder.statements.is_empty() {
|
||||||
|
|
@ -1405,7 +1492,7 @@
|
||||||
<span class="kw">fn </span>lower_statement(
|
<span class="kw">fn </span>lower_statement(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>ast::Statement,
|
info: <span class="kw-2">&</span>ast::Statement,
|
||||||
ret_type: <span class="kw-2">&</span>TypeKind,
|
ret_type: <span class="kw-2">&</span>TypeInfo,
|
||||||
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">match </span>info {
|
<span class="kw">match </span>info {
|
||||||
ast::Statement::Let(info) => lower_let(builder, info),
|
ast::Statement::Let(info) => lower_let(builder, info),
|
||||||
|
|
@ -1424,7 +1511,7 @@
|
||||||
<span class="kw">fn </span>lower_while(
|
<span class="kw">fn </span>lower_while(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>WhileStmt,
|
info: <span class="kw-2">&</span>WhileStmt,
|
||||||
ret_type: <span class="kw-2">&</span>TypeKind,
|
ret_type: <span class="kw-2">&</span>TypeInfo,
|
||||||
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">let </span>statements = std::mem::take(<span class="kw-2">&mut </span>builder.statements);
|
<span class="kw">let </span>statements = std::mem::take(<span class="kw-2">&mut </span>builder.statements);
|
||||||
builder.body.blocks.push(BasicBlock {
|
builder.body.blocks.push(BasicBlock {
|
||||||
|
|
@ -1505,11 +1592,17 @@
|
||||||
<span class="kw">fn </span>lower_if_stmt(
|
<span class="kw">fn </span>lower_if_stmt(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>ast::IfStmt,
|
info: <span class="kw-2">&</span>ast::IfStmt,
|
||||||
ret_type: <span class="kw-2">&</span>TypeKind,
|
ret_type: <span class="kw-2">&</span>TypeInfo,
|
||||||
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">let </span>cond_ty = find_expr_type(builder, <span class="kw-2">&</span>info.condition).expect(<span class="string">"couldnt find cond type"</span>);
|
<span class="kw">let </span>cond_ty = find_expr_type(builder, <span class="kw-2">&</span>info.condition).expect(<span class="string">"couldnt find cond type"</span>);
|
||||||
<span class="kw">let </span>(condition, condition_ty, cond_span) =
|
<span class="kw">let </span>(condition, condition_ty, cond_span) = lower_expr(
|
||||||
lower_expr(builder, <span class="kw-2">&</span>info.condition, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>cond_ty))<span class="question-mark">?</span>;
|
builder,
|
||||||
|
<span class="kw-2">&</span>info.condition,
|
||||||
|
<span class="prelude-val">Some</span>(<span class="kw-2">&</span>TypeInfo {
|
||||||
|
span: <span class="prelude-val">None</span>,
|
||||||
|
kind: cond_ty,
|
||||||
|
}),
|
||||||
|
)<span class="question-mark">?</span>;
|
||||||
|
|
||||||
<span class="kw">let </span>local = builder.add_temp_local(TypeKind::Bool);
|
<span class="kw">let </span>local = builder.add_temp_local(TypeKind::Bool);
|
||||||
<span class="kw">let </span>place = Place {
|
<span class="kw">let </span>place = Place {
|
||||||
|
|
@ -1608,7 +1701,16 @@
|
||||||
|
|
||||||
<span class="kw">fn </span>lower_let(builder: <span class="kw-2">&mut </span>BodyBuilder, info: <span class="kw-2">&</span>ast::LetStmt) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
<span class="kw">fn </span>lower_let(builder: <span class="kw-2">&mut </span>BodyBuilder, info: <span class="kw-2">&</span>ast::LetStmt) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">let </span>ty = lower_type(<span class="kw-2">&</span>builder.ctx, <span class="kw-2">&</span>info.r#type, builder.local_module)<span class="question-mark">?</span>;
|
<span class="kw">let </span>ty = lower_type(<span class="kw-2">&</span>builder.ctx, <span class="kw-2">&</span>info.r#type, builder.local_module)<span class="question-mark">?</span>;
|
||||||
<span class="kw">let </span>(rvalue, _ty, _span) = lower_expr(builder, <span class="kw-2">&</span>info.value, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>ty.kind))<span class="question-mark">?</span>;
|
<span class="kw">let </span>(rvalue, found_ty, _span) = lower_expr(builder, <span class="kw-2">&</span>info.value, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>ty))<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
<span class="kw">if </span>ty.kind != found_ty {
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span: info.span,
|
||||||
|
found: found_ty,
|
||||||
|
expected: ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
|
||||||
<span class="kw">let </span>local_idx = builder.name_to_local.get(<span class="kw-2">&</span>info.name.name).copied().unwrap();
|
<span class="kw">let </span>local_idx = builder.name_to_local.get(<span class="kw-2">&</span>info.name.name).copied().unwrap();
|
||||||
builder.statements.push(Statement {
|
builder.statements.push(Statement {
|
||||||
span: <span class="prelude-val">Some</span>(info.name.span),
|
span: <span class="prelude-val">Some</span>(info.name.span),
|
||||||
|
|
@ -1629,21 +1731,25 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
<span class="kw">fn </span>lower_assign(builder: <span class="kw-2">&mut </span>BodyBuilder, info: <span class="kw-2">&</span>ast::AssignStmt) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
<span class="kw">fn </span>lower_assign(builder: <span class="kw-2">&mut </span>BodyBuilder, info: <span class="kw-2">&</span>ast::AssignStmt) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">let </span>(<span class="kw-2">mut </span>place, <span class="kw-2">mut </span>ty, _span) = lower_path(builder, <span class="kw-2">&</span>info.name)<span class="question-mark">?</span>;
|
<span class="kw">let </span>(<span class="kw-2">mut </span>place, ty, _span) = lower_path(builder, <span class="kw-2">&</span>info.name)<span class="question-mark">?</span>;
|
||||||
|
<span class="kw">let </span><span class="kw-2">mut </span>ty = TypeInfo {
|
||||||
|
span: <span class="prelude-val">None</span>,
|
||||||
|
kind: ty,
|
||||||
|
};
|
||||||
|
|
||||||
<span class="kw">for _ in </span><span class="number">0</span>..info.deref_times {
|
<span class="kw">for _ in </span><span class="number">0</span>..info.deref_times {
|
||||||
<span class="kw">match </span><span class="kw-2">&</span>ty {
|
<span class="kw">match </span><span class="kw-2">&</span>ty.kind {
|
||||||
TypeKind::Ptr(is_mut, inner) => {
|
TypeKind::Ptr(is_mut, inner) => {
|
||||||
<span class="kw">if </span>!is_mut {
|
<span class="kw">if </span>!is_mut {
|
||||||
<span class="macro">panic!</span>(<span class="string">"trying to mutate non mut ptr"</span>);
|
<span class="macro">panic!</span>(<span class="string">"trying to mutate non mut ptr"</span>);
|
||||||
}
|
}
|
||||||
ty = inner.kind.clone();
|
ty = <span class="kw-2">*</span>inner.clone();
|
||||||
}
|
}
|
||||||
TypeKind::Ref(is_mut, inner) => {
|
TypeKind::Ref(is_mut, inner) => {
|
||||||
<span class="kw">if </span>!is_mut {
|
<span class="kw">if </span>!is_mut {
|
||||||
<span class="macro">panic!</span>(<span class="string">"trying to mutate non mut ref"</span>);
|
<span class="macro">panic!</span>(<span class="string">"trying to mutate non mut ref"</span>);
|
||||||
}
|
}
|
||||||
ty = inner.kind.clone();
|
ty = <span class="kw-2">*</span>inner.clone();
|
||||||
}
|
}
|
||||||
<span class="kw">_ </span>=> <span class="macro">unreachable!</span>(),
|
<span class="kw">_ </span>=> <span class="macro">unreachable!</span>(),
|
||||||
}
|
}
|
||||||
|
|
@ -1721,24 +1827,68 @@
|
||||||
<span class="kw">fn </span>lower_expr(
|
<span class="kw">fn </span>lower_expr(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>ast::Expression,
|
info: <span class="kw-2">&</span>ast::Expression,
|
||||||
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeKind>,
|
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeInfo>,
|
||||||
) -> <span class="prelude-ty">Result</span><(ir::RValue, TypeKind, Span), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(ir::RValue, TypeKind, Span), LoweringError> {
|
||||||
<span class="prelude-val">Ok</span>(<span class="kw">match </span>info {
|
<span class="prelude-val">Ok</span>(<span class="kw">match </span>info {
|
||||||
ast::Expression::Value(info) => {
|
ast::Expression::Value(info) => {
|
||||||
<span class="kw">let </span>(value, ty, span) = lower_value(builder, info, type_hint)<span class="question-mark">?</span>;
|
<span class="kw">let </span>(value, ty, span) = lower_value(builder, info, type_hint)<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(expected_ty) = type_hint {
|
||||||
|
<span class="kw">if </span>expected_ty.kind != ty {
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span,
|
||||||
|
found: ty,
|
||||||
|
expected: expected_ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
(ir::RValue::Use(value, span), ty, span)
|
(ir::RValue::Use(value, span), ty, span)
|
||||||
}
|
}
|
||||||
ast::Expression::FnCall(info) => {
|
ast::Expression::FnCall(info) => {
|
||||||
<span class="kw">let </span>(value, ty, span) = lower_fn_call(builder, info)<span class="question-mark">?</span>;
|
<span class="kw">let </span>(value, ty, span) = lower_fn_call(builder, info)<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(expected_ty) = type_hint {
|
||||||
|
<span class="kw">if </span>expected_ty.kind != ty {
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span,
|
||||||
|
found: ty,
|
||||||
|
expected: expected_ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
(ir::RValue::Use(value, span), ty, span)
|
(ir::RValue::Use(value, span), ty, span)
|
||||||
}
|
}
|
||||||
ast::Expression::Unary(<span class="kw">_</span>, <span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
ast::Expression::Unary(<span class="kw">_</span>, <span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||||
ast::Expression::Binary(lhs, op, rhs) => {
|
ast::Expression::Binary(lhs, op, rhs) => {
|
||||||
lower_binary_expr(builder, lhs, op, rhs, type_hint)<span class="question-mark">?
|
<span class="kw">let </span>result = lower_binary_expr(builder, lhs, op, rhs, type_hint)<span class="question-mark">?</span>;
|
||||||
</span>}
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(expected_ty) = type_hint {
|
||||||
|
<span class="kw">if </span>expected_ty.kind != result.<span class="number">1 </span>{
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span: result.<span class="number">2</span>,
|
||||||
|
found: result.<span class="number">1</span>,
|
||||||
|
expected: expected_ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
result
|
||||||
|
}
|
||||||
ast::Expression::Deref(inner) => {
|
ast::Expression::Deref(inner) => {
|
||||||
<span class="kw">let </span>(value, ty, span) = lower_expr(builder, inner, type_hint)<span class="question-mark">?</span>;
|
<span class="kw">let </span>(value, ty, span) = lower_expr(builder, inner, type_hint)<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(expected_ty) = type_hint {
|
||||||
|
<span class="kw">if </span>expected_ty.kind != ty {
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span,
|
||||||
|
found: ty,
|
||||||
|
expected: expected_ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
<span class="comment">// check if its a use directly, to avoid a temporary.
|
<span class="comment">// check if its a use directly, to avoid a temporary.
|
||||||
</span><span class="kw">let </span><span class="kw-2">mut </span>value = <span class="kw">match </span>value {
|
</span><span class="kw">let </span><span class="kw-2">mut </span>value = <span class="kw">match </span>value {
|
||||||
RValue::Use(op, <span class="kw">_</span>) => <span class="kw">match </span>op {
|
RValue::Use(op, <span class="kw">_</span>) => <span class="kw">match </span>op {
|
||||||
|
|
@ -1755,14 +1905,24 @@
|
||||||
}
|
}
|
||||||
ast::Expression::AsRef(inner, mutable) => {
|
ast::Expression::AsRef(inner, mutable) => {
|
||||||
<span class="kw">let </span>type_hint = <span class="kw">match </span>type_hint {
|
<span class="kw">let </span>type_hint = <span class="kw">match </span>type_hint {
|
||||||
<span class="prelude-val">Some</span>(inner) => <span class="kw">match </span>inner {
|
<span class="prelude-val">Some</span>(inner) => <span class="kw">match </span><span class="kw-2">&</span>inner.kind {
|
||||||
TypeKind::Ref(<span class="kw">_</span>, inner) => <span class="prelude-val">Some</span>(<span class="kw-2">&</span>inner.kind),
|
TypeKind::Ref(<span class="kw">_</span>, inner) => <span class="prelude-val">Some</span>(inner.as_ref()),
|
||||||
<span class="kw">_ </span>=> <span class="macro">unreachable!</span>(),
|
<span class="kw">_ </span>=> <span class="macro">unreachable!</span>(),
|
||||||
},
|
},
|
||||||
<span class="prelude-val">None </span>=> <span class="prelude-val">None</span>,
|
<span class="prelude-val">None </span>=> <span class="prelude-val">None</span>,
|
||||||
};
|
};
|
||||||
<span class="kw">let </span>(<span class="kw-2">mut </span>value, ty, span) = lower_expr(builder, inner, type_hint)<span class="question-mark">?</span>;
|
<span class="kw">let </span>(<span class="kw-2">mut </span>value, ty, span) = lower_expr(builder, inner, type_hint)<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(expected_ty) = type_hint {
|
||||||
|
<span class="kw">if </span>expected_ty.kind != ty {
|
||||||
|
<span class="kw">return </span><span class="prelude-val">Err</span>(LoweringError::UnexpectedType {
|
||||||
|
span,
|
||||||
|
found: ty,
|
||||||
|
expected: expected_ty.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
<span class="comment">// check if its a use directly, to avoid a temporary.
|
<span class="comment">// check if its a use directly, to avoid a temporary.
|
||||||
</span>value = <span class="kw">match </span>value {
|
</span>value = <span class="kw">match </span>value {
|
||||||
RValue::Use(op, _span) => RValue::Ref(<span class="kw-2">*</span>mutable, op, span),
|
RValue::Use(op, _span) => RValue::Ref(<span class="kw-2">*</span>mutable, op, span),
|
||||||
|
|
@ -1827,7 +1987,7 @@
|
||||||
.projection
|
.projection
|
||||||
.push(PlaceElem::Field { field_idx: idx });
|
.push(PlaceElem::Field { field_idx: idx });
|
||||||
|
|
||||||
<span class="kw">let </span>variant = <span class="kw-2">&</span>struct_body.variants[idx].ty.kind;
|
<span class="kw">let </span>variant = <span class="kw-2">&</span>struct_body.variants[idx].ty;
|
||||||
|
|
||||||
<span class="kw">let </span>(value, _value_ty, span) = lower_expr(builder, <span class="kw-2">&</span>value.value, <span class="prelude-val">Some</span>(variant))<span class="question-mark">?</span>;
|
<span class="kw">let </span>(value, _value_ty, span) = lower_expr(builder, <span class="kw-2">&</span>value.value, <span class="prelude-val">Some</span>(variant))<span class="question-mark">?</span>;
|
||||||
|
|
||||||
|
|
@ -1847,20 +2007,34 @@
|
||||||
lhs: <span class="kw-2">&</span>ast::Expression,
|
lhs: <span class="kw-2">&</span>ast::Expression,
|
||||||
op: <span class="kw-2">&</span>ast::BinaryOp,
|
op: <span class="kw-2">&</span>ast::BinaryOp,
|
||||||
rhs: <span class="kw-2">&</span>ast::Expression,
|
rhs: <span class="kw-2">&</span>ast::Expression,
|
||||||
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeKind>,
|
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeInfo>,
|
||||||
) -> <span class="prelude-ty">Result</span><(ir::RValue, TypeKind, Span), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(ir::RValue, TypeKind, Span), LoweringError> {
|
||||||
<span class="macro">trace!</span>(<span class="string">"lowering binary op: {:?}"</span>, op);
|
<span class="macro">trace!</span>(<span class="string">"lowering binary op: {:?}"</span>, op);
|
||||||
|
|
||||||
<span class="kw">let </span>(lhs, lhs_ty, <span class="kw">_</span>) = <span class="kw">if </span>type_hint.is_none() {
|
<span class="kw">let </span>(lhs, lhs_ty, <span class="kw">_</span>) = <span class="kw">if </span>type_hint.is_none() {
|
||||||
<span class="kw">let </span>ty = find_expr_type(builder, lhs)
|
<span class="kw">let </span>ty = find_expr_type(builder, lhs)
|
||||||
.unwrap_or_else(|| find_expr_type(builder, rhs).expect(<span class="string">"cant find type"</span>));
|
.unwrap_or_else(|| find_expr_type(builder, rhs).expect(<span class="string">"cant find type"</span>));
|
||||||
lower_expr(builder, lhs, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>ty))<span class="question-mark">?
|
lower_expr(
|
||||||
|
builder,
|
||||||
|
lhs,
|
||||||
|
<span class="prelude-val">Some</span>(<span class="kw-2">&</span>TypeInfo {
|
||||||
|
span: <span class="prelude-val">None</span>,
|
||||||
|
kind: ty,
|
||||||
|
}),
|
||||||
|
)<span class="question-mark">?
|
||||||
</span>} <span class="kw">else </span>{
|
</span>} <span class="kw">else </span>{
|
||||||
lower_expr(builder, lhs, type_hint)<span class="question-mark">?
|
lower_expr(builder, lhs, type_hint)<span class="question-mark">?
|
||||||
</span>};
|
</span>};
|
||||||
<span class="kw">let </span>(rhs, rhs_ty, <span class="kw">_</span>) = <span class="kw">if </span>type_hint.is_none() {
|
<span class="kw">let </span>(rhs, rhs_ty, <span class="kw">_</span>) = <span class="kw">if </span>type_hint.is_none() {
|
||||||
<span class="kw">let </span>ty = find_expr_type(builder, rhs).unwrap_or(lhs_ty.clone());
|
<span class="kw">let </span>ty = find_expr_type(builder, rhs).unwrap_or(lhs_ty.clone());
|
||||||
lower_expr(builder, rhs, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>ty))<span class="question-mark">?
|
lower_expr(
|
||||||
|
builder,
|
||||||
|
rhs,
|
||||||
|
<span class="prelude-val">Some</span>(<span class="kw-2">&</span>TypeInfo {
|
||||||
|
span: <span class="prelude-val">None</span>,
|
||||||
|
kind: ty,
|
||||||
|
}),
|
||||||
|
)<span class="question-mark">?
|
||||||
</span>} <span class="kw">else </span>{
|
</span>} <span class="kw">else </span>{
|
||||||
lower_expr(builder, rhs, type_hint)<span class="question-mark">?
|
lower_expr(builder, rhs, type_hint)<span class="question-mark">?
|
||||||
</span>};
|
</span>};
|
||||||
|
|
@ -2002,7 +2176,7 @@
|
||||||
<span class="kw">let </span><span class="kw-2">mut </span>args = Vec::new();
|
<span class="kw">let </span><span class="kw-2">mut </span>args = Vec::new();
|
||||||
|
|
||||||
<span class="kw">for </span>(arg, arg_ty) <span class="kw">in </span>info.params.iter().zip(args_ty) {
|
<span class="kw">for </span>(arg, arg_ty) <span class="kw">in </span>info.params.iter().zip(args_ty) {
|
||||||
<span class="kw">let </span>(rvalue, _rvalue_ty, _span) = lower_expr(builder, arg, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>arg_ty.kind))<span class="question-mark">?</span>;
|
<span class="kw">let </span>(rvalue, _rvalue_ty, _span) = lower_expr(builder, arg, <span class="prelude-val">Some</span>(<span class="kw-2">&</span>arg_ty))<span class="question-mark">?</span>;
|
||||||
args.push(rvalue);
|
args.push(rvalue);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -2036,7 +2210,7 @@
|
||||||
<span class="kw">fn </span>lower_value(
|
<span class="kw">fn </span>lower_value(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>ast::ValueExpr,
|
info: <span class="kw-2">&</span>ast::ValueExpr,
|
||||||
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeKind>,
|
type_hint: <span class="prelude-ty">Option</span><<span class="kw-2">&</span>TypeInfo>,
|
||||||
) -> <span class="prelude-ty">Result</span><(Operand, TypeKind, Span), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(Operand, TypeKind, Span), LoweringError> {
|
||||||
<span class="prelude-val">Ok</span>(<span class="kw">match </span>info {
|
<span class="prelude-val">Ok</span>(<span class="kw">match </span>info {
|
||||||
ast::ValueExpr::Bool { value, span } => (
|
ast::ValueExpr::Bool { value, span } => (
|
||||||
|
|
@ -2067,7 +2241,7 @@
|
||||||
),
|
),
|
||||||
ast::ValueExpr::Int { value, span } => {
|
ast::ValueExpr::Int { value, span } => {
|
||||||
<span class="kw">let </span>(ty, val) = <span class="kw">match </span>type_hint {
|
<span class="kw">let </span>(ty, val) = <span class="kw">match </span>type_hint {
|
||||||
<span class="prelude-val">Some</span>(type_hint) => <span class="kw">match </span><span class="kw-2">&</span>type_hint {
|
<span class="prelude-val">Some</span>(type_hint) => <span class="kw">match </span><span class="kw-2">&</span>type_hint.kind {
|
||||||
ir::TypeKind::Int(int_type) => <span class="kw">match </span>int_type {
|
ir::TypeKind::Int(int_type) => <span class="kw">match </span>int_type {
|
||||||
ir::IntTy::I128 => (
|
ir::IntTy::I128 => (
|
||||||
ir::TypeKind::Int(ir::IntTy::I128),
|
ir::TypeKind::Int(ir::IntTy::I128),
|
||||||
|
|
@ -2137,7 +2311,7 @@
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
ast::ValueExpr::Float { value, span } => <span class="kw">match </span>type_hint {
|
ast::ValueExpr::Float { value, span } => <span class="kw">match </span>type_hint {
|
||||||
<span class="prelude-val">Some</span>(type_hint) => <span class="kw">match </span><span class="kw-2">&</span>type_hint {
|
<span class="prelude-val">Some</span>(type_hint) => <span class="kw">match </span><span class="kw-2">&</span>type_hint.kind {
|
||||||
TypeKind::Float(float_ty) => <span class="kw">match </span>float_ty {
|
TypeKind::Float(float_ty) => <span class="kw">match </span>float_ty {
|
||||||
ir::FloatTy::F32 => (
|
ir::FloatTy::F32 => (
|
||||||
ir::Operand::Constant(ir::ConstData {
|
ir::Operand::Constant(ir::ConstData {
|
||||||
|
|
@ -2150,7 +2324,7 @@
|
||||||
value.parse().unwrap(),
|
value.parse().unwrap(),
|
||||||
))),
|
))),
|
||||||
}),
|
}),
|
||||||
type_hint.clone(),
|
type_hint.kind.clone(),
|
||||||
<span class="kw-2">*</span>span,
|
<span class="kw-2">*</span>span,
|
||||||
),
|
),
|
||||||
ir::FloatTy::F64 => (
|
ir::FloatTy::F64 => (
|
||||||
|
|
@ -2164,7 +2338,7 @@
|
||||||
value.parse().unwrap(),
|
value.parse().unwrap(),
|
||||||
))),
|
))),
|
||||||
}),
|
}),
|
||||||
type_hint.clone(),
|
type_hint.kind.clone(),
|
||||||
<span class="kw-2">*</span>span,
|
<span class="kw-2">*</span>span,
|
||||||
),
|
),
|
||||||
},
|
},
|
||||||
|
|
@ -2183,7 +2357,7 @@
|
||||||
<span class="kw">fn </span>lower_return(
|
<span class="kw">fn </span>lower_return(
|
||||||
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
builder: <span class="kw-2">&mut </span>BodyBuilder,
|
||||||
info: <span class="kw-2">&</span>ast::ReturnStmt,
|
info: <span class="kw-2">&</span>ast::ReturnStmt,
|
||||||
return_type: <span class="kw-2">&</span>TypeKind,
|
return_type: <span class="kw-2">&</span>TypeInfo,
|
||||||
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
) -> <span class="prelude-ty">Result</span><(), LoweringError> {
|
||||||
<span class="kw">if let </span><span class="prelude-val">Some</span>(value_expr) = <span class="kw-2">&</span>info.value {
|
<span class="kw">if let </span><span class="prelude-val">Some</span>(value_expr) = <span class="kw-2">&</span>info.value {
|
||||||
<span class="kw">let </span>(value, _ty, span) = lower_expr(builder, value_expr, <span class="prelude-val">Some</span>(return_type))<span class="question-mark">?</span>;
|
<span class="kw">let </span>(value, _ty, span) = lower_expr(builder, value_expr, <span class="prelude-val">Some</span>(return_type))<span class="question-mark">?</span>;
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -12,7 +12,7 @@
|
||||||
"color_spantrace":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"color_spantrace/struct.Theme.html\" title=\"struct color_spantrace::Theme\">Theme</a>"]],
|
"color_spantrace":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"color_spantrace/struct.Theme.html\" title=\"struct color_spantrace::Theme\">Theme</a>"]],
|
||||||
"colorchoice":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"colorchoice/enum.ColorChoice.html\" title=\"enum colorchoice::ColorChoice\">ColorChoice</a>"]],
|
"colorchoice":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"colorchoice/enum.ColorChoice.html\" title=\"enum colorchoice::ColorChoice\">ColorChoice</a>"]],
|
||||||
"concolor":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"concolor/enum.ColorChoice.html\" title=\"enum concolor::ColorChoice\">ColorChoice</a>"]],
|
"concolor":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"concolor/enum.ColorChoice.html\" title=\"enum concolor::ColorChoice\">ColorChoice</a>"]],
|
||||||
"edlang_ir":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.ProgramBody.html\" title=\"struct edlang_ir::ProgramBody\">ProgramBody</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.SymbolTable.html\" title=\"struct edlang_ir::SymbolTable\">SymbolTable</a>"]],
|
"edlang_ir":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.SymbolTable.html\" title=\"struct edlang_ir::SymbolTable\">SymbolTable</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_ir/struct.ProgramBody.html\" title=\"struct edlang_ir::ProgramBody\">ProgramBody</a>"]],
|
||||||
"edlang_parser":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"edlang_parser/tokens/enum.LexingError.html\" title=\"enum edlang_parser::tokens::LexingError\">LexingError</a>"]],
|
"edlang_parser":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"enum\" href=\"edlang_parser/tokens/enum.LexingError.html\" title=\"enum edlang_parser::tokens::LexingError\">LexingError</a>"]],
|
||||||
"edlang_span":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_span/struct.Span.html\" title=\"struct edlang_span::Span\">Span</a>"]],
|
"edlang_span":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"edlang_span/struct.Span.html\" title=\"struct edlang_span::Span\">Span</a>"]],
|
||||||
"eyre":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"eyre/struct.Chain.html\" title=\"struct eyre::Chain\">Chain</a><'_>"]],
|
"eyre":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html\" title=\"trait core::default::Default\">Default</a> for <a class=\"struct\" href=\"eyre/struct.Chain.html\" title=\"struct eyre::Chain\">Chain</a><'_>"]],
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -7,6 +7,7 @@
|
||||||
"clap_builder":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Command.html\" title=\"struct clap_builder::builder::Command\">Command</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/struct.Id.html\" title=\"struct clap_builder::Id\">Id</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/enum.ColorChoice.html\" title=\"enum clap_builder::ColorChoice\">ColorChoice</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/parser/enum.MatchesError.html\" title=\"enum clap_builder::parser::MatchesError\">MatchesError</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Str.html\" title=\"struct clap_builder::builder::Str\">Str</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ContextValue.html\" title=\"enum clap_builder::error::ContextValue\">ContextValue</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Arg.html\" title=\"struct clap_builder::builder::Arg\">Arg</a>"],["impl<F: <a class=\"trait\" href=\"clap_builder/error/trait.ErrorFormatter.html\" title=\"trait clap_builder::error::ErrorFormatter\">ErrorFormatter</a>> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/error/struct.Error.html\" title=\"struct clap_builder::error::Error\">Error</a><F>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ContextKind.html\" title=\"enum clap_builder::error::ContextKind\">ContextKind</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.ValueRange.html\" title=\"struct clap_builder::builder::ValueRange\">ValueRange</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.StyledStr.html\" title=\"struct clap_builder::builder::StyledStr\">StyledStr</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ErrorKind.html\" title=\"enum clap_builder::error::ErrorKind\">ErrorKind</a>"]],
|
"clap_builder":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Command.html\" title=\"struct clap_builder::builder::Command\">Command</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/struct.Id.html\" title=\"struct clap_builder::Id\">Id</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/enum.ColorChoice.html\" title=\"enum clap_builder::ColorChoice\">ColorChoice</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/parser/enum.MatchesError.html\" title=\"enum clap_builder::parser::MatchesError\">MatchesError</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Str.html\" title=\"struct clap_builder::builder::Str\">Str</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ContextValue.html\" title=\"enum clap_builder::error::ContextValue\">ContextValue</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.Arg.html\" title=\"struct clap_builder::builder::Arg\">Arg</a>"],["impl<F: <a class=\"trait\" href=\"clap_builder/error/trait.ErrorFormatter.html\" title=\"trait clap_builder::error::ErrorFormatter\">ErrorFormatter</a>> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/error/struct.Error.html\" title=\"struct clap_builder::error::Error\">Error</a><F>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ContextKind.html\" title=\"enum clap_builder::error::ContextKind\">ContextKind</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.ValueRange.html\" title=\"struct clap_builder::builder::ValueRange\">ValueRange</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"clap_builder/builder/struct.StyledStr.html\" title=\"struct clap_builder::builder::StyledStr\">StyledStr</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"clap_builder/error/enum.ErrorKind.html\" title=\"enum clap_builder::error::ErrorKind\">ErrorKind</a>"]],
|
||||||
"color_eyre":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_eyre/config/struct.PanicReport.html\" title=\"struct color_eyre::config::PanicReport\">PanicReport</a><'_>"],["impl<H, B> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_eyre/section/struct.IndentedSection.html\" title=\"struct color_eyre::section::IndentedSection\">IndentedSection</a><H, B><div class=\"where\">where\n H: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html\" title=\"trait core::marker::Send\">Send</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html\" title=\"trait core::marker::Sync\">Sync</a> + 'static,\n B: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html\" title=\"trait core::marker::Send\">Send</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html\" title=\"trait core::marker::Sync\">Sync</a> + 'static,</div>"]],
|
"color_eyre":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_eyre/config/struct.PanicReport.html\" title=\"struct color_eyre::config::PanicReport\">PanicReport</a><'_>"],["impl<H, B> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_eyre/section/struct.IndentedSection.html\" title=\"struct color_eyre::section::IndentedSection\">IndentedSection</a><H, B><div class=\"where\">where\n H: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html\" title=\"trait core::marker::Send\">Send</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html\" title=\"trait core::marker::Sync\">Sync</a> + 'static,\n B: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html\" title=\"trait core::marker::Send\">Send</a> + <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html\" title=\"trait core::marker::Sync\">Sync</a> + 'static,</div>"]],
|
||||||
"color_spantrace":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_spantrace/struct.InstallThemeError.html\" title=\"struct color_spantrace::InstallThemeError\">InstallThemeError</a>"]],
|
"color_spantrace":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"struct\" href=\"color_spantrace/struct.InstallThemeError.html\" title=\"struct color_spantrace::InstallThemeError\">InstallThemeError</a>"]],
|
||||||
|
"edlang_ir":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"edlang_ir/enum.TypeKind.html\" title=\"enum edlang_ir::TypeKind\">TypeKind</a>"]],
|
||||||
"edlang_lowering":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"edlang_lowering/errors/enum.LoweringError.html\" title=\"enum edlang_lowering::errors::LoweringError\">LoweringError</a>"]],
|
"edlang_lowering":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"edlang_lowering/errors/enum.LoweringError.html\" title=\"enum edlang_lowering::errors::LoweringError\">LoweringError</a>"]],
|
||||||
"edlang_parser":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"edlang_parser/lexer/enum.LexicalError.html\" title=\"enum edlang_parser::lexer::LexicalError\">LexicalError</a>"]],
|
"edlang_parser":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"edlang_parser/lexer/enum.LexicalError.html\" title=\"enum edlang_parser::lexer::LexicalError\">LexicalError</a>"]],
|
||||||
"either":[["impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a>,</div>"]],
|
"either":[["impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a> for <a class=\"enum\" href=\"either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html\" title=\"trait core::fmt::Display\">Display</a>,</div>"]],
|
||||||
|
|
|
||||||
|
|
@ -10,7 +10,7 @@
|
||||||
"colorchoice":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"colorchoice/enum.ColorChoice.html\" title=\"enum colorchoice::ColorChoice\">ColorChoice</a>"]],
|
"colorchoice":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"colorchoice/enum.ColorChoice.html\" title=\"enum colorchoice::ColorChoice\">ColorChoice</a>"]],
|
||||||
"concolor":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"concolor/enum.Stream.html\" title=\"enum concolor::Stream\">Stream</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"concolor/enum.ColorChoice.html\" title=\"enum concolor::ColorChoice\">ColorChoice</a>"]],
|
"concolor":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"concolor/enum.Stream.html\" title=\"enum concolor::Stream\">Stream</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"concolor/enum.ColorChoice.html\" title=\"enum concolor::ColorChoice\">ColorChoice</a>"]],
|
||||||
"edlang_ast":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ast/enum.TypeQualifier.html\" title=\"enum edlang_ast::TypeQualifier\">TypeQualifier</a>"]],
|
"edlang_ast":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ast/enum.TypeQualifier.html\" title=\"enum edlang_ast::TypeQualifier\">TypeQualifier</a>"]],
|
||||||
"edlang_ir":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.LocalKind.html\" title=\"enum edlang_ir::LocalKind\">LocalKind</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.ConstValue.html\" title=\"enum edlang_ir::ConstValue\">ConstValue</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.UnOp.html\" title=\"enum edlang_ir::UnOp\">UnOp</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_ir/scalar_int/struct.ScalarInt.html\" title=\"struct edlang_ir::scalar_int::ScalarInt\">ScalarInt</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.BinOp.html\" title=\"enum edlang_ir::BinOp\">BinOp</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.LogicalOp.html\" title=\"enum edlang_ir::LogicalOp\">LogicalOp</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.PlaceElem.html\" title=\"enum edlang_ir::PlaceElem\">PlaceElem</a>"]],
|
"edlang_ir":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.ConstValue.html\" title=\"enum edlang_ir::ConstValue\">ConstValue</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.FloatTy.html\" title=\"enum edlang_ir::FloatTy\">FloatTy</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.LocalKind.html\" title=\"enum edlang_ir::LocalKind\">LocalKind</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.UnOp.html\" title=\"enum edlang_ir::UnOp\">UnOp</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.PlaceElem.html\" title=\"enum edlang_ir::PlaceElem\">PlaceElem</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.IntTy.html\" title=\"enum edlang_ir::IntTy\">IntTy</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.UintTy.html\" title=\"enum edlang_ir::UintTy\">UintTy</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_ir/scalar_int/struct.ScalarInt.html\" title=\"struct edlang_ir::scalar_int::ScalarInt\">ScalarInt</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.LogicalOp.html\" title=\"enum edlang_ir::LogicalOp\">LogicalOp</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_ir/enum.BinOp.html\" title=\"enum edlang_ir::BinOp\">BinOp</a>"]],
|
||||||
"edlang_session":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_session/enum.DebugInfo.html\" title=\"enum edlang_session::DebugInfo\">DebugInfo</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_session/enum.OptLevel.html\" title=\"enum edlang_session::OptLevel\">OptLevel</a>"]],
|
"edlang_session":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_session/enum.DebugInfo.html\" title=\"enum edlang_session::DebugInfo\">DebugInfo</a>"],["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"edlang_session/enum.OptLevel.html\" title=\"enum edlang_session::OptLevel\">OptLevel</a>"]],
|
||||||
"edlang_span":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_span/struct.Span.html\" title=\"struct edlang_span::Span\">Span</a>"]],
|
"edlang_span":[["impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"struct\" href=\"edlang_span/struct.Span.html\" title=\"struct edlang_span::Span\">Span</a>"]],
|
||||||
"either":[["impl<L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a>, R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a>> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R>"]],
|
"either":[["impl<L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a>, R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a>> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.76.0/core/marker/trait.Copy.html\" title=\"trait core::marker::Copy\">Copy</a> for <a class=\"enum\" href=\"either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R>"]],
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Loading…
Reference in a new issue