From 64a6f7c3d53bcf81269513dc95f9911d55d36cb7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 23 Apr 2010 09:59:00 -0400 Subject: [PATCH] better filter printing --- collects/typed-scheme/types/printer.ss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss index d9a3ba972a..dbc9b84352 100644 --- a/collects/typed-scheme/types/printer.ss +++ b/collects/typed-scheme/types/printer.ss @@ -34,9 +34,13 @@ (match c [(FilterSet: thn els) (fp "(~a | ~a)" thn els)] [(NoFilter:) (fp "-")] + [(NotTypeFilter: type (list) (? syntax? id)) (fp "(! ~a @ ~a)" type (syntax-e id))] [(NotTypeFilter: type (list) id) (fp "(! ~a @ ~a)" type id)] + [(NotTypeFilter: type path (? syntax? id)) (fp "(! ~a @ ~a ~a)" type path (syntax-e id))] [(NotTypeFilter: type path id) (fp "(! ~a @ ~a ~a)" type path id)] + [(TypeFilter: type (list) (? syntax? id)) (fp "(~a @ ~a)" type (syntax-e id))] [(TypeFilter: type (list) id) (fp "(~a @ ~a)" type id)] + [(TypeFilter: type path (? syntax? id)) (fp "(~a @ ~a ~a)" type path (syntax-e id))] [(TypeFilter: type path id) (fp "(~a @ ~a ~a)" type path id)] [(Bot:) (fp "Bot")] [(Top:) (fp "Top")]