245 - sanity check for type table

1 files changed, 8 insertions, 0 deletions

diff --git a/mu.arc.t b/mu.arc.t
index ed267b27..53a91d8b 100644
--- a/mu.arc.t
+++ b/mu.arc.t
@@ -410,6 +410,14 @@
 ; (see types* in mu.arc for the complete list of types; we'll add to it over
 ; time).
 
+; first a sanity check that the table of types is consistent
+(reset)
+(each (typ typeinfo) types*
+  (when typeinfo!record
+    (assert (is typeinfo!size (len typeinfo!elems)))
+    (when typeinfo!fields
+      (assert (is typeinfo!size (len typeinfo!fields))))))
+
 (reset)
 (new-trace "get-record")
 (add-fns