diff options
| -rw-r--r-- | docs/type_system/control.md | 9 | ||||
| -rw-r--r-- | docs/type_system/index.md | 2 | ||||
| -rw-r--r-- | docs/type_system/op.md | 4 | ||||
| -rw-r--r-- | mkdocs.yml | 1 |
4 files changed, 3 insertions, 13 deletions
diff --git a/docs/type_system/control.md b/docs/type_system/control.md deleted file mode 100644 index 6a4ec49..0000000 --- a/docs/type_system/control.md +++ /dev/null @@ -1,9 +0,0 @@ -# Control - ---- - -```text -Control_class `alias Enum[.loop; .if; .match; .mutate; .selection] - -Control[TARGET; ARGS; LIST; Control_class] -``` diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 9cc9241..4cc3586 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -78,8 +78,6 @@ Denotes that a field that does not resolve to anything * #### [Op](./op.md) -* #### [Control](./control.md) - * #### [List](./list.md) * #### [Namespace](./namespace.md) diff --git a/docs/type_system/op.md b/docs/type_system/op.md index 5793a57..2a86d99 100644 --- a/docs/type_system/op.md +++ b/docs/type_system/op.md @@ -3,5 +3,7 @@ --- ```text -Op[TYPE; TYPE; TYPE] +Op_class : Enum[.loop; .if; .match; .selection; ...] + +Op[RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE; Op_class] ``` @@ -36,6 +36,5 @@ nav: - Name: 'type_system/name.md' - Symbol: 'type_system/symbol.md' - Op: 'type_system/op.md' - - Control: 'type_system/control.md' - List: 'type_system/list.md' - Namespace: 'type_system/namespace.md' |