I haven't been able to write a first checker. I'm always getting
map: all lists must have same size
in the server's log.
The submission always shows this in the log file:
[16|2019-08-21T21:12:35] connect from 191.35.15.190
[16|2019-08-21T21:12:39] running 12KB (123MB 133MB)
[16|2019-08-21T21:12:39] login: (wharr...@protonmail.com)
[16|2019-08-21T21:12:39] assignment for (wharr...@protonmail.com): assignment-1
[16|2019-08-21T21:12:40] timeout-control: reset
[16|2019-08-21T21:12:40] checking assignment-1 for (wharr...@protonmail.com)
[16|2019-08-21T21:12:42] running 37KB (123MB 133MB)
[16|2019-08-21T21:12:46] running 37KB (123MB 133MB)
[16|2019-08-21T21:12:49] running 39KB (123MB 133MB)
[16|2019-08-21T21:12:52] ERROR: map: all lists must have same size
[16|2019-08-21T21:12:52] first list length: 3
[16|2019-08-21T21:12:52] other list length: 1
[16|2019-08-21T21:12:52] procedure: #<procedure:cons>
It also pops up the message error message to the student in DrRacket.
Any ideas what's causing this?
Taking the typical checker from the documentation, I started with:
(module checker handin-server/checker
(check: :language '(special intermediate)
(!procedure Fahrenheit->Celsius 1)
(!test (Fahrenheit->Celsius 32) 0)
(!test (Fahrenheit->Celsius 212) 100)
(!test (Fahrenheit->Celsius -4) -20)))
My student code in DrRacket is set to intermediate language and the
code is:
(define (Fahrenheit->Celsius x)
(* 5/9 (- x 32)))
(check-expect (Fahrenheit->Celsius 32) 0)
Here's my server configuration:
$ cat config.rktd
((active-dirs ("assignment-1"))
(allow-web-upload #t)
(allow-new-users #t)
(master-password "4c96f8324e3ba54a99e78249b95daa30"))
$
$ cat users.rktd
(
(wharr...@protonmail.com ("4c96f8324e3ba54a99e78249b95daa30" "Wayne Harris"))
)
$
$ cat assignment-1/checker.rkt
(module checker handin-server/checker
(check: :language '(special intermediate)
(!procedure Fahrenheit->Celsius 1)
(!test (Fahrenheit->Celsius 32) 0)
(!test (Fahrenheit->Celsius 212) 100)
(!test (Fahrenheit->Celsius -4) -20)))
$
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/Le2v4fuorTS76ru-EzIcXTxB9t0I3wyV56qTFtRFY8cErV3l4mIJVUsi-s9qSlv7Q_2PVix-prxqDh5noOcmrlm3yyeB7gdBx02fwaUICW8%3D%40protonmail.com.
