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

adding a few more annotations to make Racket 5.3.1 happy

Browse Source
This commit is contained in:
Danny Yoo 2012-10-23 17:39:00 -06:00
parent 343a0995f7
commit ed4e00e952
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/lexical-env.rkt
View File

@ -122,8 +122,8 @@
;; Given a list of lexical addresses, computes a set of unique references. ;; Given a list of lexical addresses, computes a set of unique references.
;; Multiple lexical addresses to a single prefix should be treated identically. ;; Multiple lexical addresses to a single prefix should be treated identically.
(define (collect-lexical-references addresses) (define (collect-lexical-references addresses)
(let: ([prefix-references : (Setof EnvWholePrefixReference) (new-set)] (let: ([prefix-references : (Setof EnvWholePrefixReference) ((inst new-set EnvWholePrefixReference))]
[lexical-references : (Setof EnvLexicalReference) (new-set)]) [lexical-references : (Setof EnvLexicalReference) ((inst new-set EnvLexicalReference))])
(let: loop : (Listof (U EnvLexicalReference EnvWholePrefixReference)) (let: loop : (Listof (U EnvLexicalReference EnvWholePrefixReference))
([addresses : (Listof LexicalAddress) addresses]) ([addresses : (Listof LexicalAddress) addresses])
(cond (cond