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

Fix tooltip test/contracts for TR contract mode

Browse Source
This commit is contained in:
Asumu Takikawa 2014-11-18 21:36:48 -05:00
parent 8bff995f41
commit 6c9172f50f
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt
View File

@ -19,7 +19,8 @@
[add-typeof-expr (syntax? tc-results/c . -> . any/c)] [add-typeof-expr (syntax? tc-results/c . -> . any/c)]
[type-of (syntax? . -> . tc-results/c)] [type-of (syntax? . -> . tc-results/c)]
[reset-type-table (-> any/c)] [reset-type-table (-> any/c)]
[type-table->tooltips (-> (listof (vector/c any/c integer? integer? string?)))] [type-table->tooltips
(-> (listof (vector/c any/c integer? integer? (or/c string? (-> string?)))))]
[test-position-add-true (syntax? . -> . any)] [test-position-add-true (syntax? . -> . any)]
[test-position-add-false (syntax? . -> . any)] [test-position-add-false (syntax? . -> . any)]
[test-position-takes-true-branch (syntax? . -> . boolean?)] [test-position-takes-true-branch (syntax? . -> . boolean?)]

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/tooltip-tests.rkt
View File

@ -51,7 +51,9 @@
[else [else
(define stxs (vector-ref result 2)) (define stxs (vector-ref result 2))
(define tooltips (define tooltips
(syntax-property (car stxs) 'mouse-over-tooltips)) (and (list? stxs)
(syntax? (car stxs))
(syntax-property (car stxs) 'mouse-over-tooltips)))
(if tooltips (if tooltips
(and (pred tooltips) (and (pred tooltips)
(unique-locations? tooltips)) (unique-locations? tooltips))