2280

2 files changed, 4 insertions, 4 deletions

diff --git a/030container.cc b/030container.cc
index 5bbef105..2f678687 100644
--- a/030container.cc
+++ b/030container.cc
@@ -208,11 +208,11 @@ void dump_types(type_tree* type, ostringstream& out) {
     dump_types(type->left, out);
   else
     out << Type[type->value].name;
-  out << ":";
+  out << " : ";
   if (type->right)
     dump_types(type->right, out);
   else
-    out << ".<>";
+    out << " : <>";
   out << ">";
 }
 
@@ -362,7 +362,7 @@ recipe main [
   14:number <- copy 36
   15:number <- get-address 12:point-number/raw, 1:offset
 ]
-+error: main: 'get-address' 1:offset (1) on point-number can't be saved in 15:number; type should be <address:number>
++error: main: 'get-address' 1:offset (1) on point-number can't be saved in 15:number; type should be <address : number>
 
 //:: Allow containers to be defined in mu code.
 
diff --git a/032array.cc b/032array.cc
index 5cc34c1d..9a8a0115 100644
--- a/032array.cc
+++ b/032array.cc
@@ -360,7 +360,7 @@ recipe main [
   8:address:array:point <- copy 1/raw
   9:address:number <- index-address *8:address:array:point, 0
 ]
-+error: main: 'index' on *8:address:array:point can't be saved in 9:address:number; type should be <address:point>
++error: main: 'index' on *8:address:array:point can't be saved in 9:address:number; type should be <address : point>
 
 //:: compute the length of an array