Document relation order for current-typecheck-relation
Issue #48
closed
For current-typecheck-relation
, it would be nice if the documentation mentioned which of the two types is the “expected” type and which one is the “given” type.
Comments (2)
-
-
repo owner - changed status to closed
document relation order for current-typecheck-relation; closes
#48→ <<cset 896ec531510c>>
- Log in to comment
The first one is always the given and the second one is always the expected. We should add this to the documentation for
current-typecheck-relation
,typecheck?
, andtypechecks?
.