diff --git a/collects/drracket/private/language-object-contract.rkt b/collects/drracket/private/language-object-contract.rkt index ba650c66dc..e63b892f1f 100644 --- a/collects/drracket/private/language-object-contract.rkt +++ b/collects/drracket/private/language-object-contract.rkt @@ -77,7 +77,8 @@ (unmarshall-settings (-> printable/c any)) (capability-value - (->i ([s (and/c symbol? + (->i ([this any/c] ;; this is a workaround for a bug in ->i and object-contract's interaction! + [s (and/c symbol? drracket:language:capability-registered?)]) [res (s) (drracket:language:get-capability-contract s)]))))]) #`(begin