hazel

hazel copied to clipboard

Changes in case type error behavior

1

3 lines below which formerly had no errors now have them. I'm not particularly concerned with theses errors but if it's intended behavior we should amend the slide, or better...

disconcision

Docs slides involving recursive types are broken

2

This is likely a duplicate of #1592, #1595, or both, but to clarify the scope of the issue: 1. The dynamics are broken on the ADT dynamics slide (evaluation is...

disconcision

Clean up docs slides, moving tests to actual tests

1

the bulk of the content-bearing docs slides are more regression tests than code: - `casting`: 100% regression tests - `adt statics`, `types & static errors`: Mostly regression tests proposal: -...

disconcision

Not sure how to better characterize this one. See `Undefined` below. Works if `Undefined` is replaced by a any valid constructor name:

disconcision

disconcision

see `notvalid` below on the ADT Statics docs slide:

disconcision

In the CI, sum type pluses sometimes are missing a space on one side: (it's only coincidental that the space is also missing in the editor syntax)

disconcision

Negabinary

Negabinary

 Only happens when the overall operation is in analytic position. Maybe we should disable that logic now that we have `use` coming?

cyrus-