elaboration returns none when entering a case rule

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

746 stars 50 forks source link

elaboration returns none when entering a case rule #1354

Open disconcision opened 1 month ago

disconcision commented 1 month ago

prior to pressing space here and expanding the rule, we get this:

cyrus- commented 1 month ago

@Negabinary maybe a regression from dhexp merge? can you take a look?

Negabinary commented 1 month ago

It seems to be a weird case in statics where the pipe in this one specific circumstance doesn't get any static information. The statics issue was there pre-merge, but it wasn't getting picked up by the elaborator.