We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
inverted-when
1 parent 1cb2698 commit 93d98bbCopy full SHA for 93d98bb
typed-racket-lib/typed-racket/typecheck/error-message.rkt
@@ -77,7 +77,7 @@
77
(define class/object (if object? "object" "class"))
78
(match-define (Class: row inits fields methods augments init-rest) c1)
79
(match-define (Class: row* inits* fields* methods* augments* init-rest*) c2)
80
- (when (not object?)
+ (unless object?
81
(when (and (F? row) (not (F? row*)))
82
(type-mismatch (format "Class with row variable `~a'" row)
83
(format "Class with no row variable")))
0 commit comments