zeolite-lang v0.7.0.1 Release Notes
Release Date: 2020-05-20 // almost 4 years ago-
Language
[fix] Fixes an edge-case where type-inference can be influenced by a param filter for a param with the same name in the scope that is calling the function. (For example, having
#x requires Foo
in scope while calling a function that also happens to have a param named#x
.)[fix] Fixes an edge-case where parameter substitution at the type level can clash with a type parameter scoped to a function. (Related to the above, but actually a separate issue discovered while solving the former.)
[behavior] Shows inferred-type assignments in error messages related to expressions containing inferred types.