From 97c6350e8702ae62053c9d3bac7997ba860e901b Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 21 Aug 2013 17:25:14 -0400 Subject: [PATCH] Fix augment type printing original commit: e80c4d72fb3ef7ee86915d17d5c6d5e1837bc800 --- .../typed-racket-lib/typed-racket/types/printer.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt index ac69267b..3a76603f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt @@ -356,8 +356,7 @@ (match-define (list name type) name+type) `(,name ,(type->sexp type)))) (define augments* - (cond [(null? augments) '()] - [object? augments] + (cond [(or object? (null? augments)) '()] [else (list (cons 'augment augments))])) `(,(if object? 'Object 'Class) ,@row-var* ,@inits* ,@fields* ,@methods* ,@augments*))