oceani: disallow assignment if no 'dup' operation.

'dup' is needed for assignment, so if it isn't present
it must be forbidden.

Signed-off-by: NeilBrown <neil@brown.name>

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index 2be4d5db5a37a5512e85699f1be046a79098d280..7e74b8480c0073cd28c295f7abd50b36677d53c4 100644 (file)
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -2517,7 +2517,9 @@ it is declared, and error will be raised as the name is created as
 
        case Assign:
        case Declare:
-               /* Both must match and not be labels, result is Tnone */
+               /* Both must match and not be labels,
+                * Type must support 'dup',
+                * result is Tnone */
                t = propagate_types(b->left, c, ok, NULL, Rnolabel);
                if (!b->right)
                        return Tnone;
@@ -2532,6 +2534,10 @@ it is declared, and error will be raised as the name is created as
                        if (t)
                                propagate_types(b->left, c, ok, t, 0);
                }
+               if (t && t->dup == NULL) {
+                       type_err(c, "error: cannot assign value of type %1", b, t, 0, NULL);
+                       *ok = 0;
+               }
                return Tnone;
 
                break;