Gen config #439
Gen config #439
Conversation
| ┌─ tests/errors/binding/main-param.fil:2:6 | ||
| │ | ||
| 2 │ comp main[A]<'G:1>() -> () { | ||
| │ ^^^^ `main' requires at least 1 parameters but 0 were provided |
There was a problem hiding this comment.
Can we improve the error message for this case and provide some extra guidance on how to parameterize main because that is different from other components
There was a problem hiding this comment.
This comment was resolved but not actually addressed?
There was a problem hiding this comment.
I added some more info to the error message in the code? Do you mean to add more than this?
There was a problem hiding this comment.
I don't see the change. I meant we should say something like: "main is a special external component. Parameterizing it correctly requires using the the parameter file/cmdline arguments"
|
Some suggestions to improve the error messages and question about new tests. Also, tests should ideally go in the |
As far as I can tell these are all in |
| error: Incorrect parameter bindings provided to top-level component main | ||
| = Parameter bindings should be provided via the `--bindings` flag in a `.toml` file. |
There was a problem hiding this comment.
It's here (not sure why it wasn't showing before) @rachitnigam
Adds the ability to configure compilation parameters through a config file.
The user provides a toml file as follows:
to override the
globals.confelement ofdef.fil.The user can also provide parameters to the
maincomponent by doing the following: