~singpolyma/dhall-ruby#22: 
Allow Function#call to coerce to argument type

Title was: Allow as_dhall to take a target type

Useful for Function#call since we know the argument's expected type and can try to coerce more correctly. Get a positive Integer when expected instead of a Natural, call to_s when relevant, etc.

Status
REPORTED
Submitter
~singpolyma
Assigned to
No-one
Submitted
5 years ago
Updated
5 years ago
Labels
No labels applied.

~singpolyma 5 years ago

This is actually more complex than this because of the whole auto-de-currying logic and may have to involve a full type inference pass to work there.

Register here or Log in to comment, or comment via email.