File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
redex-examples/redex/examples/delim-cont Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 123
123
(define e’ (rewrite e))
124
124
(if (equal? e e’) e (loop e’)))))
125
125
126
- (struct error (cause) #:transparent )
126
+ (struct error-raised (cause) #:transparent )
127
127
(struct answer (output result) #:transparent )
128
128
(struct bad-test (reason) #:transparent )
129
129
(struct timeout ())
134
134
(timeout? impl-behavior)
135
135
(let ([model-behavior (timeout-warn 30 (model-eval prog) (pretty-write prog))])
136
136
(or (timeout? model-behavior)
137
- (if (error? impl-behavior)
138
- (error? model-behavior)
137
+ (if (error-raised ? impl-behavior)
138
+ (error-raised ? model-behavior)
139
139
(and (answer? model-behavior)
140
140
(equal? impl-behavior model-behavior))))))))
141
141
176
176
[(exn:fail (regexp "%: expected argument of type <non-procedure> " ) _ )
177
177
(bad-test "procedure as tag " )]
178
178
[(exn:fail m _ )
179
- (error m)])])
179
+ (error-raised m)])])
180
180
(parameterize ([current-output-port output])
181
181
(eval test ns))))
182
- (if (or (error? result) (bad-test? result))
182
+ (if (or (error-raised ? result) (bad-test? result))
183
183
result
184
184
(answer (get-output-string output)
185
185
(show result))))))
213
213
(answer
214
214
(apply string-append (map (curry format "~v " ) output))
215
215
(show result))
216
- (error p))])))
216
+ (error-raised p))])))
217
217
218
218
(define (with-timeout thunk timeout on-timeout)
219
219
(let ([c (make-channel)])
You can’t perform that action at this time.
0 commit comments