fast-check has no exported member named 'Command'

💬 Question and Help

Getting this error when loading fast-check via Skypack in a Deno test suite:

fast-check has no exported member named ‘Command’

import * as fc
  from 'https://cdn.skypack.dev/fast-check';

class PushCommand implements fc.Command<Model, List> {
                                ^^^^^^^
  constructor(readonly value: number) { }

  check = (m: Readonly<Model>) =>
    true;

  run(m: Model, r: List): void {
    r.push(this.value); // impact the system
    ++m.num;            // impact the model
  }

  toString = () =>
    `push(${this.value})`;
}

Any help would be appreciated.

[dubzzz]

Unfortunately, the only one I know of today. I just gave a try to something like jsdelivr but the main problem is that it would break because of dependencies not being referenced by an explicit url. In order to really support deno I should potentially do as I do for esm/cjs builds and add yet another build but it would imply some extra post-processing on the file generated by tsc.

Just opened a dedicated issue to track this need https://github.com/dubzzz/fast-check/issues/2781. No plan to work on it in the coming days but it would help me not to forget about it for the next features.

[moodmosaic]

Got it, have to run deno with --no-check option as in https://github.com/denoland/deno/issues/3321#issuecomment-695172229.