unison
unison copied to clipboard
`test.io` doesn't like un-`add`-ed terms
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)