1 @ 2 doesn't throw an error

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

684 stars 45 forks source link

Closed Negabinary closed 2 months ago

Negabinary commented 2 months ago

1 @ 2 should be a type error because 1 is not a list and @ only takes lists

disconcision commented 2 months ago

Looks to have been introduced in a recent merge, likely polymorphism or a follow-up (not present in eg https://hazel.org/build/command_palette)

Negabinary commented 2 months ago

It could easily have been one of my list casting bug prs too