typed-compose.rkt -> main.rkt

Scribble has requiring typed-compose.rkt fol labels (or indeed any file which is not called main.rkt).
2020-12-21 20:57:39 +01:00 · 2020-12-21 20:57:39 +01:00 · 9335e1498e
commit 9335e1498e
parent 7d70eafd54
2 changed files with 1 additions and 1 deletions
--- a/typed-compose.rkt
+++ b/typed-compose.rkt
--- 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)))