From 816a72685a7835cb818080b2786b2535e8532564 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 11 Jan 2014 09:47:08 -0800 Subject: [PATCH] Add comment to simple static contracts. original commit: 0be83b6c67fec940b5b31f861b719401a7476056 --- .../typed-racket/static-contracts/combinators/simple.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt index 76a428fb..581d9a56 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt @@ -1,6 +1,8 @@ #lang racket/base ;; Static contracts that are terminal and have no sub parts. +;; Unlike contracts defined with define-terminal-contract, equality of these contracts is based solely +;; on identity. Thus they are most useful for contracts which have no meaningful structure. ;; Ex: (flat/sc #'number?) (require