Add support for negated predicates in assert and with-asserts.

[NoahStoryM]

This PR adds support for negated predicates in assert and with-asserts in Typed Racket. With this change, programmers can use (not/p pred) to assert that a value does not satisfy the given predicate pred.

And before this change, if a value failed an assertion in assert or with-asserts, the error message did not show which assertion failed.

Here are some examples:

Before:

Welcome to Racket v8.8 [cs].
> (assert 123 string?)
Assertion #<procedure:string?> failed on 123 [,bt for context]
> (define x 123)
> (with-asserts ([x string?]) x)
Assertion failed [,bt for context]

After:

Welcome to Racket v8.8 [cs].
> (assert 123 string?)
assert: Assertion (assert 123 string?) failed
  expected: 'string?
  given: 123
 [,bt for context]
> (assert 123 (not/p string?))
- : Integer [more precisely: Positive-Byte]
123
> (define x 123)
> (with-asserts ([x string?]) x)
with-asserts: Assertion (assert x string?) failed [,bt for context]
> (with-asserts ([x (not/p string?)]) x)
- : Integer [more precisely: Positive-Byte]
123

[github-actions]

Resyntax analyzed 2 files in this pull request and has added suggestions.

[github-actions]

define-lambda-to-define: The define form supports a shorthand for defining functions (including function-returning functions).

Suggested change

	(define pred-parser
	(λ (stx)
	(syntax-parse stx
	#:datum-literals (not/p)
	[(not/p (not/p p)) (pred-parser #'p)]
	[_ stx])))
	(define (pred-parser stx)
	(syntax-parse stx
	#:datum-literals (not/p)
	[(not/p (not/p p)) (pred-parser #'p)]
	[_ stx]))

Debugging details

Textual replacement

(line-replacement
  #:new-lines
    '#("    (define (pred-parser stx)"
       "      (syntax-parse stx"
       "        #:datum-literals (not/p)"
       "        [(not/p (not/p p)) (pred-parser #'p)]"
       "        [_ stx]))")
  #:original-lines
    '#("    (define pred-parser"
       "      (λ (stx)"
       "        (syntax-parse stx"
       "          #:datum-literals (not/p)"
       "          [(not/p (not/p p)) (pred-parser #'p)]"
       "          [_ stx])))")
  #:start-line 734)

Syntactic replacement

(syntax-replacement
  #:introduction-scope #<procedure:do-make-syntax-introducer>
  #:new-syntax
    #<syntax:/home/runner/.local/share/racket/snapshot/pkgs/resyntax/default-recommendations/function-definition-shortcuts.rkt:87:3 (define (pred-parser (ORIGINAL-SPLICE stx)) (ORIGINAL-GAP (stx) (syntax-parse stx #:datum-literals (not/p) ((not/p (not/p p)) (pred-parser (syntax p))) (_ stx))) (ORIGINAL-SPLICE (syntax-parse stx #:datum-literals (not/p) ((not/p (not/p p)) (pred-parser...>
  #:original-syntax
    #<syntax:typed-racket-lib/typed-racket/base-env/prims.rkt:734:4 (define pred-parser (λ (stx) (syntax-parse stx #:datum-literals (not/p) ((not/p (not/p p)) (pred-parser (syntax p))) (_ stx))))>)

[github-actions]

define-lambda-to-define: The define form supports a shorthand for defining functions (including function-returning functions).

Suggested change

	(define assert-parser
	(λ (stx)
	(syntax-parse stx
	#:datum-literals (not/p)
	[[x (not/p p)] #'(p x)]
	[[x p] #'(not (p x))])))
	(define (assert-parser stx)
	(syntax-parse stx
	#:datum-literals (not/p)
	[[x (not/p p)] #'(p x)]
	[[x p] #'(not (p x))]))

Debugging details

Textual replacement

(line-replacement
  #:new-lines
    '#("    (define (assert-parser stx)"
       "      (syntax-parse stx"
       "        #:datum-literals (not/p)"
       "        [[x (not/p p)] #'(p x)]"
       "        [[x p] #'(not (p x))]))")
  #:original-lines
    '#("    (define assert-parser"
       "      (λ (stx)"
       "        (syntax-parse stx"
       "          #:datum-literals (not/p)"
       "          [[x (not/p p)] #'(p x)]"
       "          [[x p] #'(not (p x))])))")
  #:start-line 740)

Syntactic replacement

(syntax-replacement
  #:introduction-scope #<procedure:do-make-syntax-introducer>
  #:new-syntax
    #<syntax:/home/runner/.local/share/racket/snapshot/pkgs/resyntax/default-recommendations/function-definition-shortcuts.rkt:87:3 (define (assert-parser (ORIGINAL-SPLICE stx)) (ORIGINAL-GAP (stx) (syntax-parse stx #:datum-literals (not/p) ((x (not/p p)) (syntax (p x))) ((x p) (syntax (not (p x)))))) (ORIGINAL-SPLICE (syntax-parse stx #:datum-literals (not/p) ((x (not/p p)) (syntax...>
  #:original-syntax
    #<syntax:typed-racket-lib/typed-racket/base-env/prims.rkt:740:4 (define assert-parser (λ (stx) (syntax-parse stx #:datum-literals (not/p) ((x (not/p p)) (syntax (p x))) ((x p) (syntax (not (p x)))))))>)

[github-actions]

Resyntax analyzed 2 files in this pull request and found no issues.