Tweaks to bytes, numbers; docs. - Githubissues

mighty-gerbils / gerbil

Gerbil Scheme

https://cons.io

GNU Lesser General Public License v2.1

1.14k stars 112 forks source link

Tweaks to bytes, numbers; docs. #1054

Closed fare closed 8 months ago

netlify[bot] commented 8 months ago

Deploy Preview for elastic-ritchie-8f47f9 ready!

Name	Link
Latest commit	cabf856ad7be9104b518fe7592cbf1199cdc9064
Latest deploy log	https://app.netlify.com/sites/elastic-ritchie-8f47f9/deploys/656687bbb0fde50008ba6b46
Deploy Preview	https://deploy-preview-1054--elastic-ritchie-8f47f9.netlify.app
Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

vyzo commented 8 months ago

why is the bootstrap changing here?

fare commented 8 months ago

Bootstrap changes are to put fx>=0? and friends in the prelude as you requested.

vyzo commented 8 months ago

No need to recompile the bootstrap for this, it is not used in core, no?

Basically if the bootstrap changes I cant cherry pick for 18.1

fare commented 8 months ago

No it's not used in core, but it's exported by the prelude. Maybe I don't understand when to bootstrap or not boostrap.

fare commented 8 months ago

Reverted the bootstrap changes. PTAL.