unison icon indicating copy to clipboard operation
unison copied to clipboard

Published 20 hours ago • verified publisher icon unisonweb

A function that infers but doesn't typecheck

Open pchiusano opened this issue 8 months ago • 0 comments

To reproduce:

clone @etorreborre/di/@etorreborre/typechecking-error
edit.namespace typecheckError.options

If you remove the type annotation from typecheckError.options, it typechecks and can be added to the codebase, but with the type signature it gives an error.

pchiusano avatar Feb 22 '25 15:02 pchiusano