suzanne.soy/typed-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 
original commit: 6c9172f50f390032dd4da914eb1f66af4c0fa554
This commit is contained in:
Asumu Takikawa 2014-11-18 21:36:48 -05:00
parent 9243ac154c
commit 9c4a8d0b62
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)]
[type-of (syntax? . -> . tc-results/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-false (syntax? . -> . any)]
[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
(define stxs (vector-ref result 2))
(define tooltips
(syntax-property (car stxs) 'mouse-over-tooltips))
(and (list? stxs)
(syntax? (car stxs))
(syntax-property (car stxs) 'mouse-over-tooltips)))
(if tooltips
(and (pred tooltips)
(unique-locations? tooltips))