fix contract test suite infrastructure
This commit is contained in:
parent
3c36269d88
commit
8aeadd314d
|
@ -171,6 +171,7 @@
|
|||
[else
|
||||
(for ([file (in-list files-to-run)])
|
||||
(replay-io
|
||||
file
|
||||
(capture-io
|
||||
(λ ()
|
||||
(dynamic-require (build-path (this-dir) (car file)) #f)))))]))
|
||||
|
|
|
@ -1,5 +1,6 @@
|
|||
#lang racket/base
|
||||
(require "test-util.rkt")
|
||||
(require "test-util.rkt"
|
||||
(for-syntax racket/base))
|
||||
|
||||
(parameterize ([current-contract-namespace
|
||||
(make-basic-contract-namespace 'racket/contract)])
|
||||
|
@ -635,7 +636,7 @@
|
|||
|
||||
;; WARNING: do not add or remove lines between here-line and the two modules
|
||||
;; below it, unless you also revise the expected result of the test case.
|
||||
(define here-line (syntax-line #'here))
|
||||
(define here-line (let-syntax ([m (λ (stx) #`'#,(syntax-line stx))]) (m)))
|
||||
|
||||
(contract-eval
|
||||
(compile/wash
|
||||
|
|
Loading…
Reference in New Issue
Block a user