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

fix a contract test

Browse Source
This commit is contained in:
yjqww6 2020-12-22 14:38:52 +08:00 committed by Sam Tobin-Hochstadt
parent 33fd201947
commit 153569894c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -720,6 +720,7 @@
(struct/dc s (struct/dc s
[a (>=/c c)] [a (>=/c c)]
[b (a) (>=/c a)])) [b (a) (>=/c a)]))
(set! mk mk) ;suppress inlining
(define one (mk 1)) (define one (mk 1))
(define two (mk 2)) (define two (mk 2))
(,test #f trust/not-stronger? one two) (,test #f trust/not-stronger? one two)