Deployed 4bec4e5 to master with MkDocs 1.2.4 and mike 1.1.2
This commit is contained in:
parent
0f96020f0d
commit
2bad4023f8
@ -1324,6 +1324,7 @@ and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semant
|
||||
<h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v6.1.0...HEAD">Unreleased</a></h2>
|
||||
<h3 id="added">Added</h3>
|
||||
<ul>
|
||||
<li>Added support for <code>EXIT</code> opcode via <code>exit : (string) => 'a</code> function (behaves same as <code>ABORT</code>, but consumes all gas).</li>
|
||||
<li>Compiler warnings for the follwing: shadowing, negative spends, division by zero, unused functions, unused includes, unused stateful annotations, unused variables, unused parameters, unused user-defined type, dead return value.</li>
|
||||
<li>The pipe operator |>
|
||||
<div class="highlight"><pre><span></span><code>[1, 2, 3] |> List.first |> Option.is_some // Option.is_some(List.first([1, 2, 3]))
|
||||
|
File diff suppressed because one or more lines are too long
@ -2,47 +2,47 @@
|
||||
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
<url>
|
||||
<loc>None</loc>
|
||||
<lastmod>2022-07-06</lastmod>
|
||||
<lastmod>2022-07-08</lastmod>
|
||||
<changefreq>daily</changefreq>
|
||||
</url>
|
||||
</urlset>
|
Binary file not shown.
@ -1846,6 +1846,12 @@ consumes all available gas.</p>
|
||||
<div class="highlight"><pre><span></span><code><span class="k">function</span><span class="w"> </span><span class="nb">require</span><span class="p">(</span><span class="n">b</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">bool</span><span class="p">,</span><span class="w"> </span><span class="n">err</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">string</span><span class="p">)</span><span class="w"> </span><span class="ow">=</span><span class="w"></span>
|
||||
<span class="w"> </span><span class="k">if</span><span class="p">(</span><span class="ow">!</span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="nb">abort</span><span class="p">(</span><span class="n">err</span><span class="p">)</span><span class="w"></span>
|
||||
</code></pre></div>
|
||||
<p>Aside from that, there is an almost equivalent function <code>exit</code></p>
|
||||
<div class="highlight"><pre><span></span><code><span class="n">exit</span><span class="p">(</span><span class="n">reason</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">string</span><span class="p">)</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="nv">'a</span><span class="w"></span>
|
||||
</code></pre></div>
|
||||
<p>Just like <code>abort</code>, it breaks the execution with the given reason. The difference
|
||||
however is in the gas consumption — while <code>abort</code> returns unused gas, a call to
|
||||
<code>exit</code> burns it all.</p>
|
||||
<h2 id="delegation-signature">Delegation signature</h2>
|
||||
<p>Some chain operations (<code>Oracle.<operation></code> and <code>AENS.<operation></code>) have an
|
||||
optional delegation signature. This is typically used when a user/accounts
|
||||
|
Loading…
x
Reference in New Issue
Block a user