A programs entry point can no longer accept any arguments (there must be some nullary main-like function). There are still some remnants of the old system though, where there could be arguments. There's a field arguments in the Program type, for instance. If anyone else wants to do this, let me know and I'll write down some more details of exactly which changes needs to be made.
Rewbert
commented
3 years ago
A programs entry point can no longer accept any arguments (there must be some nullary
main-like function). There are still some remnants of the old system though, where there could be arguments. There's a fieldargumentsin theProgramtype, for instance. If anyone else wants to do this, let me know and I'll write down some more details of exactly which changes needs to be made.