selectrix icon indicating copy to clipboard operation
selectrix copied to clipboard
verified publisher icon ityonemo

4. Spec error

Open ityonemo opened this issue 5 years ago • 1 comments

The declared typespec for the function is incorrect because:

  • one of the inputs is disjoint with its declared type
  • the return is disjoint with its declared type

ityonemo avatar Oct 21 '20 13:10 ityonemo

test written 8c33643

ityonemo avatar Oct 21 '20 17:10 ityonemo