From 1d6956fa551bf701bf333384c5de033e4e2a42f7 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 22 May 2021 15:52:12 +0200 Subject: [PATCH] Move gen-schema.rkt to gen/schema.rkt --- .../preserves-schema/{gen-schema.rkt => gen/schema.rkt} | 0 implementations/racket/preserves/preserves-schema/main.rkt | 4 ++-- implementations/racket/preserves/preserves-schema/parser.rkt | 2 +- implementations/racket/preserves/preserves-schema/type.rkt | 2 +- .../racket/preserves/preserves-schema/unparser.rkt | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) rename implementations/racket/preserves/preserves-schema/{gen-schema.rkt => gen/schema.rkt} (100%) diff --git a/implementations/racket/preserves/preserves-schema/gen-schema.rkt b/implementations/racket/preserves/preserves-schema/gen/schema.rkt similarity index 100% rename from implementations/racket/preserves/preserves-schema/gen-schema.rkt rename to implementations/racket/preserves/preserves-schema/gen/schema.rkt diff --git a/implementations/racket/preserves/preserves-schema/main.rkt b/implementations/racket/preserves/preserves-schema/main.rkt index 1611055..f6bd0c3 100644 --- a/implementations/racket/preserves/preserves-schema/main.rkt +++ b/implementations/racket/preserves/preserves-schema/main.rkt @@ -11,7 +11,7 @@ (require "type.rkt") (require "parser.rkt") (require "unparser.rkt") -(require "gen-schema.rkt") +(require "gen/schema.rkt") (define (struct-stx name-pieces field-names) `(struct ,(string->symbol (string-join (map ~a name-pieces) "-")) ,field-names #:prefab)) @@ -68,6 +68,6 @@ (parse-Schema (with-input-from-file "../../../../schema/schema.bin" read-preserve)))) (if #t - (with-output-to-file "gen-schema.rkt" #:exists 'replace + (with-output-to-file "gen/schema.rkt" #:exists 'replace (lambda () (pretty-write metaschema-module-source))) (pretty-write metaschema-module-source))) diff --git a/implementations/racket/preserves/preserves-schema/parser.rkt b/implementations/racket/preserves/preserves-schema/parser.rkt index c61de10..7bb0d90 100644 --- a/implementations/racket/preserves/preserves-schema/parser.rkt +++ b/implementations/racket/preserves/preserves-schema/parser.rkt @@ -7,7 +7,7 @@ (require (only-in racket/syntax format-symbol)) (require "type.rkt") -(require "gen-schema.rkt") +(require "gen/schema.rkt") (define (definition-parser name def) (define ty (definition-ty def)) diff --git a/implementations/racket/preserves/preserves-schema/type.rkt b/implementations/racket/preserves/preserves-schema/type.rkt index 2259b8b..e90cd26 100644 --- a/implementations/racket/preserves/preserves-schema/type.rkt +++ b/implementations/racket/preserves/preserves-schema/type.rkt @@ -17,7 +17,7 @@ (require racket/match) (require (only-in racket/syntax format-symbol)) -(require "gen-schema.rkt") +(require "gen/schema.rkt") (struct ty-union (variants) #:transparent) (struct ty-unit () #:transparent) diff --git a/implementations/racket/preserves/preserves-schema/unparser.rkt b/implementations/racket/preserves/preserves-schema/unparser.rkt index 2374d02..b776138 100644 --- a/implementations/racket/preserves/preserves-schema/unparser.rkt +++ b/implementations/racket/preserves/preserves-schema/unparser.rkt @@ -8,7 +8,7 @@ (require (only-in racket/list append-map)) (require "type.rkt") -(require "gen-schema.rkt") +(require "gen/schema.rkt") (define (simple-pattern? p) (match p