From b4f4111bb01159d83e9d1b7b3fcfc4a4e2a51e8b Mon Sep 17 00:00:00 2001 From: David Van Horn Date: Fri, 12 Sep 2014 15:11:55 -0400 Subject: [PATCH] Use negative addresses for labelled bullets. --- scpcf/heap/semantics.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scpcf/heap/semantics.rkt b/scpcf/heap/semantics.rkt index 8b57022..b25f9b7 100644 --- a/scpcf/heap/semantics.rkt +++ b/scpcf/heap/semantics.rkt @@ -11,7 +11,7 @@ (define-metafunction/extension alloc SCPCFΣ scalloc : any_MΣ -> any_A - [(scalloc ((• L T C ...) any_Σ)) L]) + [(scalloc ((• L T C ...) any_Σ)) ,(- (term L))]) (define -->scv&