Use negative addresses for labelled bullets.

dvanhorn · Sep 12, 2014 · b4f4111 · b4f4111
1 parent 0650a13
commit b4f4111
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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&