Cat.html 4.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
  2. <html>
  3. <!-- Created on November 8, 2012 by texi2html 1.82
  4. texi2html was written by:
  5. Lionel Cons <[email protected]> (original author)
  6. Karl Berry <[email protected]>
  7. Olaf Bachmann <[email protected]>
  8. and many others.
  9. Maintained by: Many creative people.
  10. Send bugs and suggestions to <[email protected]>
  11. -->
  12. <head>
  13. <title>avram - a virtual machine code interpreter: 2.7.14.1 Cat</title>
  14. <meta name="description" content="avram - a virtual machine code interpreter: 2.7.14.1 Cat">
  15. <meta name="keywords" content="avram - a virtual machine code interpreter: 2.7.14.1 Cat">
  16. <meta name="resource-type" content="document">
  17. <meta name="distribution" content="global">
  18. <meta name="Generator" content="texi2html 1.82">
  19. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  20. <style type="text/css">
  21. <!--
  22. a.summary-letter {text-decoration: none}
  23. blockquote.smallquotation {font-size: smaller}
  24. pre.display {font-family: serif}
  25. pre.format {font-family: serif}
  26. pre.menu-comment {font-family: serif}
  27. pre.menu-preformatted {font-family: serif}
  28. pre.smalldisplay {font-family: serif; font-size: smaller}
  29. pre.smallexample {font-size: smaller}
  30. pre.smallformat {font-family: serif; font-size: smaller}
  31. pre.smalllisp {font-size: smaller}
  32. span.roman {font-family:serif; font-weight:normal;}
  33. span.sansserif {font-family:sans-serif; font-weight:normal;}
  34. ul.toc {list-style: none}
  35. -->
  36. </style>
  37. </head>
  38. <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
  39. <a name="Cat"></a>
  40. <table cellpadding="1" cellspacing="1" border="0">
  41. <tr><td valign="middle" align="left">[<a href="List-Functions.html#List-Functions" title="Previous section in reading order"> &lt; </a>]</td>
  42. <td valign="middle" align="left">[<a href="Reverse.html#Reverse" title="Next section in reading order"> &gt; </a>]</td>
  43. <td valign="middle" align="left"> &nbsp; </td>
  44. <td valign="middle" align="left">[<a href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
  45. <td valign="middle" align="left">[<a href="List-Functions.html#List-Functions" title="Up section"> Up </a>]</td>
  46. <td valign="middle" align="left">[<a href="Library-Reference.html#Library-Reference" title="Next chapter"> &gt;&gt; </a>]</td>
  47. <td valign="middle" align="left"> &nbsp; </td>
  48. <td valign="middle" align="left"> &nbsp; </td>
  49. <td valign="middle" align="left"> &nbsp; </td>
  50. <td valign="middle" align="left"> &nbsp; </td>
  51. <td valign="middle" align="left">[<a href="avram.html#Top" title="Cover (top) of document">Top</a>]</td>
  52. <td valign="middle" align="left">[<a href="avram_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
  53. <td valign="middle" align="left">[<a href="Function-Index.html#Function-Index" title="Index">Index</a>]</td>
  54. <td valign="middle" align="left">[<a href="avram_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
  55. </tr></table>
  56. <hr size="1">
  57. <a name="Cat-1"></a>
  58. <h4 class="subsubsection">2.7.14.1 Cat</h4>
  59. <p>The list concatenation operation has this representation in virtual code.
  60. <a name="index-cat-2"></a>
  61. <a name="index-concatenation-1"></a>
  62. </p>
  63. <dl compact="compact">
  64. <dt> <em>T28</em></dt>
  65. <dd><p>[[<code>cat</code>]] = <code>((nil,nil),(nil,nil))</code>
  66. </p></dd>
  67. </dl>
  68. <p>This function takes a pair of lists as an argument, an returns the list
  69. obtained by appending the right one to the left. The semantics of
  70. concatenation is what one would expect.
  71. </p>
  72. <dl compact="compact">
  73. <dt> <em>P35</em></dt>
  74. <dd><p>[[<code>cat</code>]] <code>(nil,<var>z</var>)</code> = <code><var>z</var></code>
  75. </p></dd>
  76. <dt> <em>P36</em></dt>
  77. <dd><p>[[<code>cat</code>]] <code>((<var>x</var>,<var>y</var>),<var>z</var>)</code> = <code>(<var>x</var>,</code>[[<code>cat</code>]] <code>(<var>y</var>,<code>z</code>))</code>
  78. </p></dd>
  79. </dl>
  80. <hr size="1">
  81. <p>
  82. <font size="-1">
  83. This document was generated on <i>November 8, 2012</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  84. </font>
  85. <br>
  86. </p>
  87. </body>
  88. </html>