From 8c65387ef0c44f2545c97aa74ca7c9bbc9615584 Mon Sep 17 00:00:00 2001 From: Jos de Jong Date: Thu, 21 Sep 2023 11:55:59 +0200 Subject: [PATCH] chore: add a TODO --- src/infer.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/infer.ts b/src/infer.ts index bee28f7..769b5c9 100644 --- a/src/infer.ts +++ b/src/infer.ts @@ -21,6 +21,9 @@ const Multiply = 'multiply(number,number)=>number' const Square = 'square(number)=>number' const Zero = 'zero(number)=>number' +// TODO: turn a generic string like `(T,T)=>T` into a concrete one like `(number,number)=>number` +// const MultiplyNumber = ResolveGeneric<'multiply', number> + const createSquare = create(Square, [Multiply, Zero], dep => x => dep.multiply(x, x) )