2021-06-02 04:57:48 +00:00
|
|
|
version 1 .
|
2021-07-22 11:43:14 +00:00
|
|
|
embeddedType EntityRef.RefAny .
|
2021-06-02 04:57:48 +00:00
|
|
|
|
|
|
|
|
; Dataspace patterns: a sublanguage of attenuation patterns.
|
|
|
|
|
Pattern = DDiscard / DBind / DLit / DCompound .
|
|
|
|
|
|
|
|
|
|
DDiscard = <_>.
|
|
|
|
|
DBind = <bind @name symbol @pattern Pattern>.
|
|
|
|
|
DLit = <lit @value any>.
|
2021-06-03 13:58:48 +00:00
|
|
|
DCompound = @rec <compound @ctor CRec @members { int: Pattern ...:... }>
|
|
|
|
|
/ @arr <compound @ctor CArr @members { int: Pattern ...:... }>
|
|
|
|
|
/ @dict <compound @ctor CDict @members { any: Pattern ...:... }> .
|
|
|
|
|
|
|
|
|
|
CRec = <rec @label any @arity int>.
|
|
|
|
|
CArr = <arr @arity int>.
|
|
|
|
|
CDict = <dict>.
|
