2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Compiling from Specifications< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2021-04-08 01:58:07 +03:00
< script src = "http://code.jquery.com/jquery-1.12.4.min.js"
integrity="sha256-ZosEbRLbNQzLpnKIkEdrPv7lOy9C27hHQ+Xp8a4MxAQ=" crossorigin="anonymous">< / script >
< script src = "../docs-assets/Bigfoot.js" > < / script >
< link href = "../docs-assets/Bigfoot.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-08-26 12:52:50 +03:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "index.html" > < span class = "selectedlink" > imperative< / span > < / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Compiling from Specifications' generated by Inweb -->
< div class = "breadcrumbs" >
2021-04-04 01:10:19 +03:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7< / a > < / li > < li > < a href = "index.html" > imperative< / a > < / li > < li > < a href = "index.html#3" > Chapter 3: Propositions< / a > < / li > < li > < b > Compiling from Specifications< / b > < / li > < / ul > < / div >
2021-04-06 16:56:15 +03:00
< p class = "purpose" > To compile specifications into Inter values, conditions or void expressions.< / p >
2019-03-17 14:40:57 +02:00
2021-04-08 12:21:50 +03:00
< ul class = "toc" > < li > < a href = "3-cfs.html#SP1" > § 1. Introduction< / a > < / li > < li > < a href = "3-cfs.html#SP2" > § 2. The modes< / a > < / li > < li > < a href = "3-cfs.html#SP6" > § 6. An API for compiling specifications< / a > < / li > < li > < a href = "3-cfs.html#SP11" > § 11. Casting< / a > < / li > < / ul > < hr class = "tocbar" >
2021-04-07 15:31:43 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. Introduction. < / b > Specifications unite values, conditions and descriptions: see < a href = "../values-module/2-spc.html" class = "internal" > Specifications (in values)< / a > .
They are stored as < span class = "extract" > < span class = "extract-syntax" > parse_node< / span > < / span > pointers. In this chapter we will compile them,
making our best effort to have a single unified process for that even though:
< / p >
< ul class = "items" > < li > ● We may need to compile either an array entry or an Inter < span class = "extract" > < span class = "extract-syntax" > val< / span > < / span > opcode.
We abstract this using < a href = "../building-module/3-vh.html" class = "internal" > Value Holsters (in building)< / a > , holders into which
compiled values are placed.
< / li > < li > ● How we compile sometimes depends on context: for a variable, for example,
it may matter whether we are compiling it as lvalue (to be assigned to) or
2021-04-08 01:58:07 +03:00
rvalue (to be read from). So there are a number of compilation "modes"< sup id = "fnref:1" > < a href = "#fn:1" rel = "footnote" > 1< / a > < / sup > which,
2021-04-07 15:31:43 +03:00
in combination, express the current context.
< / li > < / ul >
2021-04-08 01:58:07 +03:00
< ul class = "footnotetexts" > < li class = "footnote" id = "fn:1" > < p class = "inwebfootnote" > < sup id = "fnref:1" > < a href = "#fn:1" rel = "footnote" > 1< / a > < / sup > At one time there were as many as 12, but there really should be as few
as possible.
< a href = "#fnref:1" title = "return to text" > ↩ < / a > < / p > < / li > < / ul >
2021-04-07 15:31:43 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. The modes. < / b > < span class = "extract" > < span class = "extract-syntax" > CONSTANT_CMODE< / span > < / span > in on when we are compiling in a constant context: for example,
to compile an array entry, or the initial value of a property or variable. It
affects, for exanple, how text substitutions and action patterns are compiled
into values. The API below automatically manages when we are in < span class = "extract" > < span class = "extract-syntax" > CONSTANT_CMODE< / span > < / span > ,
so the rest of Inform need not worry about it.
2021-04-07 02:34:07 +03:00
< / p >
2021-04-08 01:58:07 +03:00
< p class = "commentary" > This is recursive so that if, for example, < span class = "extract" > < span class = "extract-syntax" > { X, Y, Z }< / span > < / span > is compiled in constant
mode then so are < span class = "extract" > < span class = "extract-syntax" > X< / span > < / span > , < span class = "extract" > < span class = "extract-syntax" > Y< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > Z< / span > < / span > .
< / p >
2021-04-07 15:31:43 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > < span class = "extract" > < span class = "extract-syntax" > BY_VALUE_CMODE< / span > < / span > is on when we want the value compiled to be a new, independent
copy of the data in question. Consider:
2019-03-17 14:40:57 +02:00
< / p >
2021-04-07 15:31:43 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > let< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > be< / span > < span class = "plain-syntax" > { < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 3< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 5< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 7< / span > < span class = "plain-syntax" > };< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > let< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > U< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > be< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > add< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 11< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > ;< / span >
< / pre >
< p class = "commentary" > Clearly < span class = "extract" > < span class = "extract-syntax" > U< / span > < / span > must be set to a new copy of the data in < span class = "extract" > < span class = "extract-syntax" > T< / span > < / span > , not a reference to the
same data. So the < span class = "extract" > < span class = "extract-syntax" > T< / span > < / span > in < span class = "extract" > < span class = "extract-syntax" > let U be T< / span > < / span > is compiled by value. (This is in fact the
default: the alternative, compilation by reference, is less often used.)
2019-03-17 14:40:57 +02:00
< / p >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > So, then, the current state is a single global variable which is a bitmap of these:
2021-04-07 15:31:43 +03:00
< / p >
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > CONSTANT_CMODE< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0x00000001< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > compiling values in a constant context< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > BY_VALUE_CMODE< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0x00000002< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > rather than by reference< / span >
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-08 12:21:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > BY_VALUE_CMODE< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > default< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > The model for mode switches is that Inform will temporarily enter, or temporarily
2021-04-07 15:31:43 +03:00
exit, a mode when it has particular compilation needs. It should place such
operations within a pair of < span class = "extract" > < span class = "extract-syntax" > BEGIN_COMPILATION_MODE< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > END_COMPILATION_MODE< / span > < / span >
macros, in such a way that execution always passes from one to the other. Within
those bookends, it can use either the enter or exit macros to switch a particular
mode on or off.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > BEGIN_COMPILATION_MODE< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > status_quo_ante< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > ;< / span >
< span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > COMPILATION_MODE_ENTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > |= < / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > ;< / span >
< span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > COMPILATION_MODE_EXIT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > & = (~< / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > );< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > END_COMPILATION_MODE< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > status_quo_ante< / span > < span class = "plain-syntax" > ;< / span >
< span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > TEST_COMPILATION_MODE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > compilation_mode< / span > < span class = "plain-syntax" > & < / span > < span class = "identifier-syntax" > mode< / span > < span class = "plain-syntax" > )< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. An API for compiling specifications. < / b > When the rest of Inform wants to compile a specification, it should call one
2021-04-07 15:31:43 +03:00
of the following functions.
2019-03-17 14:40:57 +02:00
< / p >
2021-04-07 15:31:43 +03:00
< p class = "commentary" > To begin with, compiling to array entries:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-07 15:31:43 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_array_entry_of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ) {< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP6" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_array_entry< / span > < / a > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP11" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::cast_constant< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ));< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-07 02:34:07 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_array_entry< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP10" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::unholster_pair< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Emit::array_generic_entry< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > Now constants, which can be compiled either to a holster or to a pair of < span class = "extract" > < span class = "extract-syntax" > inter_t< / span > < / span >
2021-04-07 15:31:43 +03:00
numbers. Use the latter as little as possible.
< / p >
2019-03-17 14:40:57 +02:00
2021-04-07 15:31:43 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::constant_to_holster< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ) {< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP10" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP11" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::cast_constant< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > }< / span >
2020-05-03 03:01:21 +03:00
2021-04-07 15:31:43 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::constant_to_pair< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP7" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::constant_to_holster< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::unholster_pair< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > A general method (i.e., not restricted to constant context) for compiling to a
2021-04-07 15:31:43 +03:00
pair of < span class = "extract" > < span class = "extract-syntax" > inter_t< / span > < / span > numbers. Use this as little as possible.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-07 15:31:43 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_pair< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::to_pair< / span > < / span > :< br / > Compile Invocations Inline - < a href = "4-cii.html#SP11_1" > § 11.1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inter_ti< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP10" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::unholster_pair< / span > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > v2< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > Finally, for compiling to Inter opcodes in a < span class = "extract" > < span class = "extract-syntax" > val< / span > < / span > context — in other words,
2021-04-07 15:31:43 +03:00
for values as they appear in imperative code rather than in data structures
such as arrays.
< / p >
2019-03-17 14:40:57 +02:00
2021-04-07 15:31:43 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_code_val< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::to_code_val< / span > < / span > :< br / > Deciding to Defer - < a href = "3-dtd.html#SP6_1_2" > § 6.1.2< / a > , < a href = "3-dtd.html#SP14" > § 14< / a > , < a href = "3-dtd.html#SP16" > § 16< / a > , < a href = "3-dtd.html#SP17" > § 17< / a > , < a href = "3-dtd.html#SP19" > § 19< / a > , < a href = "3-dtd.html#SP20" > § 20< / a > , < a href = "3-dtd.html#SP22" > § 22< / a > , < a href = "3-dtd.html#SP23" > § 23< / a > , < a href = "3-dtd.html#SP25" > § 25< / a > , < a href = "3-dtd.html#SP27" > § 27< / a > < br / > Cinders and Deferrals - < a href = "3-cad.html#SP3" > § 3< / a > < br / > Compile Blocks and Lines - < a href = "4-cbal.html#SP4_3_5_2" > § 4.3.5.2< / a > , < a href = "4-cbal.html#SP4_3_5_5" > § 4.3.5.5< / a > , < a href = "4-cbal.html#SP4_3_5_1_2" > § 4.3.5.1.2< / a > < br / > Compile Invocations As Calls - < a href = "4-ciac.html#SP3" > § 3< / a > < br / > Compile Invocations Inline - < a href = "4-cii.html#SP6_1_1_4_9" > § 6.1.1.4.9< / a > , < a href = "4-cii.html#SP6_1_1_4_10" > § 6.1.1.4.10< / a > , < a href = "4-cii.html#SP11" > § 11< / a > < br / > Compile Solutions to Equations - < a href = "4-cste.html#SP4" > § 4< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_VAL_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP10" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-07 02:34:07 +03:00
2021-04-07 15:31:43 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_code_val_by_reference< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Holsters::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTER_VAL_VHMODE< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP10" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-08 01:58:07 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_code_val_of_kind< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::to_code_val_of_kind< / span > < / span > :< br / > Emitting from Schemas - < a href = "3-efs.html#SP2_2" > § 2.2< / a > < br / > Compile Invocations - < a href = "4-ci.html#SP1_3_1_2_1_2" > § 1.3.1.2.1.2< / a > < br / > Compile Invocations As Calls - < a href = "4-ciac.html#SP2_2" > § 2.2< / a > < br / > Compile Invocations Inline - < a href = "4-cii.html#SP6_1_1_3" > § 6.1.1.3< / a > , < a href = "4-cii.html#SP6_1_1_4_7_1" > § 6.1.1.4.7.1< / a > , < a href = "4-cii.html#SP6_5_8" > § 6.5.8< / a > , < a href = "4-cii.html#SP6_5_8_1" > § 6.5.8.1< / a > , < a href = "4-cii.html#SP6_5_8_2" > § 6.5.8.2< / a > , < a href = "4-cii.html#SP6_5_8_3" > § 6.5.8.3< / a > < br / > Compile Arithmetic - < a href = "4-ca.html#SP1_3_1" > § 1.3.1< / a > , < a href = "4-ca.html#SP1_3_2" > § 1.3.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ) {< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > down< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > = < / span > < a href = "3-cfs.html#SP12" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::cast_in_val_mode< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > , & < / span > < span class = "identifier-syntax" > down< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-cfs.html#SP9" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::to_code_val< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > down< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > All of the functions in the above API make use of this private one:
2021-04-07 15:31:43 +03:00
< / p >
2020-05-03 03:01:21 +03:00
2021-04-07 15:31:43 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-08 12:21:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::to_holster< / span > < / span > :< br / > < a href = "3-cfs.html#SP6" > § 6< / a > , < a href = "3-cfs.html#SP7" > § 7< / a > , < a href = "3-cfs.html#SP8" > § 8< / a > , < a href = "3-cfs.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value_holster< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > ,< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > as_const< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > by_ref< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOGIF< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > EXPRESSIONS< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "Compiling: $P\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > BEGIN_COMPILATION_MODE< / span > < span class = "plain-syntax" > ;< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > as_const< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > COMPILATION_MODE_ENTER< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > CONSTANT_CMODE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > by_ref< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > COMPILATION_MODE_EXIT< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > BY_VALUE_CMODE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG_INDENT< / span > < span class = "plain-syntax" > ;< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-cfs.html#SP10_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Compile this either by value or reference< / span > < span class = "named-paragraph-number" > 10.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG_OUTDENT< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > END_COMPILATION_MODE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_1" class = "paragraph-anchor" > < / a > < b > § 10.1. < / b > This implements < span class = "extract" > < span class = "extract-syntax" > BY_VALUE_CMODE< / span > < / span > . For regular values like numbers there's no
2021-04-07 15:31:43 +03:00
difference, but if our value is a block value such as a list then we evaluate to
a copy of it, not to the original. Making that copy means calling < span class = "extract" > < span class = "extract-syntax" > BlkValueCopy< / span > < / span >
at runtime, so it cannot be done in a data holster (i.e., when < span class = "extract" > < span class = "extract-syntax" > VH< / span > < / span > is an
< span class = "extract" > < span class = "extract-syntax" > INTER_DATA_VHMODE< / span > < / span > holster).
< / p >
2020-05-03 03:01:21 +03:00
2021-04-08 12:21:50 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Compile this either by value or reference< / span > < span class = "named-paragraph-number" > 10.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2021-04-07 15:31:43 +03:00
< / p >
2020-08-11 13:55:39 +03:00
2021-04-07 15:31:43 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NonlocalVariables::substitute_constants< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Specifications::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RTKinds::notify_of_use< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > copied_a_block_value< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEST_COMPILATION_MODE< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > BY_VALUE_CMODE< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > vhmode_wanted< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "must compile by reference in INTER_DATA_VHMODE"< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Specifications::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Kinds::Behaviour::uses_pointer_values< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_call_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > BLKVALUECOPY_HL< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < a href = "2-sf.html#SP21" class = "function-link" > < span class = "function-syntax" > Frames::emit_new_local_value< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > copied_a_block_value< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-cfs.html#SP10_1_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Compile this< / span > < span class = "named-paragraph-number" > 10.1.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > copied_a_block_value< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-04-08 12:21:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-cfs.html#SP10" > § 10< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP10_1_1" class = "paragraph-anchor" > < / a > < b > § 10.1.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Compile this< / span > < span class = "named-paragraph-number" > 10.1.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2021-04-07 15:31:43 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-07 02:34:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lvalues::is_lvalue< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Lvalues::compile< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Rvalues::is_rvalue< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Rvalues::compile< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > vhmode_provided< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > INTER_DATA_VHMODE< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > vhmode_wanted< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > INTER_VAL_VHMODE< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Holsters::unholster_to_code_val< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Specifications::is_condition< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Conditions::compile< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > VH< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > spec< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< / pre >
2021-04-08 12:21:50 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-cfs.html#SP10_1" > § 10.1< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. Casting. < / b > "Casting" is converting a value of one kind to a value of another but which has
2021-04-07 15:31:43 +03:00
the same meaning, give or take. In a constant context, all we can cast is from
literal < span class = "extract" > < span class = "extract-syntax" > K_number< / span > < / span > values like < span class = "extract" > < span class = "extract-syntax" > 31< / span > < / span > to turn them into literal < span class = "extract" > < span class = "extract-syntax" > K_real_number< / span > < / span >
values, a process called "promotion".
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-08 12:21:50 +03:00
< span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > CompileSpecifications::cast_constant< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::cast_constant< / span > < / span > :< br / > < a href = "3-cfs.html#SP6" > § 6< / a > , < a href = "3-cfs.html#SP7" > § 7< / a > , < a href = "3-cfs.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ) {< / span >
2021-04-08 01:58:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NonlocalVariables::substitute_constants< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RTKinds::notify_of_use< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > LiteralReals::promote_number_if_necessary< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > );< / span >
2021-04-08 01:58:07 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Specifications::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K_understanding< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_understanding< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_text< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Node::set_kind_of_value< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_understanding< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > K_understanding< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
2021-04-08 12:21:50 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. < / b > In a value context we can additionally compile code to perform the conversion
2021-04-08 01:58:07 +03:00
at runtime, which extends the range of promotions we can make.
2021-04-07 15:31:43 +03:00
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2021-04-08 12:21:50 +03:00
< span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > CompileSpecifications::cast_in_val_mode< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > CompileSpecifications::cast_in_val_mode< / span > < / span > :< br / > < a href = "3-cfs.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > ,< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > down< / span > < span class = "plain-syntax" > ) {< / span >
2021-04-08 12:21:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > = < / span > < a href = "3-cfs.html#SP11" class = "function-link" > < span class = "function-syntax" > CompileSpecifications::cast_constant< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > );< / span >
2021-04-07 15:31:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Specifications::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RTKinds::notify_of_use< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RTKinds::emit_cast_call< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > K_found< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_wanted< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > down< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > value< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-04-04 01:10:19 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "2-cid.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-im.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-sf.html" > 2< / a > < / li > < li class = "progresscurrentchapter" > 3< / li > < li class = "progresscurrent" > cfs< / li > < li class = "progresssection" > < a href = "3-efs.html" > efs< / a > < / li > < li class = "progresssection" > < a href = "3-ca.html" > ca< / a > < / li > < li class = "progresssection" > < a href = "3-dtd.html" > dtd< / a > < / li > < li class = "progresssection" > < a href = "3-cad.html" > cad< / a > < / li > < li class = "progresssection" > < a href = "3-cdp.html" > cdp< / a > < / li > < li class = "progresschapter" > < a href = "4-cbal.html" > 4< / a > < / li > < li class = "progressnext" > < a href = "3-efs.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >