suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allow polymorphic method types

Browse Source 
original commit: 7d7f23589f31eab49cec51e63c40d7065b0e2596
This commit is contained in:
Asumu Takikawa 2013-08-21 17:24:58 -04:00
parent d298da507f
commit c07f80cc07
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
View File

@ -1165,7 +1165,13 @@
(match-define (arr: doms rng rest drest kws) arr)
(make-arr (cons self-type doms) rng rest drest kws)))
(make-Function fixed-arrs)]
[_ (tc-error "function->method: internal error")]))
[(Poly: ns body)
(make-Poly ns (function->method body self-type))]
[(PolyDots: ns body)
(make-PolyDots ns (function->method body self-type))]
[(PolyRow: ns constraints body)
(make-PolyRow ns constraints (function->method body self-type))]
[_ (int-err "function->method: ~a" type)]))
;; method->function : Function -> Function
;; Turn a "real" method type back into a function type
@ -1177,6 +1183,12 @@
(match-define (arr: doms rng rest drest kws) arr)
(make-arr (cdr doms) rng rest drest kws)))
(make-Function fixed-arrs)]
[(Poly: ns body)
(make-Poly ns (method->function body))]
[(PolyDots: ns body)
(make-PolyDots ns (method->function type))]
[(PolyRow: ns constraints body)
(make-PolyRow ns constraints (method->function type))]
[_ (tc-error/expr "expected a function type for method")]))
;; annotate-method : Syntax Type -> Syntax