interpreting lists, records, constructors

This commit is contained in:
Dustin Swan 2026-02-01 16:20:13 -07:00
parent 1d0f1d5423
commit b5bd084ee4
No known key found for this signature in database
GPG key ID: 30D46587E2100467
3 changed files with 30 additions and 6 deletions

View file

@ -63,6 +63,11 @@ export type Pattern =
// Data Structures
export type List = {
kind: 'list'
elements: AST[]
}
export type Record = {
kind: 'record'
fields: { [key: string]: AST }
@ -80,11 +85,6 @@ export type RecordUpdate = {
updates: { [key: string]: AST }
}
export type List = {
kind: 'list'
elements: AST[]
}
// Top-level constructs
export type Definition = {