Thanks again Robby! I will create issues on the drracket github issues page.
On Tuesday, October 6, 2020 at 9:23:49 AM UTC-4 Robby Findler wrote:
> On Tue, Oct 6, 2020 at 1:50 AM Nick Lee wrote:
>
>> Thank you very much Robby for the quick reply! I should have mentioned
>>
Thank you very much Robby for the quick reply! I should have mentioned that
our students are using Beginning Student by setting the Language to that,
rather than adding #lang htdp/bsl. It appears this makes a difference. So
the whole file looks like:
;; The first three lines of this file were
Hello,
I noticed there are differences when I run HtDP programs in DrRacket IDE vs
the "racket" command line.
For example, the following program's test passes in DrRacket IDE:
;; file.rkt - Set to Beginning Student
(check-expect (exact? (string->number "1.0")) true)
But when I run "raco test
3 matches
Mail list logo