stefan
2020-5-27 14:23:07
@stefan has joined the channel
evyatar2013
2020-5-27 15:10:57
(append lst ...) → list?
lst : list?
(append lst ... v) → any/c
lst : list?
v : any/c
Why does the following call not match the second signature for append? (append (list) 1)
. . append: contract violation
expected: #<procedure:list?>
given: 1
alexknauth
2020-5-27 15:21:12
Which language are you in? In #lang racket
it works for me and produces 1
evyatar2013
2020-5-27 15:23:20
ah! There it is!
I’m using #lang rosette
evyatar2013
2020-5-27 15:23:50
Thanks @alexknauth
notjack
2020-5-27 20:59:16
@evyatar2013 that might be a documentation error. The function append*
matches the second signature you gave.
sorawee
2020-5-28 02:13:36
append
in Racket supports non proper list. Rosette doesn’t
notjack
2020-5-28 06:49:40
oh gross