suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix typo and add test suite for invariant-assertion

Browse Source
This commit is contained in:
Robby Findler 2014-06-02 03:43:08 -05:00
parent 51812cdd9b
commit e4bf7ef55b
2 changed files with 42 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -1516,7 +1516,7 @@ The @racket[define-struct/contract] form only allows a subset of the
@racket[invariant-assertion] does not establish a boundary
between two parties. Instead, it simply attaches a logical assertion
to the value. Because the form uses contract machinery to check the
assertion, the surround module is treated as the party to be blamed
assertion, the surrounding module is treated as the party to be blamed
for any violations of the assertion.
This means, for example, that the assertion is checked on

41
pkgs/racket-pkgs/racket-test/tests/racket/contract/assertion.rkt Normal file
View File

@ -0,0 +1,41 @@
#lang racket/base
(require "test-util.rkt")
(parameterize ([current-contract-namespace (make-basic-contract-namespace
'racket/contract)])
(define exn:fail:contract:blame-object
(contract-eval 'exn:fail:contract:blame-object))
(define exn:fail:contract:blame?
(contract-eval 'exn:fail:contract:blame?))
(contract-error-test
'assertion1
#'(begin
(eval '(module contract-test-suite1 racket/base
(require racket/contract)
(invariant-assertion integer? #f)))
(eval '(require 'contract-test-suite1)))
(λ (x)
(and (exn:fail:contract:blame? x)
(regexp-match #rx"contract from: contract-test-suite1" (exn-message x)))))
(contract-error-test
'assertion2
#'(begin
(eval '(module contract-test-suite2 racket/base
(require racket/contract)
(invariant-assertion integer? #f)))
(eval '(require 'contract-test-suite2)))
(λ (x)
(and (exn:fail:contract:blame? x)
(regexp-match #rx"blaming: contract-test-suite2" (exn-message x)))))
(contract-error-test
'assertion3
#'(begin
(eval '(module contract-test-suite3 racket/base
(require racket/contract)
((invariant-assertion (-> integer? integer?) values) #f)))
(eval '(require 'contract-test-suite3)))
(λ (x)
(and (exn:fail:contract:blame? x)
(regexp-match #rx"blaming: contract-test-suite3" (exn-message x))))))