@shd101wyy/yo 0.1.25 → 0.1.26

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@shd101wyy/yo",
   "displayName": "Yo",
-  "version": "0.1.25",
+  "version": "0.1.26",
   "main": "./out/cjs/index.cjs",
   "module": "./out/esm/index.mjs",
   "types": "./out/types/src/index.d.ts",

package/std/error.yo

@@ -19,19 +19,19 @@ export AnyError;
 /// Allows using `String` directly as an error type.
 impl(String, Error());
 
-/// Non-resumable exception handling effect module.
+/// Non-resumable exception handling effect record.
 /// Use `throw` to raise an `AnyError` and abort the current computation.
-Exception :: module(
+Exception :: struct(
   throw : (fn(forall(ResumeType : Type), error : AnyError) -> ResumeType)
 );
 export Exception;
 
 
-/// Creates a resumable exception module parameterized by the resume type.
+/// Creates a resumable exception effect record parameterized by the resume type.
 /// Unlike `Exception`, the handler can return a value to resume the computation.
-ResumableException :: (fn(comptime(ResumeType) : Type) -> comptime(Module))(
-  module(
+ResumableException :: (fn(comptime(ResumeType) : Type) -> comptime(Type))(
+  struct(
     throw : (fn(error : AnyError) -> ResumeType)
   )
 );
-export ResumableException;
+export ResumableException;

package/std/prelude.yo

@@ -4228,9 +4228,6 @@ TypeInfo :: enum(
   ),
 
   // Meta types
-  Module(
-    fields : ComptimeList(TypeFieldInfo)
-  ),
   Trait(
     fields : ComptimeList(TraitFieldInfo),
     kind : TraitKind
@@ -4281,9 +4278,6 @@ impl(TypeInfo,
   is_trait : (fn(comptime(self) : TypeInfo) -> comptime(bool))(
     match(self, .Trait(_, _) => true, _ => false)
   ),
-  is_module : (fn(comptime(self) : TypeInfo) -> comptime(bool))(
-    match(self, .Module(_) => true, _ => false)
-  ),
   is_void : (fn(comptime(self) : TypeInfo) -> comptime(bool))(
     match(self, .Void => true, _ => false)
   ),
@@ -6190,7 +6184,7 @@ export JoinHandle;
 ///
 /// Provides `io.async`, `io.await`, `io.spawn`, and `io.state` operations.
 /// Automatically injected into `main` when declared with `using(io : IO)`.
-IO :: module(
+IO :: struct(
   /// Create a new `Future` from an async closure.
   async : (fn(forall(T : Type, ...(E)), action : Impl(Fn(using(...(E))) -> T)) -> Impl(Future(T, ...(E)))),
   /// Await a `Future`, suspending until its result is ready.

package/out/types/src/evaluator/calls/module-type.d.ts

@@ -1,11 +0,0 @@
-import { type Environment } from "../../env";
-import { type Expr } from "../../expr";
-import type { ModuleType } from "../../types/definitions";
-import type { EvaluatorContext, ModuleTypeCallResult } from "../context";
-export declare function tryToImplementModuleWithArgumentsByModuleType({ moduleExpr, moduleType, argExprs, callerEnv, context, }: {
-    moduleExpr: Expr;
-    moduleType: ModuleType;
-    argExprs: Expr[];
-    callerEnv: Environment;
-    context: EvaluatorContext;
-}): ModuleTypeCallResult;

package/out/types/src/evaluator/types/module.d.ts

@@ -1,19 +0,0 @@
-import type { Environment } from "../../env";
-import { type Expr, type FnCallExpr } from "../../expr";
-import type { ModuleField } from "../../types/definitions";
-import type { EvaluatorContext } from "../context";
-export declare function evaluateModuleField({ expr, moduleFieldIndex, env, context, isForEvaluatingModuleType, }: {
-    expr: Expr;
-    moduleFieldIndex: number;
-    env: Environment;
-    context: EvaluatorContext;
-    isForEvaluatingModuleType: boolean;
-}): {
-    field: ModuleField;
-    env: Environment;
-};
-export declare function evaluateModuleType({ expr, env, context, }: {
-    expr: FnCallExpr;
-    env: Environment;
-    context: EvaluatorContext;
-}): FnCallExpr;