3552

Stop requiring jump instructions to explicitly provide a ':label' type
for jump targets.

This has been a source of repeated confusion for my students:
  a) They'd add the ':label' to the label definition rather than the
  jump target (label use)
  b) They'd spend time thinking about whether the initial '+' prefix was
  part of the label name.

In the process I cleaned up a couple of things:

  - the space of names is more cleanly partitioned into labels and
    non-labels (clarifying that '_' and '-' are non-label prefixes)
  - you can't use label names as regular variables anymore
  - you can infer the type of a label just from its name

1 files changed, 1 insertions, 1 deletions

diff --git a/075channel.mu b/075channel.mu
index 6f26d49b..a023b294 100644
--- a/075channel.mu
+++ b/075channel.mu
@@ -404,7 +404,7 @@ def buffer-lines in:&:source:char, buffered-out:&:sink:char -> buffered-out:&:si
           *line <- put *line, length:offset, buffer-length
         }
         # and don't append this one
-        loop +next-character:label
+        loop +next-character
       }
       # append anything else
       line <- append line, c