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