From 56040f3ff85e77311f0c864a89afd63fcf1bdb50 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Mon, 3 Nov 2025 23:40:02 -0800 Subject: add js-lang, refactor some ts-lang stuff --- src/lang/builtin/builtin.ts | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 src/lang/builtin/builtin.ts (limited to 'src/lang/builtin/builtin.ts') diff --git a/src/lang/builtin/builtin.ts b/src/lang/builtin/builtin.ts deleted file mode 100644 index a289867..0000000 --- a/src/lang/builtin/builtin.ts +++ /dev/null @@ -1,33 +0,0 @@ -import { FnError } from "."; -import { - AddNumbers, - AddStrings, - Multiply, - ToString, - UnarrayIfOnlyHead, -} from "../util"; - -export type BUILTIN_Arr = Args; - -export type BUILTIN_ToString = ToString< - UnarrayIfOnlyHead<{ - [Idx in keyof Args]: ToString; - }> ->; - -export type BUILTIN_Add = - Args extends readonly string[] - ? AddStrings - : Args extends readonly number[] - ? AddNumbers - : FnError<`Cannot add operands ${ToString}`>; - -export type BUILTIN_Mul = Args extends [ - infer A, - infer B, - infer C -] - ? FnError<`Can only multiply [number, number], but got ${ToString}`> - : Args extends [infer M extends number, infer N extends number] - ? Multiply - : FnError<`Can only multiply [number, number], but got ${ToString}`>; -- cgit v1.2.3-70-g09d2