I'm not able to provoke this error with the pieces that you provided.

Just to be sure, it's not an error in the submission that you sent to
the handin server, right? Normally the error in that case would be
"Error in your code", so I think that's not it. But does the error
depend on the program that you send as a submission?

At Wed, 21 Aug 2019 21:32:58 +0000, "'Wayne Harris' via Racket Users" wrote:
> 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-EzIcXTxB9t0I3wyV
> 56qTFtRFY8cErV3l4mIJVUsi-s9qSlv7Q_2PVix-prxqDh5noOcmrlm3yyeB7gdBx02fwaUICW8%3D%
> 40protonmail.com.

-- 
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/5d5ea010.1c69fb81.71fbf.0dbdSMTPIN_ADDED_MISSING%40gmr-mx.google.com.

Reply via email to