Skip to content

Fix issue with error messages for uncurried functions where expected …#5973

Merged
cristianoc merged 1 commit intomasterfrom
uncurried_expected
Feb 4, 2023
Merged

Fix issue with error messages for uncurried functions where expected …#5973
cristianoc merged 1 commit intomasterfrom
uncurried_expected

Commits

Commits on Feb 4, 2023