From 2dcd4a4df720f4380bfcfc416a5623b7670ea04b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sat, 14 Jan 2017 23:06:07 +0100 Subject: [PATCH] Remove dependency on debug for the meta-language test, since debug seems to have some backward compatibility issues. Use AFL instead. Bumped built versions for Travis. --- .travis.yml | 1 + info.rkt | 2 +- test/meta.rkt | 11 +++++------ 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.travis.yml b/.travis.yml index 5ddf7a4..083a10d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,6 +32,7 @@ env: - RACKET_VERSION=6.4 - RACKET_VERSION=6.5 - RACKET_VERSION=6.6 + - RACKET_VERSION=6.7 - RACKET_VERSION=HEAD matrix: diff --git a/info.rkt b/info.rkt index 724a386..3d7c9cb 100644 --- a/info.rkt +++ b/info.rkt @@ -3,7 +3,7 @@ (define deps '("base" "rackunit-lib" "typed-racket-lib" - "debug")) + "afl")) (define build-deps '("scribble-lib" "racket-doc" "typed-racket-doc")) (define scribblings '(("scribblings/repltest.scrbl" ()))) (define pkg-desc "Copy-paste your REPL interactions, and have them run as tests") diff --git a/test/meta.rkt b/test/meta.rkt index 43858d0..039f143 100644 --- a/test/meta.rkt +++ b/test/meta.rkt @@ -1,9 +1,9 @@ -#lang debug repltest typed/racket +#lang afl repltest typed/racket ;; There is a problem if there is a comment before a prompt, as comments aren't ;; gobbled-up by the preceeding read. (define x 0) -(define (y) #R(- 3 2)) +(define y #λ(list 3 %)) (define-syntax (module->namespace stx) #'error) (provide module->namespace) 'displayed @@ -15,11 +15,10 @@ > x - : Integer [more precisely: Zero] 0 -> (values x (y)) -(- 3 2) = 1 -- : (values Integer Integer) [more precisely: (Values Zero Fixnum)] +> (values x (y 2)) +- : (values Integer (Listof Any)) [more precisely: (Values Zero (List Positive-Byte Any))] 0 -1 +'(3 2) > (+ 2 0) - : Integer [more precisely: Positive-Byte] 2