Skip to content

Commit

Permalink
deploy: d422cc3
Browse files Browse the repository at this point in the history
  • Loading branch information
@mimoo
mimoo committed Jun 20, 2024
1 parent 542b320 commit 9024535
Show file tree
Hide file tree
Showing 277 changed files with 1,543 additions and 675 deletions.
6 changes: 4 additions & 2 deletions basics.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -344,10 +344,12 @@ <h2 id="methods-on-custom-types"><a class="header" href="#methods-on-custom-type
</span><span class="boring">fn main() {
</span>let y = thing.new(3, 4);
<span class="boring">}</span></code></pre></pre>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note"></a>
</div>
<div>
<p>It’s not necessarily pleasant to read, and we could prevent it by storing some meta information (<code>static_method: bool</code>) in the type checker, but it’s not a big deal.</p>
Expand Down
6 changes: 4 additions & 2 deletions expressions.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -280,10 +280,12 @@ <h3 id="circuit-writer"><a class="header" href="#circuit-writer">Circuit writer<
}
<span class="boring">}</span></code></pre></pre>
<p>and we modify the <a href="">circuit-writer</a> to always return a <a href=""><code>VarOrRef</code></a> when processing an expression node in the AST.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note"></a>
</div>
<div>
<p>While the type checker already checks if the <code>lhs</code> variable is mutable when it encounters an assignment expression,
Expand Down
6 changes: 4 additions & 2 deletions functions.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -284,10 +284,12 @@ <h2 id="third-party-libraries"><a class="header" href="#third-party-libraries">T
Library(Vec&lt;String&gt;, FnSig),
}
<span class="boring">}</span></code></pre></pre>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note"></a>
</div>
<div>
<p>Not all modules are third-party libraries, some are also built-ins (e.g. <code>std::crypto</code>).</p>
Expand Down
6 changes: 4 additions & 2 deletions literals.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -248,10 +248,12 @@ <h2 id="implementing-a-literal-type"><a class="header" href="#implementing-a-lit
<p>What about other types being <code>const</code>?
I don’t think it makes sense for now, as I can only think of array access requiring this.
So we don’t implement it.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note"></a>
</div>
<div>
<p>If we do want to support that one day, we will have to track more than <code>TyKind</code> in the typechecker…
Expand Down
12 changes: 8 additions & 4 deletions modules.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -181,10 +181,12 @@ <h1 id="modules"><a class="header" href="#modules">Modules</a></h1>
<p>In noname, the concept of a module is basically a file. A project either is a binary (<code>main.no</code>) or a library (<code>lib.no</code>). That’s it.</p>
<p>A binary or a library can use other libraries by importing them. To do that, a binary or library’s manifest file <code>Noname.toml</code> must contain a <code>dependencies</code> key listing all the other libraries as Github handles like <code>user/repo</code> (e.g. <code>mimoo/sudoku</code>).
Libraries will then be retrieved from Github.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note"></a>
</div>
<div>
<p>Currently there is no versioning. Not because it’s not important, but because I haven’t had the time to implement it.</p>
Expand All @@ -206,10 +208,12 @@ <h1 id="modules"><a class="header" href="#modules">Modules</a></h1>
use b::some_lib;
</code></pre>
<p>There is currently no solution to this problem.</p>
<div id="admonition-note-1" class="admonition admonish-note">
<div id="admonition-note-1" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-1-title">
<div class="admonition-title">
<div id="admonition-note-1-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="#admonition-note-1"></a></p>
</div>
<a class="admonition-anchor-link" href="#admonition-note-1"></a>
</div>
<div>
<p>This is a problem that does not exist in Rust, as there’s a single namespace that everyone shares, but that exists in Golang.
Expand Down
48 changes: 32 additions & 16 deletions print.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -347,10 +347,12 @@ <h2 id="methods-on-custom-types"><a class="header" href="#methods-on-custom-type
</span><span class="boring">fn main() {
</span>let y = thing.new(3, 4);
<span class="boring">}</span></code></pre></pre>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="basics.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="basics.html#admonition-note"></a>
</div>
<div>
<p>It’s not necessarily pleasant to read, and we could prevent it by storing some meta information (<code>static_method: bool</code>) in the type checker, but it’s not a big deal.</p>
Expand Down Expand Up @@ -740,10 +742,12 @@ <h2 id="implementing-a-literal-type"><a class="header" href="#implementing-a-lit
<p>What about other types being <code>const</code>?
I don’t think it makes sense for now, as I can only think of array access requiring this.
So we don’t implement it.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="literals.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="literals.html#admonition-note"></a>
</div>
<div>
<p>If we do want to support that one day, we will have to track more than <code>TyKind</code> in the typechecker…
Expand Down Expand Up @@ -853,10 +857,12 @@ <h3 id="circuit-writer"><a class="header" href="#circuit-writer">Circuit writer<
}
<span class="boring">}</span></code></pre></pre>
<p>and we modify the <a href="">circuit-writer</a> to always return a <a href=""><code>VarOrRef</code></a> when processing an expression node in the AST.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="expressions.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="expressions.html#admonition-note"></a>
</div>
<div>
<p>While the type checker already checks if the <code>lhs</code> variable is mutable when it encounters an assignment expression,
Expand Down Expand Up @@ -923,10 +929,12 @@ <h3 id="type-checker-1"><a class="header" href="#type-checker-1">Type checker</a
<p>In noname, the concept of a module is basically a file. A project either is a binary (<code>main.no</code>) or a library (<code>lib.no</code>). That’s it.</p>
<p>A binary or a library can use other libraries by importing them. To do that, a binary or library’s manifest file <code>Noname.toml</code> must contain a <code>dependencies</code> key listing all the other libraries as Github handles like <code>user/repo</code> (e.g. <code>mimoo/sudoku</code>).
Libraries will then be retrieved from Github.</p>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="modules.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="modules.html#admonition-note"></a>
</div>
<div>
<p>Currently there is no versioning. Not because it’s not important, but because I haven’t had the time to implement it.</p>
Expand All @@ -948,10 +956,12 @@ <h3 id="type-checker-1"><a class="header" href="#type-checker-1">Type checker</a
use b::some_lib;
</code></pre>
<p>There is currently no solution to this problem.</p>
<div id="admonition-note-1" class="admonition admonish-note">
<div id="admonition-note-1" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-1-title">
<div class="admonition-title">
<div id="admonition-note-1-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="modules.html#admonition-note-1"></a></p>
</div>
<a class="admonition-anchor-link" href="modules.html#admonition-note-1"></a>
</div>
<div>
<p>This is a problem that does not exist in Rust, as there’s a single namespace that everyone shares, but that exists in Golang.
Expand Down Expand Up @@ -1324,10 +1334,12 @@ <h2 id="name-resolution-approach"><a class="header" href="#name-resolution-appro
pub span: Span,
}
<span class="boring">}</span></code></pre></pre>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="var.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="var.html#admonition-note"></a>
</div>
<div>
<p>Note: see the <a href="./constants.html">Constant chapter</a> to see why constants are treated differently.</p>
Expand All @@ -1344,10 +1356,12 @@ <h2 id="anonymous-variable"><a class="header" href="#anonymous-variable">Anonymo
<p>the <code>z + y</code> is parsed as an expression (a binary operation involving <code>z</code> and <code>y</code>) and stored under a var <code>var1</code>.
Then <code>t + ...</code> is also parsed as another binary operation expression and stored under another var <code>var2</code>.
Finally the <code>let x = ...</code> is parsed as an assignment statement, and <code>x</code> is stored as a local variable associated to the right handside var <code>var2</code>.</p>
<div id="admonition-note-1" class="admonition admonish-note">
<div id="admonition-note-1" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-1-title">
<div class="admonition-title">
<div id="admonition-note-1-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="var.html#admonition-note-1"></a></p>
</div>
<a class="admonition-anchor-link" href="var.html#admonition-note-1"></a>
</div>
<div>
<p>See the <a href="./scope.html">Scope chapter</a> for more information on local variables.</p>
Expand Down Expand Up @@ -1494,10 +1508,12 @@ <h2 id="third-party-libraries"><a class="header" href="#third-party-libraries">T
Library(Vec&lt;String&gt;, FnSig),
}
<span class="boring">}</span></code></pre></pre>
<div id="admonition-note" class="admonition admonish-note">
<div id="admonition-note" class="admonition admonish-note" role="note" aria-labelledby="admonition-note-title">
<div class="admonition-title">
<div id="admonition-note-title">
<p>Note</p>
<p><a class="admonition-anchor-link" href="functions.html#admonition-note"></a></p>
</div>
<a class="admonition-anchor-link" href="functions.html#admonition-note"></a>
</div>
<div>
<p>Not all modules are third-party libraries, some are also built-ins (e.g. <code>std::crypto</code>).</p>
Expand Down
2 changes: 1 addition & 1 deletion rustdoc/help.html
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<!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="Documentation for Rustdoc"><title>Help</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="noname" data-themes="" data-resource-suffix="" data-rustdoc-version="1.81.0-nightly (3cf924b93 2024-06-15)" data-channel="nightly" data-search-js="search-0fe7219eb170c82e.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-118b08c4c78b968e.js"></script><script defer src="./static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.81.0-nightly</span></h2></div><div class="version">(3cf924b93 2024-06-15)</div><h2 class="location">Help</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc help</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section><p>You need to enable JavaScript to use keyboard commands or search.</p><p>For more information, browse the <a href="https://doc.rust-lang.org/rustdoc/">rustdoc handbook</a>.</p></section></noscript></section></div></main></body></html>
<!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="Documentation for Rustdoc"><title>Help</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="noname" data-themes="" data-resource-suffix="" data-rustdoc-version="1.81.0-nightly (d8a38b000 2024-06-19)" data-channel="nightly" data-search-js="search-0fe7219eb170c82e.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-118b08c4c78b968e.js"></script><script defer src="./static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.81.0-nightly</span></h2></div><div class="version">(d8a38b000 2024-06-19)</div><h2 class="location">Help</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc help</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section><p>You need to enable JavaScript to use keyboard commands or search.</p><p>For more information, browse the <a href="https://doc.rust-lang.org/rustdoc/">rustdoc handbook</a>.</p></section></noscript></section></div></main></body></html>
Loading

0 comments on commit 9024535

Please sign in to comment.