summaryrefslogtreecommitdiff
path: root/examples/06-inductive-data-types-separate-namespaces
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-08-01 09:47:15 +0100
committerMichael Williamson <mike@zwobble.org>2026-08-01 09:47:15 +0100
commitb1a386ca4aab5176566a5c30f747d669a562d8fb (patch)
tree793bb38bc2901e6adabaf4f2624496f9ff53e523 /examples/06-inductive-data-types-separate-namespaces
parent6b4d2a11537282947dc71a646c168ea1343d6a52 (diff)
Use Box type instead of box keyword
Diffstat (limited to 'examples/06-inductive-data-types-separate-namespaces')
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/src/data/a.hob2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob b/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
index 47f1d3c..e8c02ea 100644
--- a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
+++ b/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
@@ -1,7 +1,7 @@
import {B} from ./b;
sum A {
- variant A1 box;
+ variant Box[A1];
}
struct A1 {