From e5d376ab06d7e1a0f1941428c9b8a3c6efa9fa57 Mon Sep 17 00:00:00 2001 From: Suzanne Soy Date: Sun, 4 Apr 2021 15:44:48 +0100 Subject: [PATCH] Turnstile renamed some modules and broke compatibility with <7.0, updating. --- .travis.yml | 7 ++++--- main.rkt | 6 +++--- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/.travis.yml b/.travis.yml index e9289a9..e2d6b7d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,8 +8,9 @@ env: - PATH="$RACKET_DIR/bin:$PATH" matrix: # RACKET_VERSION is an argument to install-racket.sh - - RACKET_VERSION=6.8 COV=true - - RACKET_VERSION=6.9 COV=true + #- RACKET_VERSION=6.8 COV=true + #- RACKET_VERSION=6.9 COV=true + - RACKET_VERSION=7.0 COV=true - RACKET_VERSION=RELEASE COV=true - RACKET_VERSION=HEAD COV=true @@ -26,4 +27,4 @@ script: - if $COV; then raco doc-coverage "$(basename "$TRAVIS_BUILD_DIR")" || true; fi ############################# DOC-COVERAGE IS DISABLED WITH || true - if $COV; then raco cover -s main -s test -s doc -f codecov -f html -d ~/coverage . || true; fi # TODO: add an option to cover to run the "outer" module too, not just the submodules. -# TODO: deploy the coverage info. \ No newline at end of file +# TODO: deploy the coverage info. diff --git a/main.rkt b/main.rkt index 7dcb625..8294761 100644 --- a/main.rkt +++ b/main.rkt @@ -7,7 +7,7 @@ (prefix-in host: (subtract-in (only-meta-in 1 turnstile/lang) (only-meta-in 0 turnstile/lang))) - turnstile/examples/mlish)) + macrotypes/examples/mlish)) @section{Introduction} @@ -18,9 +18,9 @@ implemented with @turnstile[], and provided as part of @turnstile[]'s suite of examples. @chunk[<*> - (extends turnstile/examples/mlish)] + (extends macrotypes/examples/mlish)] -Since @racketmodname[turnstile/examples/mlish] provides some identifiers which +Since @racketmodname[macrotypes/examples/mlish] provides some identifiers which conflict with some racket utilities, we import those with a prefix. @chunk[<*>