8d0c352dcc
This corresponds to the more strict object contracts from the OOPSLA paper. Also use `object/c-opaque` in TR contract generation
26 lines
499 B
Racket
26 lines
499 B
Racket
#;
|
|
(exn-pred #rx"uncontracted typed.*blaming: .*opaque-object-contract.rkt")
|
|
#lang racket/base
|
|
|
|
(require racket/class)
|
|
|
|
(module a racket
|
|
(provide c%)
|
|
(define c%
|
|
(class object%
|
|
(super-new)
|
|
(define/public (m) (void)))))
|
|
|
|
(module b typed/racket
|
|
(require/typed (submod ".." a) [c% (Class [m (-> Void)])])
|
|
(provide o)
|
|
(: o (Object))
|
|
(define o (new (class c%
|
|
(super-new)
|
|
(define/public (n) (void))))))
|
|
|
|
(require 'b)
|
|
|
|
(send o m)
|
|
(send o n)
|