search

mighty-gerbils / gerbil

Gerbil Scheme
https://cons.io
GNU Lesser General Public License v2.1
1.16k stars 112 forks source link

Fix Issue 1214 #1215

Closed vyzo closed 7 months ago

vyzo commented 7 months ago

Fixes #1214

We need to refine collected types after mutable type collection, as the inferences made before the mutator is visible need to be adjusted.

netlify[bot] commented 7 months ago

Deploy Preview for elastic-ritchie-8f47f9 ready!

Name Link
Latest commit a17c4706dbcd1182880ebb3a989110cbbc2e2f5c
Latest deploy log https://app.netlify.com/sites/elastic-ritchie-8f47f9/deploys/661aeb23d0721d0009f7e5e8
Deploy Preview https://deploy-preview-1215--elastic-ritchie-8f47f9.netlify.app
Preview on mobile
Toggle QR Code...

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 7 months ago

actually, I think type refinement has to be run to fixpoint to accommodate mutual recursion that may have a sticky type.

vyzo commented 7 months ago

Also fixed the situation with defmutable so that such variables cannot be mutated willy nilly outside the module.