From 7b7693f708ecf28858abb970b0e9e4d4e58cb801 Mon Sep 17 00:00:00 2001 From: Nicolas DUBIEN Date: Sat, 30 Sep 2023 22:52:23 +0000 Subject: [PATCH] ✅(worker) Confirm basic typings work well (#4287) --- .yarn/versions/c223f19c.yml | 5 +++++ packages/worker/test-types/main.ts | 11 ++++++++++- 2 file(s) changed, 15 insertion(s)(+), 1 deletion(s)(-) diff --git a/.yarn/versions/c223f19c.yml b/.yarn/versions/c223f19c.yml new file mode 100644 --- /dev/null +++ b/.yarn/versions/c223f19c.yml @@ -0,0 +1,5 @@ +declined: + - "@fast-check/worker" + +undecided: + - "@fast-check/jest" diff --git a/packages/worker/test-types/main.ts b/packages/worker/test-types/main.ts --- a/packages/worker/test-types/main.ts +++ b/packages/worker/test-types/main.ts @@ -1,1 +1,10 @@ -import '@fast-check/worker'; +import fc from 'fast-check'; +import { assert, propertyFor } from '@fast-check/worker'; + +const property = propertyFor(new URL('{{import.meta.url}}')); +const p1 = property(fc.string(), fc.nat(), (s, num) => { + return s.length > num; // implicitly checking .length exists on s and num is a number +}); +assert(p1, { timeout: 1000 }).then(() => { + // not implemented +}); -- tangled.sh