[prev in list] [next in list] [prev in thread] [next in thread] 

List:       racket-users
Subject:    [racket] TR - None Empty List Type
From:       ray.racine () gmail ! com (Ray Racine)
Date:       2013-04-29 19:49:02
Message-ID: CAL5pz=KBLXAU-GquwwJWWveQO1N5WdYTs_G0y9RL8b5S-eg-BQ () mail ! gmail ! com
[Download RAW message or body]

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>

[prev in list] [next in list] [prev in thread] [next in thread]