Consider using overloaded labels for entrypoint calls
Clarification and motivation
GHC 9.2 introduced the Char
kind, making character manipulation on the type level feasible. There are a few cases where we could use that, but one example that did come to mind immediately is Cleveland's transfer
, which at the moment only supports specifying entrypoints as overloaded labels only for untyped calls. It would be neat to unify the interface.
Acceptance criteria
It's possible to do transfer someContractHandle $ calling #someEntrypoint ()
and have the compiler check that someEntrypoint
indeed exists and accepts unit
.