Update to Racket 6.9.

emina · Jul 18, 2017 · af93195 · af93195
1 parent eaa42a2
commit af93195
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -4,7 +4,7 @@ sudo: false
 env:
   global:
     - RACKET_DIR=~/racket
-    - RACKET_URL="https://mirror.racket-lang.org/installers/6.6/racket-6.6-x86_64-linux.sh"
+    - RACKET_URL="https://mirror.racket-lang.org/installers/6.9/racket-6.9-x86_64-linux.sh"
 
 before_install:
   - if [[ ! -e "$RACKET_DIR/bin/racket" ]]; then
@@ -14,11 +14,11 @@ before_install:
     else echo "using racket from cache"; fi
   - export PATH="${RACKET_DIR}/bin:${PATH}"
 
-install: 
+install:
   - raco pkg install
 
 script:
-  - raco test 
+  - raco test
   - time raco make test/all-rosette-tests.rkt
   - raco test test/all-rosette-tests.rkt
   - time raco make test/all-sdsl-tests.rkt

diff --git a/sdsl/synthcl/test/memory.rkt b/sdsl/synthcl/test/memory.rkt
@@ -133,12 +133,12 @@
               read-write-conflict)
    (check-exn (fails-with? "implicit-conversion: cannot convert #(4 5) to int3") 
               vector-write-type-error)
-   (check-exn (fails-with? "take: index is too large") 
+   (check-exn (fails-with? "take") 
               vector-write-range-error)
    (check-equal? (vector-write-success) '(0 0 0 4 5 6))
    (check-exn (fails-with? "int: contract violation")
               vector-read-type-error)
-   (check-exn (fails-with? "take: index is too large") 
+   (check-exn (fails-with? "take") 
               vector-read-range-error)
    (check-equal? (vector-read-success) (int3 4 5 6))
    (check-equal? (vector-write-read-success) (int3 0 0 0))