Skip to content

Commit

Permalink
In stepper annotation, don't wrap test return value in list.
Browse files Browse the repository at this point in the history
Fixes #214 - as per discussion there.
  • Loading branch information
mikesperber committed Jan 6, 2024
1 parent 9be44de commit eff7ae0
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion htdp-lib/stepper/private/annotate.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -666,7 +666,7 @@
#,(lambda () exp)
#f
(#%plain-lambda () results))))
(#%plain-app values results)))
(#%plain-app apply values results)))
annotated)
free-vars)]
[error 'maybe-final-val-wrap "stepper internal error 20080527"]))
Expand Down
2 changes: 1 addition & 1 deletion htdp-lib/test-engine/syntax.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@
#,@embedded-stxes
#,src-info)))))))

; this wrapper is necessary because add-test! has a contract which confuses the stepper
; without this wrapper the stepper annotations break
(define (add-check-expect-test! thunk)
(add-test! thunk))

Expand Down

1 comment on commit eff7ae0

@jbclements
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Many thanks!

Please sign in to comment.