From 6cecf64df57016d969850335a71b3f664ca926f6 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 8 Jun 2021 15:34:25 +0200 Subject: [PATCH] Move toward being user-facing rather than plugin-facing --- implementations/racket/preserves/preserves-schema/main.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/implementations/racket/preserves/preserves-schema/main.rkt b/implementations/racket/preserves/preserves-schema/main.rkt index 9bcbbe4..9e95ab9 100644 --- a/implementations/racket/preserves/preserves-schema/main.rkt +++ b/implementations/racket/preserves/preserves-schema/main.rkt @@ -1,12 +1,13 @@ #lang racket/base -(provide (all-from-out "compiler.rkt")) +(provide (all-from-out "methods.rkt")) -(require "compiler.rkt") +(require "methods.rkt") -(module+ reader +(module reader racket/base (provide (rename-out [read-preserves-schema-module read-syntax])) (require racket/match) + (require "compiler.rkt") (require (only-in "reader.rkt" port->schema)) (require (only-in racket/port port->list)) (require (only-in "bin/preserves-schema-rkt.rkt" load-plugins))