From 683ebb1023bbe51a3453a32411d3f8c84728f983 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Mon, 22 Dec 2014 12:34:48 -0500 Subject: [PATCH] printer fix for paths --- typed-racket-lib/typed-racket/types/printer.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/types/printer.rkt b/typed-racket-lib/typed-racket/types/printer.rkt index 4a5e2b07..3a356ee3 100644 --- a/typed-racket-lib/typed-racket/types/printer.rkt +++ b/typed-racket-lib/typed-racket/types/printer.rkt @@ -130,8 +130,9 @@ [(CarPE:) 'car] [(CdrPE:) 'cdr] [(ForcePE:) 'force] - [(StructPE: t i) `(,(pathelem->sexp t) ,i)] - [else `(Unknown Path Element: ,(struct->vector pathelem))])) + [(StructPE: t i) `(,(type->sexp t)-,i)] + [(SyntaxPE:) 'syntax] + [else `(Invalid Path-Element: ,(struct->vector pathelem))])) ;; object->sexp : Object -> S-expression ;; Print an Object (see object-rep.rkt) to the given port