mirror of
https://github.com/edg-l/edlang.git
synced 2024-11-22 16:08:24 +00:00
deploy: a9cd4eff86
This commit is contained in:
edg-l
parent
48a65921be
commit
d45574efff
|
|
@ -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 `codegen` mod in crate `edlang_codegen_llvm`."><title>edlang_codegen_llvm::codegen - 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_codegen_llvm" 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_codegen_llvm/index.html">edlang_codegen_llvm</a><span class="version">0.0.1-alpha.7</span></h2></div><h2 class="location"><a href="#">Module codegen</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#functions">Functions</a></li></ul></section><h2><a href="../index.html">In crate edlang_codegen_llvm</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_codegen_llvm/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_codegen_llvm</a>::<wbr><a class="mod" href="#">codegen</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_codegen_llvm/codegen.rs.html#1-1281">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.compile.html" title="fn edlang_codegen_llvm::codegen::compile">compile</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_codegen_llvm/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_codegen_llvm</a>::<wbr><a class="mod" href="#">codegen</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_codegen_llvm/codegen.rs.html#1-1331">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.compile.html" title="fn edlang_codegen_llvm::codegen::compile">compile</a></div></li></ul></section></div></main></body></html>
|
||||
|
|
@ -1,2 +1,2 @@
|
|||
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="List of all items in this crate"><title>List of all items in this crate</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_ir" 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="../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 sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../edlang_ir/index.html">edlang_ir</a><span class="version">0.0.1-alpha.7</span></h2></div><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</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_ir/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"><h1>List of all items</h1><h3 id="structs">Structs</h3><ul class="all-items"><li><a href="struct.BasicBlock.html">BasicBlock</a></li><li><a href="struct.Body.html">Body</a></li><li><a href="struct.ConstData.html">ConstData</a></li><li><a href="struct.DebugInfo.html">DebugInfo</a></li><li><a href="struct.DefId.html">DefId</a></li><li><a href="struct.Local.html">Local</a></li><li><a href="struct.ModuleBody.html">ModuleBody</a></li><li><a href="struct.Place.html">Place</a></li><li><a href="struct.ProgramBody.html">ProgramBody</a></li><li><a href="struct.Statement.html">Statement</a></li><li><a href="struct.SwitchTarget.html">SwitchTarget</a></li><li><a href="struct.SymbolTable.html">SymbolTable</a></li><li><a href="struct.TypeInfo.html">TypeInfo</a></li><li><a href="scalar_int/struct.ScalarInt.html">scalar_int::ScalarInt</a></li></ul><h3 id="enums">Enums</h3><ul class="all-items"><li><a href="enum.BinOp.html">BinOp</a></li><li><a href="enum.ConstKind.html">ConstKind</a></li><li><a href="enum.ConstValue.html">ConstValue</a></li><li><a href="enum.FloatTy.html">FloatTy</a></li><li><a href="enum.IntTy.html">IntTy</a></li><li><a href="enum.LocalKind.html">LocalKind</a></li><li><a href="enum.LogicalOp.html">LogicalOp</a></li><li><a href="enum.Operand.html">Operand</a></li><li><a href="enum.PlaceElem.html">PlaceElem</a></li><li><a href="enum.RValue.html">RValue</a></li><li><a href="enum.StatementKind.html">StatementKind</a></li><li><a href="enum.Terminator.html">Terminator</a></li><li><a href="enum.TypeKind.html">TypeKind</a></li><li><a href="enum.UintTy.html">UintTy</a></li><li><a href="enum.UnOp.html">UnOp</a></li><li><a href="enum.ValueTree.html">ValueTree</a></li></ul><h3 id="functions">Functions</h3><ul class="all-items"><li><a href="scalar_int/fn.sign_extend.html">scalar_int::sign_extend</a></li><li><a href="scalar_int/fn.truncate.html">scalar_int::truncate</a></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_ir/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"><h1>List of all items</h1><h3 id="structs">Structs</h3><ul class="all-items"><li><a href="struct.AdtBody.html">AdtBody</a></li><li><a href="struct.AdtVariant.html">AdtVariant</a></li><li><a href="struct.BasicBlock.html">BasicBlock</a></li><li><a href="struct.Body.html">Body</a></li><li><a href="struct.ConstData.html">ConstData</a></li><li><a href="struct.DebugInfo.html">DebugInfo</a></li><li><a href="struct.DefId.html">DefId</a></li><li><a href="struct.Local.html">Local</a></li><li><a href="struct.ModuleBody.html">ModuleBody</a></li><li><a href="struct.Place.html">Place</a></li><li><a href="struct.ProgramBody.html">ProgramBody</a></li><li><a href="struct.Statement.html">Statement</a></li><li><a href="struct.SwitchTarget.html">SwitchTarget</a></li><li><a href="struct.SymbolTable.html">SymbolTable</a></li><li><a href="struct.TypeInfo.html">TypeInfo</a></li><li><a href="scalar_int/struct.ScalarInt.html">scalar_int::ScalarInt</a></li></ul><h3 id="enums">Enums</h3><ul class="all-items"><li><a href="enum.BinOp.html">BinOp</a></li><li><a href="enum.ConstKind.html">ConstKind</a></li><li><a href="enum.ConstValue.html">ConstValue</a></li><li><a href="enum.FloatTy.html">FloatTy</a></li><li><a href="enum.IntTy.html">IntTy</a></li><li><a href="enum.LocalKind.html">LocalKind</a></li><li><a href="enum.LogicalOp.html">LogicalOp</a></li><li><a href="enum.Operand.html">Operand</a></li><li><a href="enum.PlaceElem.html">PlaceElem</a></li><li><a href="enum.RValue.html">RValue</a></li><li><a href="enum.StatementKind.html">StatementKind</a></li><li><a href="enum.Terminator.html">Terminator</a></li><li><a href="enum.TypeKind.html">TypeKind</a></li><li><a href="enum.UintTy.html">UintTy</a></li><li><a href="enum.UnOp.html">UnOp</a></li><li><a href="enum.ValueTree.html">ValueTree</a></li></ul><h3 id="functions">Functions</h3><ul class="all-items"><li><a href="scalar_int/fn.sign_extend.html">scalar_int::sign_extend</a></li><li><a href="scalar_int/fn.truncate.html">scalar_int::truncate</a></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
|
|
@ -1 +1 @@
|
|||
window.SIDEBAR_ITEMS = {"enum":["BinOp","ConstKind","ConstValue","FloatTy","IntTy","LocalKind","LogicalOp","Operand","PlaceElem","RValue","StatementKind","Terminator","TypeKind","UintTy","UnOp","ValueTree"],"mod":["scalar_int"],"struct":["BasicBlock","Body","ConstData","DebugInfo","DefId","Local","ModuleBody","Place","ProgramBody","Statement","SwitchTarget","SymbolTable","TypeInfo"]};
|
||||
window.SIDEBAR_ITEMS = {"enum":["BinOp","ConstKind","ConstValue","FloatTy","IntTy","LocalKind","LogicalOp","Operand","PlaceElem","RValue","StatementKind","Terminator","TypeKind","UintTy","UnOp","ValueTree"],"mod":["scalar_int"],"struct":["AdtBody","AdtVariant","BasicBlock","Body","ConstData","DebugInfo","DefId","Local","ModuleBody","Place","ProgramBody","Statement","SwitchTarget","SymbolTable","TypeInfo"]};
|
||||
19
edlang_ir/struct.AdtBody.html
Normal file
19
edlang_ir/struct.AdtBody.html
Normal file
File diff suppressed because one or more lines are too long
18
edlang_ir/struct.AdtVariant.html
Normal file
18
edlang_ir/struct.AdtVariant.html
Normal file
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 `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.7</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#907-981">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, t: &<a class="struct" href="../edlang_ast/struct.Type.html" title="struct edlang_ast::Type">Type</a>) -> <a class="struct" href="../edlang_ir/struct.TypeInfo.html" title="struct edlang_ir::TypeInfo">TypeInfo</a></code></pre></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>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#946-1035">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, 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>) -> <a class="struct" href="../edlang_ir/struct.TypeInfo.html" title="struct edlang_ir::TypeInfo">TypeInfo</a></code></pre></section></div></main></body></html>
|
||||
|
|
@ -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.7</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>
|
||||
<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-981">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.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-1035">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.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
|
|
@ -1280,6 +1280,56 @@
|
|||
<a href="#1279" id="1279">1279</a>
|
||||
<a href="#1280" id="1280">1280</a>
|
||||
<a href="#1281" id="1281">1281</a>
|
||||
<a href="#1282" id="1282">1282</a>
|
||||
<a href="#1283" id="1283">1283</a>
|
||||
<a href="#1284" id="1284">1284</a>
|
||||
<a href="#1285" id="1285">1285</a>
|
||||
<a href="#1286" id="1286">1286</a>
|
||||
<a href="#1287" id="1287">1287</a>
|
||||
<a href="#1288" id="1288">1288</a>
|
||||
<a href="#1289" id="1289">1289</a>
|
||||
<a href="#1290" id="1290">1290</a>
|
||||
<a href="#1291" id="1291">1291</a>
|
||||
<a href="#1292" id="1292">1292</a>
|
||||
<a href="#1293" id="1293">1293</a>
|
||||
<a href="#1294" id="1294">1294</a>
|
||||
<a href="#1295" id="1295">1295</a>
|
||||
<a href="#1296" id="1296">1296</a>
|
||||
<a href="#1297" id="1297">1297</a>
|
||||
<a href="#1298" id="1298">1298</a>
|
||||
<a href="#1299" id="1299">1299</a>
|
||||
<a href="#1300" id="1300">1300</a>
|
||||
<a href="#1301" id="1301">1301</a>
|
||||
<a href="#1302" id="1302">1302</a>
|
||||
<a href="#1303" id="1303">1303</a>
|
||||
<a href="#1304" id="1304">1304</a>
|
||||
<a href="#1305" id="1305">1305</a>
|
||||
<a href="#1306" id="1306">1306</a>
|
||||
<a href="#1307" id="1307">1307</a>
|
||||
<a href="#1308" id="1308">1308</a>
|
||||
<a href="#1309" id="1309">1309</a>
|
||||
<a href="#1310" id="1310">1310</a>
|
||||
<a href="#1311" id="1311">1311</a>
|
||||
<a href="#1312" id="1312">1312</a>
|
||||
<a href="#1313" id="1313">1313</a>
|
||||
<a href="#1314" id="1314">1314</a>
|
||||
<a href="#1315" id="1315">1315</a>
|
||||
<a href="#1316" id="1316">1316</a>
|
||||
<a href="#1317" id="1317">1317</a>
|
||||
<a href="#1318" id="1318">1318</a>
|
||||
<a href="#1319" id="1319">1319</a>
|
||||
<a href="#1320" id="1320">1320</a>
|
||||
<a href="#1321" id="1321">1321</a>
|
||||
<a href="#1322" id="1322">1322</a>
|
||||
<a href="#1323" id="1323">1323</a>
|
||||
<a href="#1324" id="1324">1324</a>
|
||||
<a href="#1325" id="1325">1325</a>
|
||||
<a href="#1326" id="1326">1326</a>
|
||||
<a href="#1327" id="1327">1327</a>
|
||||
<a href="#1328" id="1328">1328</a>
|
||||
<a href="#1329" id="1329">1329</a>
|
||||
<a href="#1330" id="1330">1330</a>
|
||||
<a href="#1331" id="1331">1331</a>
|
||||
</pre></div><pre class="rust"><code><span class="kw">use </span>std::{collections::HashMap, error::Error, path::PathBuf};
|
||||
|
||||
<span class="kw">use </span>edlang_ir <span class="kw">as </span>ir;
|
||||
|
|
@ -2442,6 +2492,21 @@
|
|||
.ptr_sized_int_type(<span class="kw-2">&</span>ctx.target_data, <span class="prelude-val">None</span>)
|
||||
.ptr_type(AddressSpace::default())
|
||||
.as_basic_type_enum(),
|
||||
ir::TypeKind::Struct(id) => {
|
||||
<span class="kw">let </span>body = ctx.ctx.program.structs.get(id).unwrap();
|
||||
|
||||
<span class="kw">let </span><span class="kw-2">mut </span>fields = Vec::new();
|
||||
|
||||
<span class="kw">for </span>field <span class="kw">in </span><span class="kw-2">&</span>body.variants {
|
||||
<span class="kw">let </span>ty = compile_basic_type(ctx, <span class="kw-2">&</span>field.ty);
|
||||
fields.push(ty);
|
||||
}
|
||||
|
||||
ctx.ctx
|
||||
.context
|
||||
.struct_type(<span class="kw-2">&</span>fields, <span class="bool-val">false</span>)
|
||||
.as_basic_type_enum()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -2559,6 +2624,41 @@
|
|||
.di_builder
|
||||
.create_reference_type(compile_debug_type(ctx, inner), <span class="number">0x10</span>)
|
||||
.as_type(),
|
||||
ir::TypeKind::Struct(id) => {
|
||||
<span class="kw">let </span>body = ctx.ctx.program.structs.get(id).unwrap();
|
||||
|
||||
<span class="kw">let </span><span class="kw-2">mut </span>fields = Vec::new();
|
||||
|
||||
<span class="kw">for </span>field <span class="kw">in </span><span class="kw-2">&</span>body.variants {
|
||||
<span class="kw">let </span>ty = compile_debug_type(ctx, <span class="kw-2">&</span>field.ty);
|
||||
fields.push(ty);
|
||||
}
|
||||
|
||||
<span class="kw">let </span>(<span class="kw">_</span>, line, _column) = ctx
|
||||
.ctx
|
||||
.session
|
||||
.source
|
||||
.get_offset_line(body.span.lo)
|
||||
.unwrap();
|
||||
<span class="kw">let </span>real_ty = compile_basic_type(ctx, ty);
|
||||
|
||||
ctx.di_builder
|
||||
.create_struct_type(
|
||||
ctx.di_namespace,
|
||||
<span class="kw-2">&</span>body.name,
|
||||
ctx.di_unit.get_file(),
|
||||
(line + <span class="number">1</span>).try_into().unwrap(),
|
||||
ctx.target_data.get_bit_size(<span class="kw-2">&</span>real_ty),
|
||||
ctx.target_data.get_abi_alignment(<span class="kw-2">&</span>real_ty),
|
||||
<span class="number">0</span>,
|
||||
<span class="prelude-val">None</span>,
|
||||
<span class="kw-2">&</span>fields,
|
||||
<span class="number">0</span>,
|
||||
<span class="prelude-val">None</span>,
|
||||
<span class="kw-2">&</span>body.name,
|
||||
)
|
||||
.as_type()
|
||||
}
|
||||
}
|
||||
}
|
||||
</code></pre></div></section></main></body></html>
|
||||
|
|
@ -453,6 +453,26 @@
|
|||
<a href="#452" id="452">452</a>
|
||||
<a href="#453" id="453">453</a>
|
||||
<a href="#454" id="454">454</a>
|
||||
<a href="#455" id="455">455</a>
|
||||
<a href="#456" id="456">456</a>
|
||||
<a href="#457" id="457">457</a>
|
||||
<a href="#458" id="458">458</a>
|
||||
<a href="#459" id="459">459</a>
|
||||
<a href="#460" id="460">460</a>
|
||||
<a href="#461" id="461">461</a>
|
||||
<a href="#462" id="462">462</a>
|
||||
<a href="#463" id="463">463</a>
|
||||
<a href="#464" id="464">464</a>
|
||||
<a href="#465" id="465">465</a>
|
||||
<a href="#466" id="466">466</a>
|
||||
<a href="#467" id="467">467</a>
|
||||
<a href="#468" id="468">468</a>
|
||||
<a href="#469" id="469">469</a>
|
||||
<a href="#470" id="470">470</a>
|
||||
<a href="#471" id="471">471</a>
|
||||
<a href="#472" id="472">472</a>
|
||||
<a href="#473" id="473">473</a>
|
||||
<a href="#474" id="474">474</a>
|
||||
</pre></div><pre class="rust"><code><span class="comment">// Based on a cfg
|
||||
|
||||
</span><span class="kw">use </span>std::collections::{BTreeMap, HashSet};
|
||||
|
|
@ -481,6 +501,7 @@
|
|||
</span><span class="kw">pub </span>modules: BTreeMap<DefId, ModuleBody>,
|
||||
<span class="doccomment">/// This stores all the functions from all modules
|
||||
</span><span class="kw">pub </span>functions: BTreeMap<DefId, Body>,
|
||||
<span class="kw">pub </span>structs: BTreeMap<DefId, AdtBody>,
|
||||
<span class="doccomment">/// The function signatures.
|
||||
</span><span class="kw">pub </span>function_signatures: BTreeMap<DefId, (Vec<TypeInfo>, TypeInfo)>,
|
||||
}
|
||||
|
|
@ -542,6 +563,23 @@
|
|||
}
|
||||
}
|
||||
|
||||
<span class="attr">#[derive(Debug, Clone)]
|
||||
</span><span class="kw">pub struct </span>AdtBody {
|
||||
<span class="kw">pub </span>def_id: DefId,
|
||||
<span class="kw">pub </span>is_pub: bool,
|
||||
<span class="kw">pub </span>name: String,
|
||||
<span class="kw">pub </span>variants: Vec<AdtVariant>,
|
||||
<span class="kw">pub </span>span: Span,
|
||||
}
|
||||
|
||||
<span class="doccomment">/// struct field or enum variant
|
||||
</span><span class="attr">#[derive(Debug, Clone)]
|
||||
</span><span class="kw">pub struct </span>AdtVariant {
|
||||
<span class="kw">pub </span>def_id: DefId,
|
||||
<span class="kw">pub </span>name: String,
|
||||
<span class="kw">pub </span>ty: TypeInfo,
|
||||
}
|
||||
|
||||
<span class="attr">#[derive(Debug, Clone)]
|
||||
</span><span class="kw">pub struct </span>DebugInfo {
|
||||
<span class="kw">pub </span>id: usize,
|
||||
|
|
@ -660,6 +698,7 @@
|
|||
FnDef(DefId, Vec<TypeInfo>), <span class="comment">// The vec are generic types, not arg types
|
||||
</span>Ptr(Box<TypeInfo>),
|
||||
Ref(bool, Box<TypeInfo>),
|
||||
Struct(DefId),
|
||||
}
|
||||
|
||||
<span class="kw">impl </span>TypeKind {
|
||||
|
|
@ -696,6 +735,7 @@
|
|||
TypeKind::FnDef(<span class="kw">_</span>, <span class="kw">_</span>) => <span class="macro">unreachable!</span>(),
|
||||
TypeKind::Ptr(_pointee) => <span class="macro">todo!</span>(),
|
||||
TypeKind::Ref(<span class="kw">_</span>, inner) => inner.kind.get_falsy_value(),
|
||||
TypeKind::Struct(<span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -980,6 +980,60 @@
|
|||
<a href="#979" id="979">979</a>
|
||||
<a href="#980" id="980">980</a>
|
||||
<a href="#981" id="981">981</a>
|
||||
<a href="#982" id="982">982</a>
|
||||
<a href="#983" id="983">983</a>
|
||||
<a href="#984" id="984">984</a>
|
||||
<a href="#985" id="985">985</a>
|
||||
<a href="#986" id="986">986</a>
|
||||
<a href="#987" id="987">987</a>
|
||||
<a href="#988" id="988">988</a>
|
||||
<a href="#989" id="989">989</a>
|
||||
<a href="#990" id="990">990</a>
|
||||
<a href="#991" id="991">991</a>
|
||||
<a href="#992" id="992">992</a>
|
||||
<a href="#993" id="993">993</a>
|
||||
<a href="#994" id="994">994</a>
|
||||
<a href="#995" id="995">995</a>
|
||||
<a href="#996" id="996">996</a>
|
||||
<a href="#997" id="997">997</a>
|
||||
<a href="#998" id="998">998</a>
|
||||
<a href="#999" id="999">999</a>
|
||||
<a href="#1000" id="1000">1000</a>
|
||||
<a href="#1001" id="1001">1001</a>
|
||||
<a href="#1002" id="1002">1002</a>
|
||||
<a href="#1003" id="1003">1003</a>
|
||||
<a href="#1004" id="1004">1004</a>
|
||||
<a href="#1005" id="1005">1005</a>
|
||||
<a href="#1006" id="1006">1006</a>
|
||||
<a href="#1007" id="1007">1007</a>
|
||||
<a href="#1008" id="1008">1008</a>
|
||||
<a href="#1009" id="1009">1009</a>
|
||||
<a href="#1010" id="1010">1010</a>
|
||||
<a href="#1011" id="1011">1011</a>
|
||||
<a href="#1012" id="1012">1012</a>
|
||||
<a href="#1013" id="1013">1013</a>
|
||||
<a href="#1014" id="1014">1014</a>
|
||||
<a href="#1015" id="1015">1015</a>
|
||||
<a href="#1016" id="1016">1016</a>
|
||||
<a href="#1017" id="1017">1017</a>
|
||||
<a href="#1018" id="1018">1018</a>
|
||||
<a href="#1019" id="1019">1019</a>
|
||||
<a href="#1020" id="1020">1020</a>
|
||||
<a href="#1021" id="1021">1021</a>
|
||||
<a href="#1022" id="1022">1022</a>
|
||||
<a href="#1023" id="1023">1023</a>
|
||||
<a href="#1024" id="1024">1024</a>
|
||||
<a href="#1025" id="1025">1025</a>
|
||||
<a href="#1026" id="1026">1026</a>
|
||||
<a href="#1027" id="1027">1027</a>
|
||||
<a href="#1028" id="1028">1028</a>
|
||||
<a href="#1029" id="1029">1029</a>
|
||||
<a href="#1030" id="1030">1030</a>
|
||||
<a href="#1031" id="1031">1031</a>
|
||||
<a href="#1032" id="1032">1032</a>
|
||||
<a href="#1033" id="1033">1033</a>
|
||||
<a href="#1034" id="1034">1034</a>
|
||||
<a href="#1035" id="1035">1035</a>
|
||||
</pre></div><pre class="rust"><code><span class="kw">use </span>std::collections::HashMap;
|
||||
|
||||
<span class="kw">use </span>ast::{BinaryOp, ModuleStatement, Span, WhileStmt};
|
||||
|
|
@ -987,8 +1041,8 @@
|
|||
<span class="kw">use </span>edlang_ast <span class="kw">as </span>ast;
|
||||
<span class="kw">use </span>edlang_ir <span class="kw">as </span>ir;
|
||||
<span class="kw">use </span>ir::{
|
||||
BasicBlock, Body, DefId, Local, LocalKind, Operand, Place, PlaceElem, ProgramBody, RValue,
|
||||
Statement, StatementKind, SwitchTarget, Terminator, TypeInfo, TypeKind,
|
||||
AdtBody, AdtVariant, BasicBlock, Body, DefId, Local, LocalKind, Operand, Place, PlaceElem,
|
||||
ProgramBody, RValue, Statement, StatementKind, SwitchTarget, Terminator, TypeInfo, TypeKind,
|
||||
};
|
||||
<span class="kw">use </span>tracing::trace;
|
||||
|
||||
|
|
@ -1022,6 +1076,18 @@
|
|||
}
|
||||
|
||||
<span class="kw">fn </span>lower_module(<span class="kw-2">mut </span>ctx: BuildCtx, module: <span class="kw-2">&</span>ast::Module, id: DefId) -> BuildCtx {
|
||||
<span class="comment">// lower first structs, constants, types
|
||||
</span><span class="kw">for </span>content <span class="kw">in </span><span class="kw-2">&</span>module.contents {
|
||||
<span class="kw">match </span>content {
|
||||
ModuleStatement::Constant(<span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||
ModuleStatement::Struct(info) => {
|
||||
ctx = lower_struct(ctx, info, id);
|
||||
}
|
||||
<span class="comment">// ModuleStatement::Type(_) => todo!(),
|
||||
</span><span class="kw">_ </span>=> {}
|
||||
}
|
||||
}
|
||||
|
||||
<span class="kw">let </span>body = ctx.body.modules.get(<span class="kw-2">&</span>id).unwrap();
|
||||
|
||||
<span class="comment">// fill fn sigs
|
||||
|
|
@ -1033,12 +1099,12 @@
|
|||
<span class="kw">let </span>ret_type;
|
||||
|
||||
<span class="kw">for </span>arg <span class="kw">in </span><span class="kw-2">&</span>fn_def.params {
|
||||
<span class="kw">let </span>ty = lower_type(<span class="kw-2">&</span>ctx, <span class="kw-2">&</span>arg.arg_type);
|
||||
<span class="kw">let </span>ty = lower_type(<span class="kw-2">&</span>ctx, <span class="kw-2">&</span>arg.arg_type, id);
|
||||
args.push(ty);
|
||||
}
|
||||
|
||||
<span class="kw">if let </span><span class="prelude-val">Some</span>(ty) = <span class="kw-2">&</span>fn_def.return_type {
|
||||
ret_type = lower_type(<span class="kw-2">&</span>ctx, ty);
|
||||
ret_type = lower_type(<span class="kw-2">&</span>ctx, ty, id);
|
||||
} <span class="kw">else </span>{
|
||||
ret_type = TypeInfo {
|
||||
span: <span class="prelude-val">None</span>,
|
||||
|
|
@ -1052,19 +1118,43 @@
|
|||
|
||||
<span class="kw">for </span>content <span class="kw">in </span><span class="kw-2">&</span>module.contents {
|
||||
<span class="kw">match </span>content {
|
||||
ModuleStatement::Constant(<span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||
ModuleStatement::Function(fn_def) => {
|
||||
ctx = lower_function(ctx, fn_def, id);
|
||||
}
|
||||
ModuleStatement::Struct(<span class="kw">_</span>) => <span class="macro">todo!</span>(),
|
||||
<span class="comment">// ModuleStatement::Type(_) => todo!(),
|
||||
</span>ModuleStatement::Module(_mod_def) => {}
|
||||
<span class="kw">_ </span>=> {}
|
||||
}
|
||||
}
|
||||
|
||||
ctx
|
||||
}
|
||||
|
||||
<span class="kw">fn </span>lower_struct(<span class="kw-2">mut </span>ctx: BuildCtx, info: <span class="kw-2">&</span>ast::Struct, module_id: DefId) -> BuildCtx {
|
||||
<span class="kw">let </span><span class="kw-2">mut </span>body = AdtBody {
|
||||
def_id: {
|
||||
<span class="kw">let </span>body = ctx.body.modules.get(<span class="kw-2">&</span>module_id).unwrap();
|
||||
<span class="kw-2">*</span>body.symbols.structs.get(<span class="kw-2">&</span>info.name.name).unwrap()
|
||||
},
|
||||
is_pub: <span class="bool-val">true</span>, <span class="comment">// todo struct pub
|
||||
</span>name: info.name.name.clone(),
|
||||
variants: Vec::new(),
|
||||
span: info.span,
|
||||
};
|
||||
|
||||
<span class="kw">for </span>field <span class="kw">in </span><span class="kw-2">&</span>info.fields {
|
||||
<span class="kw">let </span>variant = AdtVariant {
|
||||
def_id: ctx.gen.next_defid(),
|
||||
name: field.name.name.clone(),
|
||||
ty: lower_type(<span class="kw-2">&</span>ctx, <span class="kw-2">&</span>field.r#type, module_id),
|
||||
};
|
||||
body.variants.push(variant);
|
||||
}
|
||||
|
||||
ctx.body.structs.insert(body.def_id, body);
|
||||
ctx
|
||||
}
|
||||
|
||||
<span class="kw">fn </span>lower_function(ctx: BuildCtx, func: <span class="kw-2">&</span>ast::Function, module_id: DefId) -> BuildCtx {
|
||||
<span class="kw">let </span><span class="kw-2">mut </span>builder = BodyBuilder {
|
||||
body: Body {
|
||||
|
|
@ -1123,7 +1213,7 @@
|
|||
<span class="comment">// Get all user defined locals
|
||||
</span><span class="kw">for </span>stmt <span class="kw">in </span><span class="kw-2">&</span>func.body.body {
|
||||
<span class="kw">if let </span>ast::Statement::Let(info) = stmt {
|
||||
<span class="kw">let </span>ty = lower_type(<span class="kw-2">&</span>builder.ctx, <span class="kw-2">&</span>info.r#type);
|
||||
<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);
|
||||
builder
|
||||
.name_to_local
|
||||
.insert(info.name.name.clone(), builder.body.locals.len());
|
||||
|
|
@ -1342,7 +1432,7 @@
|
|||
}
|
||||
|
||||
<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="kw">let </span>ty = lower_type(<span class="kw-2">&</span>builder.ctx, <span class="kw-2">&</span>info.r#type);
|
||||
<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="kw">let </span>(rvalue, _ty) = 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="kw">let </span>local_idx = builder.name_to_local.get(<span class="kw-2">&</span>info.name.name).copied().unwrap();
|
||||
builder.statements.push(Statement {
|
||||
|
|
@ -1647,10 +1737,13 @@
|
|||
.get(<span class="kw-2">&</span>fn_id)
|
||||
.unwrap();
|
||||
|
||||
<span class="kw">let </span>args: Vec<<span class="kw">_</span>> = args.iter().map(|x| lower_type(<span class="kw-2">&</span>builder.ctx, x)).collect();
|
||||
<span class="kw">let </span>args: Vec<<span class="kw">_</span>> = args
|
||||
.iter()
|
||||
.map(|x| lower_type(<span class="kw-2">&</span>builder.ctx, x, builder.local_module))
|
||||
.collect();
|
||||
<span class="kw">let </span>ret = ret
|
||||
.as_ref()
|
||||
.map(|x| lower_type(<span class="kw-2">&</span>builder.ctx, x))
|
||||
.map(|x| lower_type(<span class="kw-2">&</span>builder.ctx, x, builder.local_module))
|
||||
.unwrap_or(TypeInfo {
|
||||
span: <span class="prelude-val">None</span>,
|
||||
kind: TypeKind::Unit,
|
||||
|
|
@ -1886,7 +1979,7 @@
|
|||
}
|
||||
|
||||
<span class="attr">#[allow(clippy::only_used_in_recursion)]
|
||||
</span><span class="kw">pub fn </span>lower_type(ctx: <span class="kw-2">&</span>BuildCtx, t: <span class="kw-2">&</span>ast::Type) -> ir::TypeInfo {
|
||||
</span><span class="kw">pub fn </span>lower_type(ctx: <span class="kw-2">&</span>BuildCtx, t: <span class="kw-2">&</span>ast::Type, module_id: DefId) -> ir::TypeInfo {
|
||||
<span class="kw">let </span>inner_ty = <span class="kw">match </span>t.name.name.as_str() {
|
||||
<span class="string">"()" </span>=> ir::TypeInfo {
|
||||
span: <span class="prelude-val">Some</span>(t.span),
|
||||
|
|
@ -1942,9 +2035,24 @@
|
|||
},
|
||||
<span class="string">"ptr" </span>=> ir::TypeInfo {
|
||||
span: <span class="prelude-val">Some</span>(t.span),
|
||||
kind: ir::TypeKind::Ptr(Box::new(lower_type(ctx, t.generics.first().unwrap()))),
|
||||
kind: ir::TypeKind::Ptr(Box::new(lower_type(
|
||||
ctx,
|
||||
t.generics.first().unwrap(),
|
||||
module_id,
|
||||
))),
|
||||
},
|
||||
x => <span class="macro">todo!</span>(<span class="string">"{:?}"</span>, x),
|
||||
other => {
|
||||
<span class="kw">let </span>module = ctx.body.modules.get(<span class="kw-2">&</span>module_id).expect(<span class="string">"module not found"</span>);
|
||||
<span class="kw">if let </span><span class="prelude-val">Some</span>(struct_id) = module.symbols.structs.get(other) {
|
||||
<span class="kw">let </span>struct_body = ctx.body.structs.get(struct_id).unwrap();
|
||||
ir::TypeInfo {
|
||||
span: <span class="prelude-val">Some</span>(struct_body.span),
|
||||
kind: TypeKind::Struct(<span class="kw-2">*</span>struct_id),
|
||||
}
|
||||
} <span class="kw">else </span>{
|
||||
<span class="macro">todo!</span>(<span class="string">"{:?}"</span>, other)
|
||||
}
|
||||
}
|
||||
};
|
||||
|
||||
<span class="kw">match </span>t.is_ref {
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -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>"]],
|
||||
"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.RefType.html\" title=\"enum edlang_ast::RefType\">RefType</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.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.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=\"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.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.LogicalOp.html\" title=\"enum edlang_ir::LogicalOp\">LogicalOp</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.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.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=\"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.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/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.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.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.LocalKind.html\" title=\"enum edlang_ir::LocalKind\">LocalKind</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.OptLevel.html\" title=\"enum edlang_session::OptLevel\">OptLevel</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.DebugInfo.html\" title=\"enum edlang_session::DebugInfo\">DebugInfo</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>"]],
|
||||
|
|
|
|||
|
|
@ -15,7 +15,7 @@
|
|||
"concolor":[["impl Freeze for <a class=\"struct\" href=\"concolor/struct.Color.html\" title=\"struct concolor::Color\">Color</a>",1,["concolor::color::Color"]],["impl Freeze for <a class=\"enum\" href=\"concolor/enum.ColorChoice.html\" title=\"enum concolor::ColorChoice\">ColorChoice</a>",1,["concolor::choice::ColorChoice"]],["impl Freeze for <a class=\"enum\" href=\"concolor/enum.Stream.html\" title=\"enum concolor::Stream\">Stream</a>",1,["concolor::stream::Stream"]]],
|
||||
"edlang_ast":[["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Module.html\" title=\"struct edlang_ast::Module\">Module</a>",1,["edlang_ast::Module"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.ModuleStatement.html\" title=\"enum edlang_ast::ModuleStatement\">ModuleStatement</a>",1,["edlang_ast::ModuleStatement"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Import.html\" title=\"struct edlang_ast::Import\">Import</a>",1,["edlang_ast::Import"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.PathExpr.html\" title=\"struct edlang_ast::PathExpr\">PathExpr</a>",1,["edlang_ast::PathExpr"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.PathSegment.html\" title=\"enum edlang_ast::PathSegment\">PathSegment</a>",1,["edlang_ast::PathSegment"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Ident.html\" title=\"struct edlang_ast::Ident\">Ident</a>",1,["edlang_ast::Ident"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Type.html\" title=\"struct edlang_ast::Type\">Type</a>",1,["edlang_ast::Type"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.FnParam.html\" title=\"struct edlang_ast::FnParam\">FnParam</a>",1,["edlang_ast::FnParam"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.RefType.html\" title=\"enum edlang_ast::RefType\">RefType</a>",1,["edlang_ast::RefType"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Block.html\" title=\"struct edlang_ast::Block\">Block</a>",1,["edlang_ast::Block"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.Statement.html\" title=\"enum edlang_ast::Statement\">Statement</a>",1,["edlang_ast::Statement"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.LetStmt.html\" title=\"struct edlang_ast::LetStmt\">LetStmt</a>",1,["edlang_ast::LetStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.AssignStmt.html\" title=\"struct edlang_ast::AssignStmt\">AssignStmt</a>",1,["edlang_ast::AssignStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.IfStmt.html\" title=\"struct edlang_ast::IfStmt\">IfStmt</a>",1,["edlang_ast::IfStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.ForStmt.html\" title=\"struct edlang_ast::ForStmt\">ForStmt</a>",1,["edlang_ast::ForStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.WhileStmt.html\" title=\"struct edlang_ast::WhileStmt\">WhileStmt</a>",1,["edlang_ast::WhileStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.ReturnStmt.html\" title=\"struct edlang_ast::ReturnStmt\">ReturnStmt</a>",1,["edlang_ast::ReturnStmt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Function.html\" title=\"struct edlang_ast::Function\">Function</a>",1,["edlang_ast::Function"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Constant.html\" title=\"struct edlang_ast::Constant\">Constant</a>",1,["edlang_ast::Constant"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.StructField.html\" title=\"struct edlang_ast::StructField\">StructField</a>",1,["edlang_ast::StructField"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.Struct.html\" title=\"struct edlang_ast::Struct\">Struct</a>",1,["edlang_ast::Struct"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.Expression.html\" title=\"enum edlang_ast::Expression\">Expression</a>",1,["edlang_ast::Expression"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.ValueExpr.html\" title=\"enum edlang_ast::ValueExpr\">ValueExpr</a>",1,["edlang_ast::ValueExpr"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ast/struct.FnCallExpr.html\" title=\"struct edlang_ast::FnCallExpr\">FnCallExpr</a>",1,["edlang_ast::FnCallExpr"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.UnaryOp.html\" title=\"enum edlang_ast::UnaryOp\">UnaryOp</a>",1,["edlang_ast::UnaryOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.BinaryOp.html\" title=\"enum edlang_ast::BinaryOp\">BinaryOp</a>",1,["edlang_ast::BinaryOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.ArithOp.html\" title=\"enum edlang_ast::ArithOp\">ArithOp</a>",1,["edlang_ast::ArithOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.LogicOp.html\" title=\"enum edlang_ast::LogicOp\">LogicOp</a>",1,["edlang_ast::LogicOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.CmpOp.html\" title=\"enum edlang_ast::CmpOp\">CmpOp</a>",1,["edlang_ast::CmpOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ast/enum.BitwiseOp.html\" title=\"enum edlang_ast::BitwiseOp\">BitwiseOp</a>",1,["edlang_ast::BitwiseOp"]]],
|
||||
"edlang_driver":[["impl Freeze for <a class=\"struct\" href=\"edlang_driver/struct.CompilerArgs.html\" title=\"struct edlang_driver::CompilerArgs\">CompilerArgs</a>",1,["edlang_driver::CompilerArgs"]]],
|
||||
"edlang_ir":[["impl Freeze for <a class=\"struct\" href=\"edlang_ir/scalar_int/struct.ScalarInt.html\" title=\"struct edlang_ir::scalar_int::ScalarInt\">ScalarInt</a>",1,["edlang_ir::scalar_int::ScalarInt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.SymbolTable.html\" title=\"struct edlang_ir::SymbolTable\">SymbolTable</a>",1,["edlang_ir::SymbolTable"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ProgramBody.html\" title=\"struct edlang_ir::ProgramBody\">ProgramBody</a>",1,["edlang_ir::ProgramBody"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ModuleBody.html\" title=\"struct edlang_ir::ModuleBody\">ModuleBody</a>",1,["edlang_ir::ModuleBody"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>",1,["edlang_ir::DefId"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Body.html\" title=\"struct edlang_ir::Body\">Body</a>",1,["edlang_ir::Body"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.DebugInfo.html\" title=\"struct edlang_ir::DebugInfo\">DebugInfo</a>",1,["edlang_ir::DebugInfo"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.BasicBlock.html\" title=\"struct edlang_ir::BasicBlock\">BasicBlock</a>",1,["edlang_ir::BasicBlock"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Local.html\" title=\"struct edlang_ir::Local\">Local</a>",1,["edlang_ir::Local"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.LocalKind.html\" title=\"enum edlang_ir::LocalKind\">LocalKind</a>",1,["edlang_ir::LocalKind"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Statement.html\" title=\"struct edlang_ir::Statement\">Statement</a>",1,["edlang_ir::Statement"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.StatementKind.html\" title=\"enum edlang_ir::StatementKind\">StatementKind</a>",1,["edlang_ir::StatementKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.Terminator.html\" title=\"enum edlang_ir::Terminator\">Terminator</a>",1,["edlang_ir::Terminator"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.SwitchTarget.html\" title=\"struct edlang_ir::SwitchTarget\">SwitchTarget</a>",1,["edlang_ir::SwitchTarget"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.TypeInfo.html\" title=\"struct edlang_ir::TypeInfo\">TypeInfo</a>",1,["edlang_ir::TypeInfo"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.TypeKind.html\" title=\"enum edlang_ir::TypeKind\">TypeKind</a>",1,["edlang_ir::TypeKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.IntTy.html\" title=\"enum edlang_ir::IntTy\">IntTy</a>",1,["edlang_ir::IntTy"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.UintTy.html\" title=\"enum edlang_ir::UintTy\">UintTy</a>",1,["edlang_ir::UintTy"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.FloatTy.html\" title=\"enum edlang_ir::FloatTy\">FloatTy</a>",1,["edlang_ir::FloatTy"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ConstData.html\" title=\"struct edlang_ir::ConstData\">ConstData</a>",1,["edlang_ir::ConstData"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ConstKind.html\" title=\"enum edlang_ir::ConstKind\">ConstKind</a>",1,["edlang_ir::ConstKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ValueTree.html\" title=\"enum edlang_ir::ValueTree\">ValueTree</a>",1,["edlang_ir::ValueTree"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.RValue.html\" title=\"enum edlang_ir::RValue\">RValue</a>",1,["edlang_ir::RValue"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.Operand.html\" title=\"enum edlang_ir::Operand\">Operand</a>",1,["edlang_ir::Operand"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Place.html\" title=\"struct edlang_ir::Place\">Place</a>",1,["edlang_ir::Place"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.PlaceElem.html\" title=\"enum edlang_ir::PlaceElem\">PlaceElem</a>",1,["edlang_ir::PlaceElem"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.BinOp.html\" title=\"enum edlang_ir::BinOp\">BinOp</a>",1,["edlang_ir::BinOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.LogicalOp.html\" title=\"enum edlang_ir::LogicalOp\">LogicalOp</a>",1,["edlang_ir::LogicalOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.UnOp.html\" title=\"enum edlang_ir::UnOp\">UnOp</a>",1,["edlang_ir::UnOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ConstValue.html\" title=\"enum edlang_ir::ConstValue\">ConstValue</a>",1,["edlang_ir::ConstValue"]]],
|
||||
"edlang_ir":[["impl Freeze for <a class=\"struct\" href=\"edlang_ir/scalar_int/struct.ScalarInt.html\" title=\"struct edlang_ir::scalar_int::ScalarInt\">ScalarInt</a>",1,["edlang_ir::scalar_int::ScalarInt"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.SymbolTable.html\" title=\"struct edlang_ir::SymbolTable\">SymbolTable</a>",1,["edlang_ir::SymbolTable"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ProgramBody.html\" title=\"struct edlang_ir::ProgramBody\">ProgramBody</a>",1,["edlang_ir::ProgramBody"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ModuleBody.html\" title=\"struct edlang_ir::ModuleBody\">ModuleBody</a>",1,["edlang_ir::ModuleBody"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.DefId.html\" title=\"struct edlang_ir::DefId\">DefId</a>",1,["edlang_ir::DefId"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Body.html\" title=\"struct edlang_ir::Body\">Body</a>",1,["edlang_ir::Body"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.AdtBody.html\" title=\"struct edlang_ir::AdtBody\">AdtBody</a>",1,["edlang_ir::AdtBody"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.AdtVariant.html\" title=\"struct edlang_ir::AdtVariant\">AdtVariant</a>",1,["edlang_ir::AdtVariant"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.DebugInfo.html\" title=\"struct edlang_ir::DebugInfo\">DebugInfo</a>",1,["edlang_ir::DebugInfo"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.BasicBlock.html\" title=\"struct edlang_ir::BasicBlock\">BasicBlock</a>",1,["edlang_ir::BasicBlock"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Local.html\" title=\"struct edlang_ir::Local\">Local</a>",1,["edlang_ir::Local"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.LocalKind.html\" title=\"enum edlang_ir::LocalKind\">LocalKind</a>",1,["edlang_ir::LocalKind"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Statement.html\" title=\"struct edlang_ir::Statement\">Statement</a>",1,["edlang_ir::Statement"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.StatementKind.html\" title=\"enum edlang_ir::StatementKind\">StatementKind</a>",1,["edlang_ir::StatementKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.Terminator.html\" title=\"enum edlang_ir::Terminator\">Terminator</a>",1,["edlang_ir::Terminator"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.SwitchTarget.html\" title=\"struct edlang_ir::SwitchTarget\">SwitchTarget</a>",1,["edlang_ir::SwitchTarget"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.TypeInfo.html\" title=\"struct edlang_ir::TypeInfo\">TypeInfo</a>",1,["edlang_ir::TypeInfo"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.TypeKind.html\" title=\"enum edlang_ir::TypeKind\">TypeKind</a>",1,["edlang_ir::TypeKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.IntTy.html\" title=\"enum edlang_ir::IntTy\">IntTy</a>",1,["edlang_ir::IntTy"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.UintTy.html\" title=\"enum edlang_ir::UintTy\">UintTy</a>",1,["edlang_ir::UintTy"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.FloatTy.html\" title=\"enum edlang_ir::FloatTy\">FloatTy</a>",1,["edlang_ir::FloatTy"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.ConstData.html\" title=\"struct edlang_ir::ConstData\">ConstData</a>",1,["edlang_ir::ConstData"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ConstKind.html\" title=\"enum edlang_ir::ConstKind\">ConstKind</a>",1,["edlang_ir::ConstKind"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ValueTree.html\" title=\"enum edlang_ir::ValueTree\">ValueTree</a>",1,["edlang_ir::ValueTree"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.RValue.html\" title=\"enum edlang_ir::RValue\">RValue</a>",1,["edlang_ir::RValue"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.Operand.html\" title=\"enum edlang_ir::Operand\">Operand</a>",1,["edlang_ir::Operand"]],["impl Freeze for <a class=\"struct\" href=\"edlang_ir/struct.Place.html\" title=\"struct edlang_ir::Place\">Place</a>",1,["edlang_ir::Place"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.PlaceElem.html\" title=\"enum edlang_ir::PlaceElem\">PlaceElem</a>",1,["edlang_ir::PlaceElem"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.BinOp.html\" title=\"enum edlang_ir::BinOp\">BinOp</a>",1,["edlang_ir::BinOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.LogicalOp.html\" title=\"enum edlang_ir::LogicalOp\">LogicalOp</a>",1,["edlang_ir::LogicalOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.UnOp.html\" title=\"enum edlang_ir::UnOp\">UnOp</a>",1,["edlang_ir::UnOp"]],["impl Freeze for <a class=\"enum\" href=\"edlang_ir/enum.ConstValue.html\" title=\"enum edlang_ir::ConstValue\">ConstValue</a>",1,["edlang_ir::ConstValue"]]],
|
||||
"edlang_parser":[["impl Freeze for <a class=\"enum\" href=\"edlang_parser/lexer/enum.LexicalError.html\" title=\"enum edlang_parser::lexer::LexicalError\">LexicalError</a>",1,["edlang_parser::lexer::LexicalError"]],["impl<'input> Freeze for <a class=\"struct\" href=\"edlang_parser/lexer/struct.Lexer.html\" title=\"struct edlang_parser::lexer::Lexer\">Lexer</a><'input>",1,["edlang_parser::lexer::Lexer"]],["impl Freeze for <a class=\"enum\" href=\"edlang_parser/tokens/enum.LexingError.html\" title=\"enum edlang_parser::tokens::LexingError\">LexingError</a>",1,["edlang_parser::tokens::LexingError"]],["impl Freeze for <a class=\"enum\" href=\"edlang_parser/tokens/enum.Token.html\" title=\"enum edlang_parser::tokens::Token\">Token</a>",1,["edlang_parser::tokens::Token"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.BinaryFirstLvlOpParser.html\" title=\"struct edlang_parser::grammar::grammar::BinaryFirstLvlOpParser\">BinaryFirstLvlOpParser</a>",1,["edlang_parser::grammar::grammar::__parse__BinaryFirstLvlOp::BinaryFirstLvlOpParser"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.BinarySecondLvlOpParser.html\" title=\"struct edlang_parser::grammar::grammar::BinarySecondLvlOpParser\">BinarySecondLvlOpParser</a>",1,["edlang_parser::grammar::grammar::__parse__BinarySecondLvlOp::BinarySecondLvlOpParser"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.BinaryThirdLvlOpParser.html\" title=\"struct edlang_parser::grammar::grammar::BinaryThirdLvlOpParser\">BinaryThirdLvlOpParser</a>",1,["edlang_parser::grammar::grammar::__parse__BinaryThirdLvlOp::BinaryThirdLvlOpParser"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.ModuleParser.html\" title=\"struct edlang_parser::grammar::grammar::ModuleParser\">ModuleParser</a>",1,["edlang_parser::grammar::grammar::__parse__Module::ModuleParser"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.PathSegmentsParser.html\" title=\"struct edlang_parser::grammar::grammar::PathSegmentsParser\">PathSegmentsParser</a>",1,["edlang_parser::grammar::grammar::__parse__PathSegments::PathSegmentsParser"]],["impl Freeze for <a class=\"struct\" href=\"edlang_parser/grammar/grammar/struct.UnaryOpParser.html\" title=\"struct edlang_parser::grammar::grammar::UnaryOpParser\">UnaryOpParser</a>",1,["edlang_parser::grammar::grammar::__parse__UnaryOp::UnaryOpParser"]]],
|
||||
"edlang_session":[["impl Freeze for <a class=\"struct\" href=\"edlang_session/struct.Session.html\" title=\"struct edlang_session::Session\">Session</a>",1,["edlang_session::Session"]],["impl Freeze for <a class=\"enum\" href=\"edlang_session/enum.OptLevel.html\" title=\"enum edlang_session::OptLevel\">OptLevel</a>",1,["edlang_session::OptLevel"]],["impl Freeze for <a class=\"enum\" href=\"edlang_session/enum.DebugInfo.html\" title=\"enum edlang_session::DebugInfo\">DebugInfo</a>",1,["edlang_session::DebugInfo"]]],
|
||||
"edlang_span":[["impl Freeze for <a class=\"struct\" href=\"edlang_span/struct.Span.html\" title=\"struct edlang_span::Span\">Span</a>",1,["edlang_span::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
Loading…
Reference in a new issue