From 9335e1498e3236d55655a65793b940456f6105f1 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Mon, 21 Dec 2020 20:57:39 +0100 Subject: [PATCH] typed-compose.rkt -> main.rkt Scribble has requiring typed-compose.rkt fol labels (or indeed any file which is not called main.rkt). --- typed-compose.rkt => main.rkt | 0 typed-compose.scrbl | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename typed-compose.rkt => main.rkt (100%) diff --git a/typed-compose.rkt b/main.rkt similarity index 100% rename from typed-compose.rkt rename to main.rkt diff --git a/typed-compose.scrbl b/typed-compose.scrbl index cc6ca78..54b1cfc 100644 --- a/typed-compose.scrbl +++ b/typed-compose.scrbl @@ -1,7 +1,7 @@ #lang scribble/manual @(require scribble/example racket/sandbox - (for-label racket/base "typed-compose.rkt" + (for-label racket/base typed-compose (only-in typed/racket/base -> compose)))