Unable to pretty-print the spec

[WojciechMula]

I use the following invocation:

$ sail --project ${RISCV_SAIL}/model/riscv.sail_project   \
     --output-sail core                                 \
     --config ${config}                                 \

where RISCV_SAIL and config point to proper dir/file. The freshest master fails with the following error:

Type error:
/home/wojtek/github/sail-riscv/model/core/types.sail:100.0-104.1:
100 |union cacheop = {
    |^----------------
104 |}
    |^
    | Types are not well-formed within this type definition. Note that recursive types are forbidden.
    | 
    | Caused by /home/wojtek/github/sail-riscv/model/core/types.sail:101.16-27:
    | 101 |  CB_manage   : cbop_zicbom,
    |     |                ^---------^
    |     | Well-formedness check failed for type
    |     | 
    |     | Caused by /home/wojtek/github/sail-riscv/model/core/types.sail:101.16-27:
    |     | 101 |  CB_manage   : cbop_zicbom,
    |     |     |                ^---------^
    |     |     | Undefined type cbop_zicbom

The last working commit is b1d732827175562acf95d192312bb1d21de232cd.

I have the latest sail installed, 0.20.1.

[Alasdair]

Hmm looks like something isn't quite strict enough in the sail_project file. I'll fix that.

You can work around this by adding the needed module names to the CLI, like:

sail --output-sail --project <project> --config <config> A_types Zicbom_types core

For pretty-printing the files, sail --fmt might be a better choice as it doesn't do any pre-processing (and it doesn't need to type check) and has a smarter pretty printing approach.

[WojciechMula]

Thank you for prompt answer, will try your workaround.