Fix augment type printing

2013-08-21 17:25:14 -04:00 · 2013-08-21 17:25:14 -04:00 · e80c4d72fb
commit e80c4d72fb
parent 7d7f23589f
1 changed files with 1 additions and 2 deletions
--- 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*))