92d1dd1c5e
This enables contract generation in the negative direction (untyped->typed) for row polymorphic types (basically mixin types). Depends on `class-seal` and `class-unseal` in the racket/class library.
24 lines
480 B
Racket
24 lines
480 B
Racket
#lang racket/base
|
|
|
|
(module u racket
|
|
(define (mixin cls)
|
|
(class cls
|
|
(super-new)
|
|
(field [g 0])))
|
|
|
|
(provide mixin))
|
|
|
|
(module t typed/racket
|
|
;; expects a mixin that adds g
|
|
(require/typed (submod ".." u)
|
|
[mixin
|
|
(All (r #:row)
|
|
(-> (Class #:row-var r)
|
|
(Class #:row-var r (field [g Integer]))))])
|
|
|
|
(mixin (class object%
|
|
(super-new)
|
|
(field [f 1]))))
|
|
|
|
(require 't)
|