2880

Turns out we don't need a primitive to return an empty value of
arbitrary type. Just create it on the heap using 'new'.

But this uncovered *yet* another bug, sigh. When I specialize generic
functions I was running all transforms on the generated functions after
specialization completed. But there's one transform that includes code
from elsewhere. If such code included type-ingredients -- kaboom. Now
fixed and there's a test, so I've got that going for me which is nice.

1 files changed, 2 insertions, 1 deletions

diff --git a/channel.mu b/channel.mu
index d74cbcad..e7415754 100644
--- a/channel.mu
+++ b/channel.mu
@@ -24,7 +24,8 @@ def consumer source:address:source:character -> source:address:source:character
   load-ingredients
   {
     # read an integer from the channel
-    n:character, source <- read source
+    n:character, eof?:boolean, source <- read source
+    break-if eof?
     # other threads might get between these prints
     $print [consume: ], n:character, [ 
 ]