Closed neosimsim closed 4 years ago
I'd guess most people have switched to new-style cabal by now, what do you think?
I know the Agda community still uses the old style a lot. I had a little discussion there. IIUC the v2- prefix is recommended to be used in scripts etc. to avoid breaking changes. For the same reason I like to use the prefix in instructions.
Sorry to be that noisy but.
For a future-proof way to use these commands in a script or tutorial that anticipates the possibility of another UI paradigm being devised in the future, there are also v2- prefixed versions that will reference the same functionality until such a point as it is completely removed from Cabal.
https://cabal.readthedocs.io/en/3.4/nix-local-build-overview.html
Please don’t merge!
I just realized that you are using pulse code in main by now. You should keep the flag, but only mention it once you implemented an alternative backend.
Please don’t merge!
I just realized that you are using pulse code in main by now. You should keep the flag, but only mention it once you implemented an alternative backend.
That just means that if people switch that flag off then things won't compile anymore, and they'll need to comment out all Pulse related code.
That just means that if people switch that flag off then things won't compile anymore, and they'll need to comment out all Pulse related code.
For now, yes. In future an alternative should than be enabled. E.g that’s how integer-gmp and integer-simple are swapped.
Sorry, I guess I was a bit slow with turion/essence-of-live-coding-tutorial/pull/5.