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

fix contract-stronger bug

Browse Source
This commit is contained in:
Robby Findler 2018-05-06 20:49:09 -05:00
parent f231cb2003
commit 76c404dffc
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-test/tests/racket/contract/stronger.rkt
View File

@ -57,7 +57,7 @@
(ctest #f contract-stronger? (>/c 2) (>/c 3)) (ctest #f contract-stronger? (>/c 2) (>/c 3))
(ctest #f contract-stronger? (</c 3) (</c 2)) (ctest #f contract-stronger? (</c 3) (</c 2))
(ctest #t contract-stronger? (</c 2) (</c 3)) (ctest #t contract-stronger? (</c 2) (</c 3))
(ctest #t contract-stronger? (</c 2) (>/c 2)) (ctest #f contract-stronger? (</c 2) (>/c 2))
(ctest #t contract-stronger? (</c 2) (<=/c 2)) (ctest #t contract-stronger? (</c 2) (<=/c 2))
(ctest #f contract-stronger? (</c 2) (>=/c 2)) (ctest #f contract-stronger? (</c 2) (>=/c 2))
(ctest #f contract-stronger? (>/c 2) (<=/c 2)) (ctest #f contract-stronger? (>/c 2) (<=/c 2))

3
racket/collects/racket/contract/private/misc.rkt
View File

@ -263,7 +263,8 @@
[(and (<-ctc? this) (<-ctc? that)) [(and (<-ctc? this) (<-ctc? that))
(<= this-x (</>-ctc-x that))] (<= this-x (</>-ctc-x that))]
[(and (>-ctc? this) (>-ctc? that)) [(and (>-ctc? this) (>-ctc? that))
(>= this-x (</>-ctc-x that))])] (>= this-x (</>-ctc-x that))]
[else #f])]
[(between/c-s? that) [(between/c-s? that)
(cond (cond
[(<-ctc? this) [(<-ctc? this)