search

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
684 stars 45 forks source link

Fix case checker on recursive types #1318

Open pigumar1 opened 1 week ago

pigumar1 commented 1 week ago

Fixed by adding a specific case analysis for recursive sum types. Before: image

After: image

Not sure why we are able to get away with this case analysis before though. It seems this bug was introduced after #1217 or #1274 was merged.

pigumar1 commented 1 week ago

Why would this happen? image

cyrus- commented 1 week ago

@pigumar1 not sure why that's happening, those files should be under _build?

pigumar1 commented 5 days ago

@pigumar1 not sure why that's happening, those files should be under _build?

@cyrus- I reran the tasks and it worked XD