From 1873ecf918a8dceb2ee8337c883507c3e2bb2253 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 11 Sep 2013 18:09:23 -0400 Subject: [PATCH] Make use of more function type helpers in serialization. original commit: 28b81183de8836d66a4f16a33355d2df90fb7326 --- .../typed-racket-lib/typed-racket/env/init-envs.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt index e1174661..1659f22b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/init-envs.rkt @@ -68,6 +68,16 @@ `(-lst ,(sub elem-ty))] [(Function: (list (arr: dom (Values: (list (Result: t (FilterSet: (Top:) (Top:)) (Empty:)))) #f #f '()))) `(simple-> (list ,@(map sub dom)) ,(sub t))] + [(Function: (list (arr: dom (Values: (list (Result: t (FilterSet: (TypeFilter: ft pth n) + (NotTypeFilter: ft pth n)) + (Empty:)))) + #f #f '()))) + `(make-pred-ty (list ,@(map sub dom)) ,(sub t) ,(sub ft) ,(sub n) ,(sub pth))] + [(Function: (list (arr: dom (Values: (list (Result: t (FilterSet: (NotTypeFilter: (== -False) pth 0) + (TypeFilter: (== -False) pth 0)) + (Path: pth 0)))) + #f #f '()))) + `(->acc (list ,@(map sub dom)) ,(sub t) ,(sub pth))] [(Union: elems) (split-union elems)] [(Base: n cnt pred _) (int-err "Base type not in predefined-type-table" n)] [(Name: stx) `(make-Name (quote-syntax ,stx))]