zeolite-lang v0.7.0.1 Release NotesRelease Date: 2020-05-20 // over 1 year ago
[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 Fooin scope while calling a function that also happens to have a param named
[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.