From b1a386ca4aab5176566a5c30f747d669a562d8fb Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 1 Aug 2026 09:47:15 +0100 Subject: Use Box type instead of box keyword --- examples/06-inductive-data-types-separate-namespaces/src/data/a.hob | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/06-inductive-data-types-separate-namespaces') 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 { -- cgit v1.2.3