diff options
-rw-r--r-- | src/ortho/oread/tests/test_incomp.on | 23 | ||||
-rw-r--r-- | src/ortho/oread/tests/test_incomp2.on | 17 |
2 files changed, 28 insertions, 12 deletions
diff --git a/src/ortho/oread/tests/test_incomp.on b/src/ortho/oread/tests/test_incomp.on index 3cd631562..89f476399 100644 --- a/src/ortho/oread/tests/test_incomp.on +++ b/src/ortho/oread/tests/test_incomp.on @@ -1,17 +1,16 @@ -type int is signed (32); -type bool is boolean { false, true }; +TYPE int IS SIGNED (32); +TYPE bool IS BOOLEAN { false, true }; -type incomp_ptr is access; -type rec is record +TYPE incomp_ptr IS ACCESS; +TYPE rec IS RECORD nxt : incomp_ptr; val : int; -end record; +END RECORD; -type incomp_ptr is access rec; - -public function eq (l : incomp_ptr; r : incomp_ptr) return bool -declare -begin - return bool'(l.all.val = r.all.val); -end; +TYPE incomp_ptr IS ACCESS rec; +PUBLIC FUNCTION eq (l : incomp_ptr; r : incomp_ptr) RETURN bool +DECLARE +BEGIN + RETURN bool'(l.ALL.val = r.ALL.val); +END; diff --git a/src/ortho/oread/tests/test_incomp2.on b/src/ortho/oread/tests/test_incomp2.on new file mode 100644 index 000000000..f951f37a0 --- /dev/null +++ b/src/ortho/oread/tests/test_incomp2.on @@ -0,0 +1,17 @@ +TYPE int IS SIGNED (32); +TYPE bool IS BOOLEAN { false, true }; + +TYPE rec IS RECORD; + +TYPE incomp_ptr IS ACCESS rec; + +TYPE rec IS RECORD + nxt : incomp_ptr; + val : int; +END RECORD; + +PUBLIC FUNCTION eq (l : incomp_ptr; r : incomp_ptr) RETURN bool +DECLARE +BEGIN + RETURN bool'(l.ALL.val = r.ALL.val); +END; |