unisonweb/vscode-devcontainer

Not able to run the Three-minute quickstart guide first program after installing

ttiimm opened this issue · 3 comments

ttiimm commented

I think everything was installed correctly on my system as the Docker container comes up and I was able to evaluate a simple expression like `> "hello world". However, when I try and run the first program, I get this output

.> 

  I'm not sure what List.map means at line 1, columns 3-11
  
      1 | > List.map (x -> x * 10) [1,2,3,4,5,6]
  
  Whatever it is, it has a type that conforms to (x ->{𝕖} 𝕣) -> [##Nat] -> o.

Is there some additional set up I need to do to install the standard library or something?

ttiimm commented

After running pull https://github.com/unisonweb/base:.releases._latest base was able to get the expression to evaluate. Might be nice to do that automatically for new users or mention it in the documentation.

pchiusano commented

@ttiimm with the latest release of Unison it should fetch base automatically, so I'm guessing this container is out of date. What version does it print out on startup?

ttiimm commented

It's running version 2037e51