add ERROR directive

[cpc.git] / src / generic / Dev / Mod / CPM.cp

diff --git a/src/generic/Dev/Mod/CPM.cp b/src/generic/Dev/Mod/CPM.cp
index 97c6b3e569837bc50cd58638a8484bd0e05fe5e4..4cbeb5034a515d9fd03c2c49645099b87889eea4 100644 (file)
--- a/src/generic/Dev/Mod/CPM.cp
+++ b/src/generic/Dev/Mod/CPM.cp
@@ -734,21 +734,6 @@ MODULE DevCPM;
                | 301: msg := 'implicit type cast'
                | 302: msg := 'guarded variable can be side-effected'
                | 303: msg := 'open array (or pointer to array) containing pointers'
                | 301: msg := 'implicit type cast'
                | 302: msg := 'guarded variable can be side-effected'
                | 303: msg := 'open array (or pointer to array) containing pointers'

-               | 900: msg := 'never used'
-               | 901: msg := 'never set'
-               | 902: msg := 'used before set'
-               | 903: msg := 'set but never used'
-               | 904: msg := 'used as varpar, possibly not set'
-               | 905: msg := 'also declared in outer scope'
-               | 906: msg := 'access/assignment to intermediate'
-               | 907: msg := 'redefinition'
-               | 908: msg := 'new definition'
-               | 909: msg := 'statement after RETURN/EXIT'
-               | 910: msg := 'for loop variable set'
-               | 911: msg := 'implied type guard'
-               | 912: msg := 'superfluous type guard'
-               | 913: msg := 'call might depend on evaluation sequence of params.'
-               | 930: msg := 'superfluous semicolon'

                | 401: msg := 'bytecode restriction: no structured assignment'
                | 402: msg := 'bytecode restriction: no procedure types'
                | 403: msg := 'bytecode restriction: no nested procedures'
                | 401: msg := 'bytecode restriction: no structured assignment'
                | 402: msg := 'bytecode restriction: no procedure types'
                | 403: msg := 'bytecode restriction: no nested procedures'


@@ -757,6 +742,7 @@ MODULE DevCPM;
                | 411: msg := 'no proofable return'
                | 412: msg := 'illegal constructor call'
                | 413: msg := 'missing constructor call'
                | 411: msg := 'no proofable return'
                | 412: msg := 'illegal constructor call'
                | 413: msg := 'missing constructor call'

+               | 501: msg := 'user defined error'

 (* COM-related
                 | 700: msg := '700'
                 | 701: msg := '701'
 (* COM-related
                 | 700: msg := '700'
                 | 701: msg := '701'


@@ -766,6 +752,21 @@ MODULE DevCPM;
                 | 777: msg := 'register not released'
                 | 778: msg := 'float register not released'
                 | 779: msg := 'float register overallocated'
                 | 777: msg := 'register not released'
                 | 778: msg := 'float register not released'
                 | 779: msg := 'float register overallocated'

+               | 900: msg := 'never used'
+               | 901: msg := 'never set'
+               | 902: msg := 'used before set'
+               | 903: msg := 'set but never used'
+               | 904: msg := 'used as varpar, possibly not set'
+               | 905: msg := 'also declared in outer scope'
+               | 906: msg := 'access/assignment to intermediate'
+               | 907: msg := 'redefinition'
+               | 908: msg := 'new definition'
+               | 909: msg := 'statement after RETURN/EXIT'
+               | 910: msg := 'for loop variable set'
+               | 911: msg := 'implied type guard'
+               | 912: msg := 'superfluous type guard'
+               | 913: msg := 'call might depend on evaluation sequence of params.'
+               | 930: msg := 'superfluous semicolon'

                ELSE Strings.IntToString(err, msg)
                END
        END GetErrorMsg;
                ELSE Strings.IntToString(err, msg)
                END
        END GetErrorMsg;