Stepper does not step for `check-satisfied`
Open
Nobody has claimed this yet.
enhancement
stepper
test engine
- Dominant language
- Racket
- Stars
- 112
- Forks
- 73
- Avg merge
- 9h 41m
- Merged PRs (30d)
- 1
Description
I am not sure if it is just me or for everyone. When trying to step this program:
#lang htdp/isl+
(define (my-add x)
(lambda (y)
(+ x y)))
(check-satisfied (my-add 5) procedure?)
The stepper expands check-satisfied and steps through its implementation. Moreover, adding this test:
(check-satisfied (my-add 5)
(lambda (g)
(and (procedure? g)
(= (g 3) 8))))
raises the error
lookup-binding: variable not found in environment: p?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.