Differences From Artifact [4d6f8832c63e974c]:
- File
doc/value.html
- 2010-11-26 07:42:38 - part of checkin [f7e9e77316] on branch trunk - introduced "..." expression, and replaced the pattern match failure with this. (user: kinaba) [annotate]
To Artifact [56bfccf06cb302b1]:
- File
doc/value.html
- 2010-11-27 11:46:26 - part of checkin [203e4cb208] on branch trunk - fixed automatic memoization bug (whole part of the contexts are now used as the memo key) (user: kinaba) [annotate]
63 63
64 64
65 <dd><br><br> 65 <dd><br><br>
66 </dd> 66 </dd>
67 67
68 <script>explorer.outline.writeEnabled = true;</script> 68 <script>explorer.outline.writeEnabled = true;</script>
69 <dt><span class="decl">class 69 <dt><span class="decl">class
70 <span class="currsymbol">UndefinedValue</span> | 70 <span class="currsymbol">BottomValue</span>
71 <script>explorer.outline.addDecl('UndefinedValue');</script> | 71 <script>explorer.outline.addDecl('BottomValue');</script>
72 72
73 : polemy.value.Value; 73 : polemy.value.Value;
74 </span></dt> 74 </span></dt>
75 <script>explorer.outline.writeEnabled = false;</script> 75 <script>explorer.outline.writeEnabled = false;</script>
76 76
77 77
78 <dd><br><br> 78 <dd><br><br>
................................................................................................................................................................................
259 <script>explorer.outline.decSymbolLevel();</script> 259 <script>explorer.outline.decSymbolLevel();</script>
260 260
261 261
262 </td></tr> 262 </td></tr>
263 <tr><td id="docfooter"> 263 <tr><td id="docfooter">
264 Page was generated with 264 Page was generated with
265 <img src="candydoc/img/candydoc.gif" style="vertical-ali 265 <img src="candydoc/img/candydoc.gif" style="vertical-ali
266 on Fri Nov 26 16:41:50 2010 | 266 on Sat Nov 27 01:18:01 2010
267 267
268 </td></tr> 268 </td></tr>
269 </table> 269 </table>
270 </div> 270 </div>
271 <script> 271 <script>
272 explorer.packageExplorer.addModule("index"); 272 explorer.packageExplorer.addModule("index");
273 explorer.packageExplorer.addModule("main"); 273 explorer.packageExplorer.addModule("main");