Regenerate docs

effekt-lang · Sep 24, 2023 · 5f66cc2 · 5f66cc2
1 parent 3f05859
commit 5f66cc2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/effekt/shared/src/main/scala/effekt/core/Tree.scala b/effekt/shared/src/main/scala/effekt/core/Tree.scala
@@ -48,9 +48,12 @@ import effekt.util.messages.INTERNAL_ERROR
  *     │  │─ [[ App ]]
  *     │  │─ [[ If ]]
  *     │  │─ [[ Match ]]
- *     │  │─ [[ State ]]
- *     │  │─ [[ Try ]]
  *     │  │─ [[ Region ]]
+ *     │  │─ [[ Alloc ]]
+ *     │  │─ [[ Var ]]
+ *     │  │─ [[ Get ]]
+ *     │  │─ [[ Put ]]
+ *     │  │─ [[ Try ]]
  *     │  │─ [[ Hole ]]
  *     │
  *     │─ [[ Implementation ]]
@@ -224,9 +227,12 @@ export Param.*
  *     │─ [[ App ]]
  *     │─ [[ If ]]
  *     │─ [[ Match ]]
- *     │─ [[ State ]]
- *     │─ [[ Try ]]
  *     │─ [[ Region ]]
+ *     │─ [[ Alloc ]]
+ *     │─ [[ Var ]]
+ *     │─ [[ Get ]]
+ *     │─ [[ Put ]]
+ *     │─ [[ Try ]]
  *     │─ [[ Hole ]]
  *
  * -------------------------------------------

diff --git a/effekt/shared/src/main/scala/effekt/source/Tree.scala b/effekt/shared/src/main/scala/effekt/source/Tree.scala
@@ -152,6 +152,7 @@ export Param.*
  *   ─ [[ Def ]]
  *     │─ [[ FunDef ]]
  *     │─ [[ ValDef ]]
+ *     │─ [[ RegDef ]]
  *     │─ [[ VarDef ]]
  *     │─ [[ DefDef ]]
  *     │─ [[ InterfaceDef ]]