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

adding annotation to function-entry-and-exit-names to make typed-racket happy

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

1
js-assembler/assemble.rkt
View File

@ -44,6 +44,7 @@
(define-values (basic-blocks entry-points) (fracture stmts)) (define-values (basic-blocks entry-points) (fracture stmts))
(: function-entry-and-exit-names (Setof Symbol))
(define function-entry-and-exit-names (define function-entry-and-exit-names
(list->set (get-function-entry-and-exit-names stmts))) (list->set (get-function-entry-and-exit-names stmts)))