X-Git-Url: https://git.dlugolecki.net.pl/?p=vlp.git;a=blobdiff_plain;f=src%2Fint%2Ftypchk.c;fp=src%2Fint%2Ftypchk.c;h=fb9f498ccb2336be63dd87c75476067db68acc6d;hp=2a70407da85e37de4e0181ce1d33d9e526f0a92b;hb=92bd051b4d3877757e094b572e11ff2dda333d38;hpb=fdd7cc36378cfdd1692885c39f0e8ccd3ea09c1d

diff --git a/src/int/typchk.c b/src/int/typchk.c
index 2a70407..fb9f498 100644
--- a/src/int/typchk.c
+++ b/src/int/typchk.c
@@ -34,10 +34,9 @@ or             Andrzej Salwicki
 #include "process.h"
 #include "intproto.h"
 
-/* Type checking routines */
-
-
-/* Determine if prot occurs in the prefix sequence of object am
+/**
+ * @defgroup
+ * @brief Type checking routines
  */
 
 #ifndef NO_PROTOTYPES
@@ -52,7 +51,7 @@ static bool prefh();
 static bool typef();
 #endif
 
-
+/** Determine if prot occurs in the prefix sequence of object am */
 static bool pref(word am, word prot)
 {
 	word t1, t2;
@@ -73,7 +72,7 @@ static bool pref(word am, word prot)
 	return FALSE;
 }
 
-/* Validate qualification of object */
+/** Validate qualification of object */
 void qua(virtaddr *virt, word tp)
 {
 	if (virt->mark != M[virt->addr + 1])
@@ -84,7 +83,7 @@ void qua(virtaddr *virt, word tp)
 		errsignal(RTEINCQA);
 }
 
-/* Determine if A in B */
+/** Determine if A in B */
 bool inl(virtaddr *virt, word tp)
 {
 	/* none is in everything */
@@ -96,7 +95,7 @@ bool inl(virtaddr *virt, word tp)
 		return pref(M[virt->addr], M[tp + 1]);
 }
 
-/* Determine if A is B */
+/** Determine if A is B */
 bool is(virtaddr *virt, word tp)
 {
 	if (virt->mark != M[virt->addr + 1] || M[tp] != CLASSTYPE)