From 7a8ae1aa7aedc06a3f7123d901174b35cd19b2e1 Mon Sep 17 00:00:00 2001 From: Mike Delmonaco Date: Wed, 21 Aug 2024 22:37:45 -0400 Subject: [PATCH] no set! overwrites on persistent symbol tables --- private/ee-lib/main.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/private/ee-lib/main.rkt b/private/ee-lib/main.rkt index fb98450..59e1120 100644 --- a/private/ee-lib/main.rkt +++ b/private/ee-lib/main.rkt @@ -508,6 +508,9 @@ (check who mutable-symbol-table? t) + (when (and allow-overwrite? (persistent-free-id-table? (mutable-symbol-table-id-table t))) + (error 'symbol-table-set! "cannot allow overwrite on persistent symbol table")) + (unless allow-overwrite? (check-symbol-table-new-id who t id))