From 343a0995f71e754910e8f0a36784cdd37c96ced2 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Tue, 23 Oct 2012 17:35:22 -0600 Subject: [PATCH] adding annotation to function-entry-and-exit-names to make typed-racket happy --- js-assembler/assemble.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/js-assembler/assemble.rkt b/js-assembler/assemble.rkt index 76fde63..7a30e3f 100644 --- a/js-assembler/assemble.rkt +++ b/js-assembler/assemble.rkt @@ -44,6 +44,7 @@ (define-values (basic-blocks entry-points) (fracture stmts)) + (: function-entry-and-exit-names (Setof Symbol)) (define function-entry-and-exit-names (list->set (get-function-entry-and-exit-names stmts)))