Unable to locally test the Hello World exercise using Homebrew Unison v0.5.24

Programming Unison
1

I am attempting to solve the Hello World exercise. I have installed Unison using homebrew and have ucm version 0.5.24 installed. When I follow the instructions at the Track documents, when loading the tests, i receive an error that Unison is no aware of the testing framework.

unison on  dev [!] …
➜ exercism download -t unison -e hello-world --force

Downloaded to
/workspaces/unison/hello-world

➜ cd hello-world

unison/hello-world on  dev [!] took 2.7s …
➜ ucm

  Now starting the Unison Codebase Manager (UCM)...


   _____     _             
  |  |  |___|_|___ ___ ___ 
  |  |  |   | |_ -| . |   |
  |_____|_|_|_|___|___|_|_|
  
  👋 Welcome to Unison!
  
  You are running version: release/0.5.24


  📚 Read the official docs at https://www.unison-lang.org/docs/
  
  Type 'project.create' to get started.

.> load hello.test.u

  Loading changes detected in hello.test.u.


  I couldn't figure out what Test.expect refers to here:
  
      5 |   Test.expect (hello === expected)
  
  I think its type should be:
  
      i -> o
  
  Some common causes of this error include:
    * Your current namespace is too deep to contain the definition in its subtree
    * The definition is part of a library which hasn't been added to this project
    * You have a typo in the name

.>
2

The error that I was getting above appears to be due to the fact that I had not created an initial project and did not load and add the hello.u file to the codebase. I then tried to run the tests by loading hello.test.u and unison was very confused.

My current workflow is to create a project with the same name as the exercise and then load and add the exercise file I am working with. For me this looks like the following for the hello-world exercise:

exercism download -t unision -e hello-world
cd hello-world
ucm
# If your running ucm release M5 or greater, you need to create a project.
project.create hello-world
load hello.u
add
# edit hello.u and save it
# ucm should see you changed it
# if there are syntax errors, go back edit and save until you can add/update the codebase.
update
load hello.test.u
# if you still have failing tests, go back to the edit step above
# otherwise, exit
exit
exercism submit hello.u
1 Like
3

(cc @rlmark)

4

I guess, that is because Unison track uses M4i Unison version now. There is no project concept in the M4i. But in the 0.5.24 you have to create a new project to fetch the standard library of Unison. Am I right @rlmark ?