From 9e17ac5ff506785891f06e3beeba66185fc7f867 Mon Sep 17 00:00:00 2001
From: DeaDDooMER <deaddoomer@deadsoftware.ru>
Date: Thu, 10 Aug 2017 13:16:27 +0300
Subject: [PATCH] =?utf8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB=D0=B5?=
 =?utf8?q?=D0=BD=D0=B0=20=D0=B8=D0=BD=D0=B8=D1=86=D0=B8=D0=B0=D0=BB=D0=B8?=
 =?utf8?q?=D0=B7=D0=B0=D1=86=D0=B8=D1=8F=20=D0=B7=D0=B0=D0=BF=D0=B8=D1=81?=
 =?utf8?q?=D0=B5=D0=B9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 Test.obn                         | 17 +++++++++++------
 Test4.obn                        |  2 ++
 notes                            |  3 +++
 obn-dev-test.sh                  |  1 +
 src/backends/jvm/generator-jvm.c | 31 +++++++++++++++----------------
 src/oberon.c                     |  2 +-
 6 files changed, 33 insertions(+), 23 deletions(-)

diff --git a/Test.obn b/Test.obn
index 98ac0e2..363783e 100644
--- a/Test.obn
+++ b/Test.obn
@@ -1,12 +1,17 @@
 MODULE Test;
 
+TYPE
+  R1 = RECORD END;
+(*  R2 = RECORD (R1) END; *)
+  R3 = RECORD END;
+
 VAR
-  a : POINTER TO RECORD END;
-  b : POINTER TO ARRAY OF INTEGER;
-  c : PROCEDURE;
+(*
+  a : R1;
+  b : R2;
+*)
+  c : R3;
 
 BEGIN
-  a := NIL;
-  b := NIL;
-  c := NIL;
+(*  a := b; *)
 END Test.
diff --git a/Test4.obn b/Test4.obn
index 132f864..fba34f9 100644
--- a/Test4.obn
+++ b/Test4.obn
@@ -10,3 +10,5 @@ BEGIN
   b := NIL;
   c := NIL;
 END Test4.
+
+Проверка присвоения NIL
diff --git a/notes b/notes
index 1e0a9e5..762ef89 100644
--- a/notes
+++ b/notes
@@ -1,3 +1,5 @@
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+
 - Нет модуля SYSTEM
 - Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
 - Нет процедур ASSERT COPY DEC EXCL HALT INC INCL
@@ -5,6 +7,7 @@
 - Не реализована свёртка констант
 - Нужно пробежаться по стандарту и всё перепроверить.
 
+- JVM: Импортируемые модули не инициализируются
 - JVM: Не реализовано полное сранение массивов.
 - JVM: Не реализовано полное сранение записей.
 - JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
diff --git a/obn-dev-test.sh b/obn-dev-test.sh
index 89592da..424cf4e 100755
--- a/obn-dev-test.sh
+++ b/obn-dev-test.sh
@@ -6,6 +6,7 @@ set -e
 ./obn-compile.sh Test
 
 # -a -- for asm as comments
+# -noinner
 jad -o -b -noinner classes/*
 
 ./obn-run.sh Test
diff --git a/src/backends/jvm/generator-jvm.c b/src/backends/jvm/generator-jvm.c
index 90b0e88..5e74d18 100644
--- a/src/backends/jvm/generator-jvm.c
+++ b/src/backends/jvm/generator-jvm.c
@@ -475,20 +475,7 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
 	memset(t, 0, sizeof *t);
 	type -> gen_type = t;
 
-	if(type -> class != OBERON_TYPE_NOTYPE)
-	{
-		t -> wide = jvm_is_wide_type(type);
-		t -> prefix = jvm_get_prefix(type);
-		t -> postfix = jvm_get_postfix(type);
-	}
-
-	t -> cell_size = jvm_cell_size_for_type(type);
-
-	if(type -> class != OBERON_TYPE_NIL)
-	{
-		t -> desc = jvm_get_descriptor(type);
-	}
-
+	gen_module_t * m;
 	switch(type -> class)
 	{
 		case OBERON_TYPE_NOTYPE:
@@ -503,8 +490,6 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
 		case OBERON_TYPE_NIL:
 			break;
 		case OBERON_TYPE_RECORD:
-			;
-			gen_module_t * m;
 			m = type -> module -> gen_mod;
 			oberon_generate_record_class(m, type);
 			break;
@@ -515,6 +500,20 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type)
 			gen_error("oberon_generator_init_type: unk calss %i", type -> class);
 			break;
 	}
+
+	if(type -> class != OBERON_TYPE_NOTYPE)
+	{
+		t -> wide = jvm_is_wide_type(type);
+		t -> prefix = jvm_get_prefix(type);
+		t -> postfix = jvm_get_postfix(type);
+	}
+
+	t -> cell_size = jvm_cell_size_for_type(type);
+
+	if(type -> class != OBERON_TYPE_NIL)
+	{
+		t -> desc = jvm_get_descriptor(type);
+	}
 }
 
 void
diff --git a/src/oberon.c b/src/oberon.c
index 5a93489..349015d 100644
--- a/src/oberon.c
+++ b/src/oberon.c
@@ -1453,7 +1453,7 @@ oberon_make_record_selector(oberon_context_t * ctx, oberon_expr_t * expr, char *
 		}
 	}
 
-	int read_only = 0;
+	int read_only = expr -> read_only;
 	if(field -> read_only)
 	{
 		if(field -> module != ctx -> mod)
-- 
2.29.2