From 0e7f6e3dddcabacd480ca355c1b2e000c7ed7e6c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Jul 2013 15:32:41 -0400 Subject: [PATCH] Move `shared` implementation file to .rktl. --- pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt | 2 +- racket/lib/collects/racket/private/info.rkt | 3 --- .../racket/private/{shared-body.rkt => shared-body.rktl} | 0 racket/lib/collects/racket/shared.rkt | 4 ++-- 4 files changed, 3 insertions(+), 6 deletions(-) delete mode 100644 racket/lib/collects/racket/private/info.rkt rename racket/lib/collects/racket/private/{shared-body.rkt => shared-body.rktl} (100%) diff --git a/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt b/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt index d2c6090b92..988b00e63d 100644 --- a/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt +++ b/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt @@ -20,4 +20,4 @@ (with-syntax ([undefined undefined-expr]) ;; Include the implementation. ;; See private/shared-body.rkt. - (include (lib "racket/private/shared-body.rkt"))))) + (include (lib "racket/private/shared-body.rktl"))))) diff --git a/racket/lib/collects/racket/private/info.rkt b/racket/lib/collects/racket/private/info.rkt deleted file mode 100644 index 50404dc519..0000000000 --- a/racket/lib/collects/racket/private/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang info - -(define compile-omit-paths '("shared-body.rkt")) diff --git a/racket/lib/collects/racket/private/shared-body.rkt b/racket/lib/collects/racket/private/shared-body.rktl similarity index 100% rename from racket/lib/collects/racket/private/shared-body.rkt rename to racket/lib/collects/racket/private/shared-body.rktl diff --git a/racket/lib/collects/racket/shared.rkt b/racket/lib/collects/racket/shared.rkt index f6af9d4aae..ca37e8160e 100644 --- a/racket/lib/collects/racket/shared.rkt +++ b/racket/lib/collects/racket/shared.rkt @@ -17,5 +17,5 @@ (lambda (stx) (define make-check-cdr #f) ;; Include the implementation. - ;; See private/shared-body.rkt. - (include "private/shared-body.rkt"))) + ;; See private/shared-body.rktl. + (include "private/shared-body.rktl")))