[racket] TR - None Empty List Type

From: Ray Racine (ray.racine at gmail.com)
Date: Mon Apr 29 15:49:02 EDT 2013

FWIW, I've found the following pretty useful.  Maybe worth adding as a std
prelude type in TR?

;; Listof+ is a non-empty homogeneous list.
(define-type (Listof+ a) (Pair a (Listof a)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130429/508cc087/attachment.html>

Posted on the users mailing list.