unison icon indicating copy to clipboard operation
unison copied to clipboard

`test.io` doesn't like un-`add`-ed terms

Open dfreeman opened this issue 10 months ago • 3 comments

If I create a term in my scratch file like this:

testNothing = do []

And try to immediately run it with test.io:

scratch/main> test.io testNothing

UCM prints the following error:

  Unknown term reference: ReferenceDerived (Id "h9n1cirt4g5mcclj1l5vn2hjdguijq0sovqkijrrfrtfc5h1tfgniqao9nd6ajml2d1mlfol4hf1c788sq5d41a9fv66s69qpirupeg" 0)

If I try to run this term instead:

scratch/main> run testNothing

It works as expected:

  []

And in fact, after doing that, test.io seems to work with no issue:

scratch/main> test.io testNothing
    New test results:
  
  😶 No tests available.

If I add the term to the codebase (regardless of whether I've run it), then test.io works as expected.

[!NOTE] unison version: release/0.5.28 (built on 2024-11-12)

dfreeman avatar Dec 02 '24 11:12 dfreeman