zeolite-lang v0.7.0.1 Release Notes

Release Date: 2020-05-20 // over 1 year 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.