www

commit e5d376ab06d7e1a0f1941428c9b8a3c6efa9fa57
parent 4a020aaf9c7b916dc08593cfe191714de702a60f
Author: Suzanne Soy <ligo@suzanne.soy>
Date:   Sun,  4 Apr 2021 15:44:48 +0100

Turnstile renamed some modules and broke compatibility with <7.0, updating.

Diffstat:
M
.travis.yml
 | 
8
++++----
M
main.rkt
 | 
6
+++---

2 files changed, 7 insertions(+), 7 deletions(-)
diff --git 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
@@ -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[<*>