better guid ueba repr, compilative fixlens, ueba sanity checks

7mind · Dec 19, 2024 · 00a8942 · 00a8942
1 parent 214d737
commit 00a8942
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/main/scala/io/septimalmind/baboon/typer/BaboonEnquiries.scala b/src/main/scala/io/septimalmind/baboon/typer/BaboonEnquiries.scala
@@ -310,7 +310,8 @@ object BaboonEnquiries {
               case Builtins.lst => BinReprLen.Variable
               case Builtins.set => BinReprLen.Variable
               case Builtins.opt =>
-                binReprLenImpl(dom, args.head, visited + tpe).add(1)
+//                binReprLenImpl(dom, args.head, visited + tpe).add(1)
+                BinReprLen.Variable // N or 1...
               case u =>
                 throw new IllegalStateException(
                   s"BUG: unknown collection type $u"

diff --git a/src/test/resources/baboon/pkg0/pkg03.baboon b/src/test/resources/baboon/pkg0/pkg03.baboon
@@ -192,14 +192,12 @@ root adt T5_A1 {
 
 data T7_D2 { // const size in ueba
     f1: i32
-    f2: opt[i32]
+    f2: uid
 
 }
 root data T7_D1 { // const size in ueba
     f1: i32
-    f2: opt[i32]
     f3: T7_D2
-    f4: opt[T7_D2]
 }
 
 //