statVerbosity in spago.yaml not respected

[drewolson]

Here's a simple reproduction:

$ spago --version
0.93.36
$ purs --version
0.15.15
$ mkdir foo                                                                                                                                                                                                                  
$ cd foo                                                                                                                                                                                                                     
$ spago init                                                                                                                                                                                                             
Initializing a new project...                                                                                                                                                                                                           
Refreshing the Registry Index...                                                                                                                                                                                                        
Found PureScript 0.15.15, will use package set 53.2.0                                                                                                                                                                                   
Set up a new Spago project.                                                                                                                                                                                                             
Try running `spago run`                                                                                                                                                                                                                 
$ vim spago.yaml                                                                                                                                                                                                         
$ cat spago.yaml                                                                                                                                                                                                         
package:                                                                                                                                                                                                                                
  name: foo                                                                                                                                                                                                                             
  dependencies:                                                                                                                                                                                                                         
    - console                                                                                                                                                                                                                           
    - effect                                                                                                                                                                                                                            
    - prelude                                                                                                                                                                                                                           
  test:                                                                                                                                                                                                                                 
    main: Test.Main                                                                                                                                                                                                                     
    dependencies: []                                                                                                                                                                                                                    
workspace:                                                                                                                                                                                                                              
  packageSet:                               
    registry: 53.2.0                                                                                                
  extraPackages: {}                                     
buildOpts:                                                                                                          
  statVerbosity: "no-stats"
$ spago build
Reading Spago workspace configuration...

✅ Selecting package to build: foo

Downloading dependencies...
Building...
           Src   Lib   All
Warnings     0     0     0
Errors       0     0     0

✅ Build succeeded.

[f-f]

This is a bug that my fix in #1241 didn't cover - the right patch should be somewhere around there, if anyone would like to have a look

[fsoikin]

I spent an embarrassing amount of time debugging this, and finally realized that buildOpts should go under workspace, not at top level.

When it's under workspace, this seems to work just as expected.

Or did I misunderstand the assignment?

[f-f]

Oh 🤦 I entirely missed this as well - thanks for catching it @fsoikin!

This is another issue stemming from #1165