Allow type expansion of variants. (#805)

Author: gdotdesign

core/tests/tests/Decoding.mint

@@ -12,23 +12,23 @@ suite "Decode" {
 
   test "it decode simple variant" {
     let object =
-      `{ type: "EncodeTestVariants.Variant2" }`
+      `{ type: "Variant2" }`
 
     decode object as EncodeTestVariants == Result.Ok(
       EncodeTestVariants.Variant2)
   }
 
   test "it decodes complex variant" {
     let object =
-      `{ type: "EncodeTestVariants.Variant3", value: ["Joe", 42] }`
+      `{ type: "Variant3", value: ["Joe", 42] }`
 
     decode object as EncodeTestVariants == Result.Ok(
       EncodeTestVariants.Variant3("Joe", 42))
   }
 
   test "it decodes record variant" {
     let object =
-      `{ type: "EncodeTestVariants.Variant1", value: ["Joe", 42] }`
+      `{ type: "Variant1", value: ["Joe", 42] }`
 
     decode object as EncodeTestVariants == Result.Ok(
       EncodeTestVariants.Variant1("Joe", 42))

core/tests/tests/Encoding.mint

@@ -94,6 +94,6 @@ suite "Encode" {
     let encoded =
       encode EncodeTestVariants.Variant2
 
-    `#{encoded}.type` == "EncodeTestVariants.Variant2"
+    `#{encoded}.type` == "Variant2"
   }
 }

spec/compilers/block_with_early_return

@@ -21,8 +21,8 @@ import {
 } from "./runtime.js";
 
 export const
-  F = A(1, `Test.A`),
-  G = A(1, `Test.B`),
+  F = A(1, `A`),
+  G = A(1, `B`),
   H = () => {
     const a = B(C(F)(`Some string...`), D(F, [E]));
     if (a === false) {

spec/compilers/block_with_early_return_await

@@ -25,8 +25,8 @@ import {
 } from "./runtime.js";
 
 export const
-  F = A(1, `Test.A`),
-  G = A(1, `Test.B`),
+  F = A(1, `A`),
+  G = A(1, `B`),
   H = () => {
     (async () => {
       const a = B(await C(F)(`Some string...`), D(F, [E]));

spec/compilers/block_with_fallback

@@ -24,18 +24,18 @@ import {
 } from "./runtime.js";
 
 export const
-  F = A(0, `Maybe.Nothing`),
-  G = A(1, `Maybe.Just`),
+  F = A(1, `Just`),
+  G = A(0, `Nothing`),
   H = () => {
     const a = () => {
       return B(`span`, {}, [`Fallback`])
     };
-    const b = C(D(G)(``), E(G, [null]));
+    const b = C(D(F)(``), E(F, [null]));
     if (b === false) {
       return a()
     };
     const [] = b;
-    const c = C(D(G)(``), E(G, [null]));
+    const c = C(D(F)(``), E(F, [null]));
     if (c === false) {
       return a()
     };

spec/compilers/bracket_access

@@ -26,18 +26,18 @@ import {
 } from "./runtime.js";
 
 export const
-  D = A(0, `Maybe.Nothing`),
-  E = A(1, `Maybe.Just`),
+  D = A(1, `Just`),
+  E = A(0, `Nothing`),
   F = () => {
     B([
       `Hello`,
       `Blah`,
       `Joe`
-    ], 1, E, D);
-    B([], 1, E, D);
+    ], 1, D, E);
+    B([], 1, D, E);
     C([[
       `key`,
       `value`
-    ]], `key`, E, D);
+    ]], `key`, D, E);
     return ``
   };

spec/compilers/bundling

@@ -57,48 +57,48 @@ component Main {
 --------------------------------------------------------------------------------
 ---=== /__mint__/index.js ===---
 import {
-  lazyComponent as H,
-  createElement as F,
-  useEffect as D,
-  useSignal as C,
-  fragment as G,
-  variant as I,
-  record as A,
-  load as E,
-  lazy as B
+  lazyComponent as I,
+  createElement as G,
+  useEffect as E,
+  useSignal as D,
+  fragment as H,
+  variant as A,
+  record as B,
+  load as F,
+  lazy as C
 } from "./runtime.js";
 
 export const
-  a = A(`User`),
+  J = A(0, `Loaded`),
+  K = A(0, `Loading`),
+  a = B(`User`),
   b = `./1.js`,
   c = (d) => {
     return `Hello ${d}!`
   },
-  J = B(`./2.js`),
-  K = () => {
-    const e = C(``);
-    D(() => {
+  L = C(`./2.js`),
+  M = () => {
+    const e = D(``);
+    E(() => {
       (async () => {
-        const f = await E(b);
+        const f = await F(b);
         return (() => {
           e.value = f
         })()
       })()
     }, []);
-    return F(G, {}, [
-      F(H, {
+    return G(H, {}, [
+      G(I, {
         c: [],
         key: `Greeter`,
         p: {
           a: `World`
         },
-        x: J
+        x: L
       }),
       c(`Me`)
     ])
-  },
-  L = I(0, `Status.Loading`),
-  M = I(0, `Status.Loaded`);
+  };
 
 ---=== /__mint__/1.js ===---
 export const a = `Hello, I was loaded later...`;

spec/compilers/case_or

@@ -20,9 +20,9 @@ import {
 } from "./runtime.js";
 
 export const
-  E = A(0, `A.B`),
-  F = A(0, `A.C`),
-  G = A(0, `A.D`),
+  E = A(0, `B`),
+  F = A(0, `C`),
+  G = A(0, `D`),
   H = () => {
     return B(new E(), [[
       C([

spec/compilers/case_with_type_destructuring

@@ -31,9 +31,9 @@ import {
 } from "./runtime.js";
 
 export const
-  F = A(1, `A.B`),
-  G = A(1, `C.D`),
-  H = A(0, `C.X`),
+  F = A(1, `B`),
+  G = A(1, `D`),
+  H = A(0, `X`),
   I = () => {
     B(C(G)(C(F)(``)), [
       [

spec/compilers/component_instance_access

@@ -40,8 +40,8 @@ import {
 } from "./runtime.js";
 
 export const
-  I = A(1, `Maybe.Just`),
-  J = A(0, `Maybe.Nothing`),
+  I = A(1, `Just`),
+  J = A(0, `Nothing`),
   K = ({
     _
   }) => {