3400

Undo commit 3340. Let's standardize names of non-core files to only have
dashes. That's also consistent with the edit/ and sandbox/ apps. Mu
programmers will tend to pervasively use dashes, just like Lisp
programmers.

Scripts will continue to use underscores..

1 files changed, 21 insertions, 0 deletions

diff --git a/static-dispatch.mu b/static-dispatch.mu
new file mode 100644
index 00000000..7aec6fa1
--- /dev/null
+++ b/static-dispatch.mu
@@ -0,0 +1,21 @@
+def test a:num -> b:num [
+  local-scope
+  load-ingredients
+  b <- add a, 1
+]
+
+def test a:num, b:num -> c:num [
+  local-scope
+  load-ingredients
+  c <- add a, b
+]
+
+def main [
+  local-scope
+  a:num <- test 3  # selects single-ingredient version
+  $print a, 10/newline
+  b:num <- test 3, 4  # selects double-ingredient version
+  $print b, 10/newline
+  c:num <- test 3, 4, 5  # prefers double- to single-ingredient version
+  $print c, 10/newline
+]