strobe icon indicating copy to clipboard operation
strobe copied to clipboard

Published 20 hours ago • verified publisher icon brownplt

cleanup:

Open arjunguha opened this issue 13 years ago • 0 comments

Many subtype tests in sb_typing.ml can be shortened by using the check function. It would blow error messages, so let check take an error-message argument.

arjunguha avatar Jul 18 '11 13:07 arjunguha