From e4821af3f8da05be6d631e2116d03abcc1a6e6cf Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 6 Nov 2014 21:45:07 -0800
Subject: 245 - sanity check for type table

---
 mu.arc.t | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'mu.arc.t')

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
-- 
cgit 1.4.1-2-gfad0