Фиксы проверки типов

[dsw-obn.git] / Test.obn

diff --git a/Test.obn b/Test.obn
index 67a35e4ef616fb5f76e91b2f1cf9a5b60eb0ffbc..f47edbbb416fd2154a0f16c7bfbaf310923269bc 100644 (file)
--- a/Test.obn
+++ b/Test.obn
@@ -1,14 +1,23 @@
 MODULE Test;
 
-IMPORT Out;
+IMPORT Files;
+
+TYPE
+  String = POINTER TO ARRAY OF CHAR;
+  R* = RECORD ch : CHAR END;
+
+VAR
+  f : Files.File;
+  r : Files.Rider;
+  m : R;
+  s : String;
 
 BEGIN
-  Out.String("A");
-  Out.Char("A");
-  Out.Ln;
-  ASSERT("A" = 041X);
-  ASSERT(041X = "A");
-  ASSERT(ORD("A") = 041H);
-  ASSERT(041H = ORD("A"));
-  ASSERT("A" = "A");
+  f := Files.Old("Test.obn");
+  ASSERT(f # NIL);
+  Files.Set(r, f, 0);
+
+  Files.Read(r, m.ch);
+
+  ASSERT(s = NIL);
 END Test.