summary refs log blame commit diff stats
path: root/svc/handlers_test.go
blob: 36c795a0700970ddaab101e3d488895ffa8456f7 (plain) (tree)
na">id="L52" class="LineNr">52 </span><span class="Comment">//: 30 check or set invalid containers</span> <span id="L53" class="LineNr">53 </span><span class="Comment">//: end type modifying transforms</span> <span id="L54" class="LineNr">54 </span><span class="Comment">//: ↱ 46 collect surrounding spaces</span> <span id="L55" class="LineNr">55 </span><span class="Comment">//: ↳ 42 transform names</span> <span id="L56" class="LineNr">56 </span><span class="Comment">//: ↳ 57 static dispatch</span> <span id="L57" class="LineNr">57 </span><span class="Comment">//: ---</span> <span id="L58" class="LineNr">58 </span><span class="Comment">//: 13 update instruction operation</span> <span id="L59" class="LineNr">59 </span><span class="Comment">//: 40 transform braces</span> <span id="L60" class="LineNr">60 </span><span class="Comment">//: 41 transform labels</span> <span id="L61" class="LineNr">61 </span><span class="Comment">//: end instruction modifying transforms</span> <span id="L62" class="LineNr">62 </span><span class="Comment">//: ↳ 60 check immutable ingredients</span> <span id="L63" class="LineNr">63 </span><span class="Comment">//:</span> <span id="L64" class="LineNr">64 </span><span class="Comment">//: begin checks</span> <span id="L65" class="LineNr">65 </span><span class="Comment">//: ---</span> <span id="L66" class="LineNr">66 </span><span class="Comment">//: 21 check instruction</span> <span id="L67" class="LineNr">67 </span><span class="Comment">//: ↳ 61 check indirect calls against header</span> <span id="L68" class="LineNr">68 </span><span class="Comment">//: ↳ 56 check calls against header</span> <span id="L69" class="LineNr">69 </span><span class="Comment">//: ↳ 43 transform 'new' to 'allocate'</span> <span id="L70" class="LineNr">70 </span><span class="Comment">//: 30 check merge calls</span> <span id="L71" class="LineNr">71 </span><span class="Comment">//: 36 check types of return instructions</span> <span id="L72" class="LineNr">72 </span><span class="Comment">//: 43 check default space</span> <span id="L73" class="LineNr">73 </span><span class="Comment">//: 56 check return instructions against header</span> <span id="L74" class="LineNr">74 </span><span class="Comment">//: end checks</span> <span id="L75" class="LineNr">75 </span><span class="Comment">//: end transforms</span> <span id="L76" class="LineNr">76 </span> <span id="L77" class="LineNr">77 </span><span class="SalientComment">//:: Summary of type-checking in different phases</span> <span id="L78" class="LineNr">78 </span><span class="Comment">//: when dispatching instructions we accept first recipe that:</span> <span id="L79" class="LineNr">79 </span><span class="Comment">//: strictly matches all types</span> <span id="L80" class="LineNr">80 </span><span class="Comment">//: maps literal 0 or literal 1 to boolean for some ingredients</span> <span id="L81" class="LineNr">81 </span><span class="Comment">//: performs some other acceptable type conversion</span> <span id="L82" class="LineNr">82 </span><span class="Comment">//: literal 0 -&gt; address</span> <span id="L83" class="LineNr">83 </span><span class="Comment">//: literal -&gt; character</span> <span id="L84" class="LineNr">84 </span><span class="Comment">//: when checking instructions we ensure that types match, and that literals map to some scalar</span> <span id="L85" class="LineNr">85 </span><span class="Comment">//: (address can only map to literal 0)</span> <span id="L86" class="LineNr">86 </span><span class="Comment">//: (boolean can only map to literal 0 or literal 1)</span> <span id="L87" class="LineNr">87 </span><span class="Comment">//: (but conditionals can take any scalar)</span> <span id="L88" class="LineNr">88 </span><span class="Comment">//: at runtime we perform no checks</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->