lib/finitio/syntax/finitio.sexp in finitio-0.4.1 vs lib/finitio/syntax/finitio.sexp in finitio-0.5.0
- old
+ new
@@ -13,10 +13,11 @@
- builtin_type
- sub_type
- union_type
- set_type
- seq_type
+ - struct_type
- tuple_type
- relation_type
- ad_type
- type_ref
@@ -36,10 +37,13 @@
- [ type ]
seq_type:
- [ type ]
+struct_type:
+ - [ type+ ]
+
tuple_type:
- [ heading ]
relation_type:
- [ heading ]
@@ -54,10 +58,10 @@
heading:
[ attribute+ ]
attribute:
- [ attribute_name, type ]
+ [ attribute_name, type, Boolean ]
### constraints
constraint:
- [ constraint_name, fn ]