From: Mario Domenech Goulart <[email protected]>
Subject: [Chicken-hackers] [PATCH] types.db: stricter return types for read-line
Date: Mon, 08 Oct 2012 10:29:00 -0400

> Hi,
> 
> Does read-line ever return any object that is not eof or strings?
> 
> If it doesn't, the attached patch specifies the possible return types
> for read-line as eof and string.

Thanks - signed off and pushed.


cheers,
felix

_______________________________________________
Chicken-hackers mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-hackers

Reply via email to