feat: arrays and type system consolidation - #2585

Merged

aljazerzen merged 14 commits into

mainfrom

May 18, 2023

Commits on May 18, 2023

parsing arrays
aljazerzen
committed
1470264
use arrays in the type system
aljazerzen
committed
4e2f68b
refactor: Ty::Function -> TypeExpr::Function
aljazerzen
committed
a75ee03
refactor Ty -> TyKind
aljazerzen
committed
f9c2fa3
refactor minor AST
aljazerzen
committed
d4f1af2
refactor TyKind::Infer -> None
aljazerzen
committed
aed9591
ty name
aljazerzen
committed
0286a0a
refactor TyKind::Table -> Expr.lineage
aljazerzen
committed
3a02eb6
refactor TyExpr -> TyKind
aljazerzen
committed
d53580e
refactor ExprKind::Type -> ExprKind::Set
aljazerzen
committed
f77871d
refactor std.table -> std.relation
aljazerzen
committed
14adcb8
make relation literal an array of lists
aljazerzen
committed
86fa1f1
revert ExprKind::Set -> ExprKind::Type
aljazerzen
committed
8b9fae3
array constants to relation literals
aljazerzen
committed
1a4b705