blob: 1bf216048c57d59b234cce1d6bc92583b33028ea (
plain) (
tree)
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - static_dispatch.mu</title>
<meta name="Generator" content="Vim/7.3">
<meta name="plugin-version" content="vim7.3_v6">
<meta name="syntax" content="none">
<meta name="settings" content="use_css">
<style type="text/css">
<!--
pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
.Comment { color: #9090ff; }
.Special { color: #c00000; }
.Constant { color: #00a0a0; }
.muRecipe { color: #ff8700; }
-->
</style>
</head>
<body>
<pre>
<span class="muRecipe">def</span> test a:number<span class="muRecipe"> -> </span>b:number [
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
b<span class="Special"> <- </span>add a, <span class="Constant">1</span>
]
<span class="muRecipe">def</span> test a:number, b:number<span class="muRecipe"> -> </span>c:number [
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
c<span class="Special"> <- </span>add a, b
]
<span class="muRecipe">def</span> main [
<span class="Constant">local-scope</span>
a:number<span class="Special"> <- </span>test <span class="Constant">3</span> <span class="Comment"># selects single-ingredient version</span>
$print a, <span class="Constant">10/newline</span>
b:number<span class="Special"> <- </span>test <span class="Constant">3</span>, <span class="Constant">4</span> <span class="Comment"># selects double-ingredient version</span>
$print b, <span class="Constant">10/newline</span>
c:number<span class="Special"> <- </span>test <span class="Constant">3</span>, <span class="Constant">4</span>, <span class="Constant">5</span> <span class="Comment"># prefers double- to single-ingredient version</span>
$print c, <span class="Constant">10/newline</span>
]
</pre>
</body>
</html>
|