From 9a89772396f13ef27f29e71901a75e4760930cf2 Mon Sep 17 00:00:00 2001
From: Mel <mel@rnrd.eu>
Date: Fri, 18 Jul 2025 01:36:50 +0200
Subject: Add catboot test for simple types

Signed-off-by: Mel <mel@rnrd.eu>
---
 boot/tests/parse/generics.cskt     |  0
 boot/tests/parse/simple_types.cskt | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 delete mode 100644 boot/tests/parse/generics.cskt

(limited to 'boot')

diff --git a/boot/tests/parse/generics.cskt b/boot/tests/parse/generics.cskt
deleted file mode 100644
index e69de29..0000000
diff --git a/boot/tests/parse/simple_types.cskt b/boot/tests/parse/simple_types.cskt
index e69de29..fe7e9ae 100644
--- a/boot/tests/parse/simple_types.cskt
+++ b/boot/tests/parse/simple_types.cskt
@@ -0,0 +1,35 @@
+basic, non-generic type declarations
+
+<<<
+
+Person = type {
+    name string
+    age uint
+    address string?
+}
+
+Maybe = variant {
+    Nothing
+    Just any
+}
+
+Error = class {
+    error() string
+}
+
+Result = variant {
+    Ok any
+    Error Error
+}
+
+Twins = type (Person, Person)
+Group = type [Person]
+
+>>>
+
+(expr (binary = (expr (name Person)) (expr (type structure (field name) (type name string) (field age) (type name uint) (field address) (type maybe (type name string))))))
+(expr (binary = (expr (name Maybe)) (expr (type variant (variant Nothing) (variant Just of (type name any))))))
+(expr (binary = (expr (name Error)) (expr (type class (method error (returns (type name string)))))))
+(expr (binary = (expr (name Result)) (expr (type variant (variant Ok of (type name any)) (variant Error of (type name Error))))))
+(expr (binary = (expr (name Twins)) (expr (type tuple (type name Person) (type name Person)))))
+(expr (binary = (expr (name Group)) (expr (type array of (type name Person)))))
\ No newline at end of file
-- 
cgit 1.4.1