chicken-users
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-users] no type error calling |append!|


From: Alan Post
Subject: [Chicken-users] no type error calling |append!|
Date: Sun, 5 Jan 2014 18:18:53 -0701

The following produces a correct type error:

  $ csi -n
  #;1> (append "foo" "bar" '())
  Error: (append bad argument type - not a proper list: "foo")

Whereas this does not:

  $ csi -n
  #;1> (use srfi-1)
  #;2> (append! "foo" "bar" '())
  ()

I would expect to see the error in example 1 repeated in example 2. 

types.db shows |append| declared as:

  (append (#(procedure #:clean) append (list #!rest) *))

and |append!| declared as:

  (append! (#(procedure #:enforce) append! (#!rest list) *))

Should the signature of |append!| be updated to mirror the signature
of |append|?  (I'm speculating, as this is the first time I've
opened types.db.)

-a
-- 
my personal website: http://c0redump.org/



reply via email to

[Prev in Thread] Current Thread [Next in Thread]